Segui
Radu Mardare
Radu Mardare
Email verificata su strath.ac.uk - Home page
Titolo
Citata da
Citata da
Anno
Quantitative algebraic reasoning
R Mardare, P Panangaden, G Plotkin
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
1032016
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
672013
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
432017
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
Computing behavioral distances, compositionally
G Bacci, G Bacci, KG Larsen, R Mardare
Mathematical Foundations of Computer Science 2013: 38th International …, 2013
392013
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
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
292013
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
262012
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
252018
Complete proof systems for weighted modal logic
KG Larsen, R Mardare
Theoretical Computer Science 546, 164-175, 2014
202014
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
192015
Modular markovian logic
L Cardelli, KG Larsen, R Mardare
Automata, Languages and Programming: 38th International Colloquium, ICALP …, 2011
192011
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
172021
Strong completeness for Markovian logics
D Kozen, R Mardare, P Panangaden
Mathematical Foundations of Computer Science 2013: 38th International …, 2013
172013
Probabilistic logics based on Riesz spaces
R Furber, R Mardare, M Mio
Logical Methods in Computer Science 16, 2020
162020
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
On the metric-based approximate minimization of Markov chains
G Bacci, G Bacci, KG Larsen, R Mardare
Schloss Dagstuhl-Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017
152017
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20