| Quantitative algebraic reasoning R Mardare, P Panangaden, G Plotkin Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 139 | 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 | 78 | 2013 |
| 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 | 61 | 2017 |
| Computing behavioral distances, compositionally G Bacci, G Bacci, KG Larsen, R Mardare International Symposium on Mathematical Foundations of Computer Science, 74-85, 2013 | 42 | 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 | 42 | 2009 |
| 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 | 38 | 2018 |
| 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 | 33 | 2004 |
| The measurable space of stochastic processes L Cardelli, R Mardare 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010 | 31 | 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 | 30 | 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 | 26 | 2012 |
| Complete proof systems for weighted modal logic KG Larsen, R Mardare Theoretical Computer Science 546, 164-175, 2014 | 24 | 2014 |
| Computing probabilistic bisimilarity distances for probabilistic automata G Bacci, G Bacci, KG Larsen, R Mardare, Q Tang, F van Breugel Logical Methods in Computer Science 17, 2021 | 23 | 2021 |
| A complete quantitative deduction system for the bisimilarity distance on markov chains G Bacci, G Bacci, KG Larsen, R Mardare Logical Methods in Computer Science 14, 2018 | 23 | 2018 |
| Strong completeness for Markovian logics D Kozen, R Mardare, P Panangaden International Symposium on Mathematical Foundations of Computer Science, 655-666, 2013 | 22 | 2013 |
| Fixed-points for quantitative equational logics R Mardare, P Panangaden, G Plotkin 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021 | 21 | 2021 |
| Modular markovian logic L Cardelli, KG Larsen, R Mardare International Colloquium on Automata, Languages, and Programming, 380-391, 2011 | 21 | 2011 |
| Boolean-valued semantics for the stochastic λ-calculus G Bacci, R Furber, D Kozen, R Mardare, P Panangaden, D Scott Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 20 | 2018 |
| 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 | 20 | 2015 |
| Tensor of quantitative equational theories G Bacci, R Mardare, P Panangaden, GD Plotkin 9th Conference on Algebra and Coalgebra in Computer Science, 2021 | 19 | 2021 |
| On the metric-based approximate minimization of Markov chains G Bacci, G Bacci, KG Larsen, R Mardare 44th International Colloquium on Automata, Languages, and Programming (ICALP …, 2017 | 19 | 2017 |
