| Quantitative algebraic reasoning R Mardare, P Panangaden, G Plotkin Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 82 | 2016 |
| On-the-fly exact computation of bisimilarity distances G Bacci, G Bacci, KG Larsen, R Mardare Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 63 | 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 | 39 | 2009 |
| 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 | 35 | 2017 |
| Computing behavioral distances, compositionally G Bacci, G Bacci, KG Larsen, R Mardare Mathematical Foundations of Computer Science 2013: 38th International …, 2013 | 34 | 2013 |
| 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 | 32 | 2013 |
| Model checking biological systems described using ambient calculus R Mardare, C Priami, P Quaglia, O Vagin Computational Methods in Systems Biology: International Conference CMSB 2004 …, 2005 | 31 | 2005 |
| The measurable space of stochastic processes L Cardelli, R Mardare 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010 | 29 | 2010 |
| Taking it to the limit: Approximate reasoning for markov processes KG Larsen, R Mardare, P Panangaden Mathematical Foundations of Computer Science 2012: 37th International …, 2012 | 24 | 2012 |
| 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 | 21 | 2018 |
| Modular markovian logic L Cardelli, KG Larsen, R Mardare Automata, Languages and Programming: 38th International Colloquium, ICALP …, 2011 | 20 | 2011 |
| Converging from branching to linear metrics on Markov chains G Bacci, G Bacci, KG Larsen, R Mardare Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015 | 19 | 2015 |
| Complete proof systems for weighted modal logic KG Larsen, R Mardare Theoretical Computer Science 546, 164-175, 2014 | 19 | 2014 |
| Strong completeness for Markovian logics D Kozen, R Mardare, P Panangaden Mathematical Foundations of Computer Science 2013: 38th International …, 2013 | 17 | 2013 |
| On the total variation distance of semi-Markov chains G Bacci, G Bacci, KG Larsen, R Mardare Foundations of Software Science and Computation Structures: 18th …, 2015 | 16 | 2015 |
| 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 | 15 | 2021 |
| Probabilistic logics based on Riesz spaces R Furber, R Mardare, M Mio arXiv preprint arXiv:1903.09463, 2019 | 15 | 2019 |
| Stochastic pi-calculus revisited L Cardelli, R Mardare Theoretical Aspects of Computing–ICTAC 2013: 10th International Colloquium …, 2013 | 15 | 2013 |
| Decidable extensions of Hennessy-Milner logic R Mardare, C Priami FORTE, 196-211, 2006 | 15 | 2006 |
| 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 | 14 | 2018 |
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
