| Quantitative algebraic reasoning R Mardare, P Panangaden, G Plotkin Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 106 | 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 | 68 | 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 | 45 | 2017 |
| Computing behavioral distances, compositionally G Bacci, G Bacci, KG Larsen, R Mardare Mathematical Foundations of Computer Science 2013: 38th International …, 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 | 41 | 2009 |
| 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 | 32 | 2005 |
| 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 | 31 | 2018 |
| 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 | 29 | 2013 |
| 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 | 25 | 2012 |
| 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 |
| Complete proof systems for weighted modal logic KG Larsen, R Mardare Theoretical Computer Science 546, 164-175, 2014 | 19 | 2014 |
| 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 | 18 | 2021 |
| Strong completeness for Markovian logics D Kozen, R Mardare, P Panangaden Mathematical Foundations of Computer Science 2013: 38th International …, 2013 | 18 | 2013 |
| Stochastic pi-calculus revisited L Cardelli, R Mardare International Colloquium on Theoretical Aspects of Computing, 1-21, 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 |
| Probabilistic logics based on Riesz spaces R Furber, R Mardare, M Mio Logical Methods in Computer Science 16, 2020 | 15 | 2020 |
| 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 | 15 | 2018 |
| 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 | 15 | 2017 |
Kim G. LarsenDirector, Professor Aalborg University在 cs.aau.dk 的电子邮件经过验证
