Quantitative algebraic reasoning R Mardare, P Panangaden, G Plotkin Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 59 | 2016 |

On-the-fly exact computation of bisimilarity distances G Bacci, G Bacci, KG Larsen, R Mardare International Conference on Tools and Algorithms for the Construction and …, 2013 | 57 | 2013 |

Analysing biochemical oscillation through probabilistic model checking P Ballarini, R Mardare, I Mura Electronic Notes in Theoretical Computer Science 229 (1), 3-19, 2009 | 38 | 2009 |

Computing behavioral distances, compositionally G Bacci, G Bacci, KG Larsen, R Mardare International Symposium on Mathematical Foundations of Computer Science, 74-85, 2013 | 31 | 2013 |

Model checking biological systems described using ambient calculus R Mardare, C Priami, P Quaglia, O Vagin International Conference on Computational Methods in Systems Biology, 85-103, 2004 | 30 | 2004 |

The measurable space of stochastic processes L Cardelli, R Mardare 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010 | 29 | 2010 |

Stone duality for markov processes D Kozen, KG Larsen, R Mardare, P Panangaden 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 321-330, 2013 | 27 | 2013 |

Taking it to the limit: Approximate reasoning for markov processes KG Larsen, R Mardare, P Panangaden International Symposium on Mathematical Foundations of Computer Science, 681-692, 2012 | 25 | 2012 |

On the axiomatizability of quantitative algebras R Mardare, P Panangaden, G Plotkin 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017 | 21 | 2017 |

Modular markovian logic L Cardelli, KG Larsen, R Mardare International Colloquium on Automata, Languages, and Programming, 380-391, 2011 | 20 | 2011 |

Converging from branching to linear metrics on Markov chains G Bacci, G Bacci, KG Larsen, R Mardare International Colloquium on Theoretical Aspects of Computing, 349-367, 2015 | 19 | 2015 |

Strong completeness for Markovian logics D Kozen, R Mardare, P Panangaden International Symposium on Mathematical Foundations of Computer Science, 655-666, 2013 | 18 | 2013 |

On the total variation distance of semi-Markov chains G Bacci, G Bacci, KG Larsen, R Mardare International Conference on Foundations of Software Science and Computation …, 2015 | 17 | 2015 |

Complete proof systems for weighted modal logic KG Larsen, R Mardare Theoretical Computer Science 546, 164-175, 2014 | 16 | 2014 |

Decidable extensions of Hennessy-Milner logic R Mardare, C Priami International Conference on Formal Techniques for Networked and Distributed …, 2006 | 15 | 2006 |

An algebraic theory of markov processes G Bacci, R Mardare, P Panangaden, G Plotkin Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 14 | 2018 |

Continuous markovian logics-axiomatization and quantified metatheory KG Larsen, L Cardelli, R Mardare Logical Methods in Computer Science 8, 2012 | 14 | 2012 |

Continuous markovian logic-from complete axiomatization to the metric space of formulas L Cardelli, KG Larsen, R Mardare Computer Science Logic (CSL'11)-25th International Workshop/20th Annual …, 2011 | 14 | 2011 |

Parametric verification of weighted systems P Christoffersen, M Hansen, A Mariegaard, JT Ringsmose, KG Larsen, ... 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15), 2015 | 13 | 2015 |

Stochastic pi-calculus revisited L Cardelli, R Mardare International Colloquium on Theoretical Aspects of Computing, 1-21, 2013 | 13 | 2013 |