Follow
Radu Mardare
Radu Mardare
Verified email at strath.ac.uk - Homepage
Title
Cited by
Cited by
Year
Quantitative algebraic reasoning
R Mardare, P Panangaden, G Plotkin
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
1052016
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
692013
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
452017
Computing behavioral distances, compositionally
G Bacci, G Bacci, KG Larsen, R Mardare
Mathematical Foundations of Computer Science 2013: 38th International …, 2013
422013
Analysing biochemical oscillation through probabilistic model checking
P Ballarini, R Mardare, I Mura
Electronic Notes in Theoretical Computer Science 229 (1), 3-19, 2009
412009
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
322005
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
302018
The measurable space of stochastic processes
L Cardelli, R Mardare
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
302010
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
282013
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
242012
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
202015
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
192021
Modular markovian logic
L Cardelli, KG Larsen, R Mardare
Automata, Languages and Programming: 38th International Colloquium, ICALP …, 2011
192011
Complete proof systems for weighted modal logic
KG Larsen, R Mardare
Theoretical Computer Science 546, 164-175, 2014
182014
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
162015
Stochastic pi-calculus revisited
L Cardelli, R Mardare
International Colloquium on Theoretical Aspects of Computing, 1-21, 2013
162013
Decidable extensions of Hennessy-Milner logic
R Mardare, C Priami
International Conference on Formal Techniques for Networked and Distributed …, 2006
162006
Probabilistic logics based on Riesz spaces
R Furber, R Mardare, M Mio
Logical Methods in Computer Science 16, 2020
152020
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
152018
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
152017
The system can't perform the operation now. Try again later.
Articles 1–20