Folgen
Radu Mardare
Radu Mardare
Bestätigte E-Mail-Adresse bei strath.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Quantitative algebraic reasoning
R Mardare, P Panangaden, G Plotkin
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
692016
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
582013
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
International Symposium on Mathematical Foundations of Computer Science, 74-85, 2013
322013
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
Model checking biological systems described using ambient calculus
R Mardare, C Priami, P Quaglia, O Vagin
International Conference on Computational Methods in Systems Biology, 85-103, 2004
292004
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
262017
Taking it to the limit: Approximate reasoning for markov processes
KG Larsen, R Mardare, P Panangaden
International Symposium on Mathematical Foundations of Computer Science, 681-692, 2012
252012
Modular markovian logic
L Cardelli, KG Larsen, R Mardare
International Colloquium on Automata, Languages, and Programming, 380-391, 2011
202011
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
Strong completeness for Markovian logics
D Kozen, R Mardare, P Panangaden
International Symposium on Mathematical Foundations of Computer Science, 655-666, 2013
182013
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
172015
Complete proof systems for weighted modal logic
KG Larsen, R Mardare
Theoretical Computer Science 546, 164-175, 2014
172014
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
162018
Decidable extensions of Hennessy-Milner logic
R Mardare, C Priami
International Conference on Formal Techniques for Networked and Distributed …, 2006
152006
Continuous markovian logics-axiomatization and quantified metatheory
KG Larsen, L Cardelli, R Mardare
Logical Methods in Computer Science 8, 2012
142012
Continuous markovian logic-from complete axiomatization to the metric space of formulas
L Cardelli, KG Larsen, R Mardare
Computer Science Logic (CSL'11)-25th International Workshop/20th Annual …, 2011
142011
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
132018
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
132015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20