| Quantitative algebraic reasoning R Mardare, P Panangaden, G Plotkin Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 97 | 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 | 65 | 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 | 40 | 2017 |
| Analysing biochemical oscillation through probabilistic model checking P Ballarini, R Mardare, I Mura Electronic Notes in Theoretical Computer Science 229 (1), 3-19, 2009 | 40 | 2009 |
| Computing behavioral distances, compositionally G Bacci, G Bacci, KG Larsen, R Mardare Mathematical Foundations of Computer Science 2013: 38th International …, 2013 | 38 | 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 |
| 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 | 28 | 2013 |
| 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 | 26 | 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 | 24 | 2018 |
| Complete proof systems for weighted modal logic KG Larsen, R Mardare Theoretical Computer Science 546, 164-175, 2014 | 20 | 2014 |
| 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 |
| Modular markovian logic L Cardelli, KG Larsen, R Mardare Automata, Languages and Programming: 38th International Colloquium, ICALP …, 2011 | 19 | 2011 |
| 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 | 16 | 2021 |
| Probabilistic logics based on Riesz spaces R Furber, R Mardare, M Mio Logical Methods in Computer Science 16, 2020 | 16 | 2020 |
| 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 | 16 | 2015 |
| Stochastic pi-calculus revisited L Cardelli, R Mardare International Colloquium on Theoretical Aspects of Computing, 1-21, 2013 | 16 | 2013 |
| Strong completeness for Markovian logics D Kozen, R Mardare, P Panangaden Mathematical Foundations of Computer Science 2013: 38th International …, 2013 | 16 | 2013 |
| Decidable extensions of Hennessy-Milner logic R Mardare, C Priami International Conference on Formal Techniques for Networked and Distributed …, 2006 | 16 | 2006 |
| Parametric verification of weighted systems P Christoffersen, M Hansen, A Mariegaard, JT Ringsmose, KG Larsen, ... 2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015 …, 2015 | 14 | 2015 |
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
