Search Results - Radu Mardare

  • Showing 1 - 9 results of 9
Refine Results
  1. 1

    Probabilistic logics based on Riesz spaces by Robert Furber, Radu Mardare, Matteo Mio

    Published in Logical Methods in Computer Science (2020-01-01)
    Get full text
    Article


  2. 2

    Continuous Markovian Logics - Axiomatization and Quantified Metatheory by Radu Mardare, Luca Cardelli, Kim G. Larsen

    Published in Logical Methods in Computer Science (2012-11-01)
    Get full text
    Article


  3. 3

    Parameterized Metatheory for Continuous Markovian Logic by Kim G. Larsen, Radu Mardare, Claus Thrane

    Get full text
    Article


  4. 4

    Free complete Wasserstein algebras by Radu Mardare, Prakash Panangaden, Gordon D. Plotkin

    Published in Logical Methods in Computer Science (2018-09-01)
    Get full text
    Article


  5. 5

    Sum and Tensor of Quantitative Effects by Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon Plotkin

    Published in Logical Methods in Computer Science (2024-10-01)
    Get full text
    Article


  6. 6

    On-the-Fly Computation of Bisimilarity Distances by Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare

    Published in Logical Methods in Computer Science (2017-06-01)
    Get full text
    Article


  7. 7

    A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains by Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare

    Published in Logical Methods in Computer Science (2018-11-01)
    Get full text
    Article


  8. 8

    Reasoning About Bounds in Weighted Transition Systems by Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen

    Published in Logical Methods in Computer Science (2018-11-01)
    Get full text
    Article


  9. 9

    Computing Probabilistic Bisimilarity Distances for Probabilistic Automata by Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel

    Published in Logical Methods in Computer Science (2021-02-01)
    Get full text
    Article


Search Tools: