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
742016
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
622013
Analysing biochemical oscillation through probabilistic model checking
P Ballarini, R Mardare, I Mura
Electronic Notes in Theoretical Computer Science 229 (1), 3-19, 2009
392009
Computing behavioral distances, compositionally
G Bacci, G Bacci, KG Larsen, R Mardare
Mathematical Foundations of Computer Science 2013: 38th International …, 2013
342013
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
312017
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
312013
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
312005
The measurable space of stochastic processes
L Cardelli, R Mardare
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
292010
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
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
202018
Modular markovian logic
L Cardelli, KG Larsen, R Mardare
Automata, Languages and Programming: 38th International Colloquium, ICALP …, 2011
202011
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
192015
Complete proof systems for weighted modal logic
KG Larsen, R Mardare
Theoretical Computer Science 546, 164-175, 2014
192014
Strong completeness for Markovian logics
D Kozen, R Mardare, P Panangaden
Mathematical Foundations of Computer Science 2013: 38th International …, 2013
172013
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
162015
Probabilistic logics based on Riesz spaces
R Furber, R Mardare, M Mio
arXiv preprint arXiv:1903.09463, 2019
152019
Stochastic pi-calculus revisited
L Cardelli, R Mardare
Theoretical Aspects of Computing–ICTAC 2013: 10th International Colloquium …, 2013
152013
Decidable extensions of Hennessy-Milner logic
R Mardare, C Priami
FORTE, 196-211, 2006
152006
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
142018
Continuous markovian logics-axiomatization and quantified metatheory
KG Larsen, L Cardelli, R Mardare
Logical Methods in Computer Science 8, 2012
142012
The system can't perform the operation now. Try again later.
Articles 1–20