Under submission

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.
**Complete Axiomatization for the Total Variation Distance of Markov chains**. [draft]

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare.
**A faster-than relation for Semi-Markov Decision Processes**. [draft]

Peer-reviewed Publications

Radu Mardare, Prakash Panangaden, Gordon Plotkin. **On the Axiomatizability of Quantitative Algebras**, LICS 2017. [draft]

Robert Furber, Dexter Kozen, Kim Larsen, Radu Mardare, Prakash Panangaden. **Unrestricted Stone Duality for Markov Processes**, LICS 2017. [draft]

Matteo Mio, Robert Furber, Radu Mardare. **Riesz Modal Logic for Markov Processes**, LICS 2017. [draft]

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare. **On the Metric-based Approximate Minimization of Markov chains**.ICALP 2017 [draft]

Radu Mardare, Prakash Panangaden, Gordon Plotkin. **Quantitative Algebraic Reasoning**, LICS 2016. [draft]

Kim G. Larsen, Radu Mardare, Bingtian Xue. **Probabilistic Mu-Calculus: Decidability and Complete Axiomatization**, FSTTCS 2016. [draft]

G. Bacci, G. Bacci, K.G. Larsen, R. Mardare. **Complete Axiomatization for the Bisimilarity Distance on Markov Chains**, CONCUR 2016. [draft]

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare. **Converging from Branching to Linear Metrics on Markov Chains**, ICTAC 2015 [draft]

Kim G. Larsen, Radu Mardare, Bingtian Xue. **On Decidability of Recursive Weighted Logics**, Soft Computing, to appear, 2015. [draft]

Kim G. Larsen, Radu Mardare, Bingtian Xue. **Concurrent Weighted Logic**, Journal of Logical and Algebraical Methods in Programming, 2015. [draft]

Kim G. Larsen, Radu Mardare, Bingtian Xue. **Alternation-Free Weighted Mu-Calculus: Decidability and Completeness**, MFPS 2015. [draft]

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare. **On the Total Variation Distance of Semi-Markov Chains**, FoSSaCS 2015. [draft]

Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian T. Ringsmose, Kim G. Larsen, Radu Mardare.
**Parametric Verification of Weighted Systems**, SynCoP, ETAPS 2015. [draft]

Kim G. Larsen, Radu Mardare, Bingtian Xue. **A Decidable Recursive Logic for Weighted Transition Systems**, ICTAC 2014. [draft]

Radu Mardare, Kim Guldstrand Larsen, Manfred Jaeger, Hua Mao. **Continuity Properties of Distances for Markov Processes**, QEST 2014. [draft]

Dexter Kozen, Radu Mardare, Prakash Panangaden. **A Metrized Duality Theorem for Markov Processes**, MFPS 2014. [draft]

Samy Jaziri, Kim G. Larsen, Radu Mardare, Bingtian Xue. **Adequacy and Complete Axiomatization for Timed Modal Logic**, MFPS 2014. [draft]

Kim G. Larsen, Radu Mardare, Bingtian Xue. **Decidability and Expressiveness of Recursive Weighted Logic**, PSI 2014. [draft]

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare. **Bisimulation on Markov Processes over Arbitrary Measurable Spaces**, Horizons of the Mind. A Tribute to Prakash Panangaden, 2014. [draft]

Luca Cardelli, Radu Mardare. **The Measurable Space of Stochastic Processes**, Fundamenta Informaticae 131(3-4):351-371, 2014. [draft]

Dexter Kozen, Radu Mardare, Prakash Panangaden. **Strong Completeness for Markovian Logics **, MFCS 2013. [draft]

Giorgio Bacci, Giovanni Bacci, Kim Larsen, Radu Mardare. **Computing Behavioral Distances, Compositionally**, MFCS 2013. [draft]

Giorgio Bacci, Giovanni Bacci, Kim Larsen, Radu Mardare. **The BisimDist Library: Efficient Computation of Bisimilarity Distance for Markovian Models**, QEST2013.[draft]

Luca Cardelli, Radu Mardare. **Stochastic Pi-Calculus Revisited**, ICTAC2013. [draft]

Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden. **Stone Duality for Markov Processes**, LICS 2013. [Tech.Report]

Radu Mardare, Prakash Panangaden, Kim G. Larsen. **Approximate Reasoning for Markov Processes**, LOLA 2013. [Abstract]

Kim G. Larsen, Radu Mardare. **Complete Proof System for Weighted Modal Logic **, TCS, to appear, 2013. [draft]

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare. **On-the-Fly Exact Computation of Bisimilarity Distances**, TACAS 2013. [draft]

Radu Mardare, Kim G. Larsen, Luca Cardelli. **Continuous Markovian Logics - Axiomatization and Quantified Metatheory**, LMCS 2012. [draft]

Kim G. Larsen, Radu Mardare, Prakash Panangaden. **Stone Duality for Markov Processes**, Scandinavic Logic Symposium 2012. [draft]

Kim G. Larsen, Radu Mardare, Prakash Panangaden. **A Metric Analog of Stone Duality for Markov Processes**, short presentation, LICS 2012. [draft]

Kim G. Larsen, Radu Mardare, Prakash Panangaden. **Taking it to the limit: Approximate reasoning for Markov Processes**, MFCS 2012. [draft]

Radu Mardare, Kim G. Larsen,Claus Thrane. **Parametrized Metatheory for Continuous Markovian Logic**, QFM 2012. [draft]

Sophia Knight, Radu Mardare, Prakash Panangaden.** Combining Epistemic Logic and Hennessy-Milner Logic**, LNCS Festschrift 2012. [draft]

Luca Cardelli, Kim G. Larsen, Radu Mardare.** Continuous Markovian Logics - From Complete Axiomatization to the Metric Space of Formulas**, In Proc of Computer Science Logic CSL2011. [draft]

Radu Mardare. **Markovian Logics: The Metric Space of Logical Formulas**, to appear in The Bulletin of Symbolic Logic, the meeting report of Logic Colloquium 2011. [draft]

Luca Cardelli, Kim G. Larsen, Radu Mardare. **Modular Markovian Logic**, in Proc. of ICALP 2011, LNCS 6756: 380-391, 2011. [draft]

Radu Mardare. **Decidability of Modular Logics for Concurrency**, to appear in Proc. of the Ershov Informatics Conference 2011. [draft]

Cristian Calude, Matteo Cavaliere, Radu Mardare. **An Observer-Based De-Quantisation of Deutsch's Algorithm**, International Journal of Foundations of Computer Science IJFCS 22(1): 191-201, World Scientific Publishing, 2011. [draft]

Luca Cardelli, Radu Mardare.**The Measurable Space of Stochastic Processes**, In Proc. QEST2010, IEEE Computer Society, pp. 171-180. 2010. [draft]

Paolo Ballarini, Radu Mardare, Ivan Mura. **Analysing Biochemical Oscillations through Probabilistic
Model Checking**. In Proc. of the Second International Workshop "From Biology To Concurrency" (FBTC 2008), Electronic Notes in Theoretical Computer Science 229(1):3-19, 2009. [draft]

Radu Mardare, Matteo Cavaliere, Sean Sedwards. **A Multiset-Based Model of Synchronizing Agents:
Computability and Robustness***.* Theoretical Computer Science, TCS 391(3):216 - 238, 2008. [draft]

Radu Mardare, Matteo Cavaliere, Sean Sedwards. **A Logical Characterization of Robustness, Mutants
and Species in Colonies of Synchronizing Agents***.* International Journal of Foundations of
Computer Science, IJFCS 19(5):1199-1221, 2008. [draft]

Radu Mardare, Alberto Policriti. **A Complete Axiomatic System for Process-based Spatial Logic.** In
Proc. of 33rd International Symposium on Mathematical Foundations of Computer Science,
MFCS 2008, Lecture Notes in Computer Science LNCS 5168:491-502, Springer, 2008. [draft]

Adaoha Ihekwaba, Radu Mardare.** A Calculus for Modelling, Simulating and Analysing Compartmentalized Biological Systems.** Case study: NFkB system. In Proc. of International Conference of Computational Methods in Sciences and Engineering (ICCMSE), American Institute of
Physics, AIP Proceedings, N 2:42-46, 2007. [draft]

Radu Mardare. **Observing Distributed Computation. A Dynamic-Epistemic Approach.** In
Proc. of the second Conference on Algebra and Coalgebra in Computer Science (CALCO2007),
Lecture Notes in Computer Science 4624:379-393, Springer, 2007. [draft]

Matteo Cavaliere, Radu Mardare, Sean Sedwards. **Colonies of synchronizing agents: An abstract model
of intracellular and intercellular processes.** In Proc. of International Workshop Automata for
Cellular and Molecular Computing, page:35-51, Computer and Automation Research Institute
of the Hungarian Academy of Sciences, 2007. [draft]

Adaoha Ihekwaba, Roberto Larcher, Radu Mardare, Corrado Priami. **BetaWB - A language for modular
representation of biological systems.** In Proc. of International Conference on Systems Biology
(ICSB), 2007. [draft]

Matteo Cavaliere, Radu Mardare. **Partial knowledge in membrane systems: A logical
approach.** In Proc. of the seventh Workshop on Membrane Computing - At the Crossroads of
Cell Biology and Computation (WMC2006), Lecture Notes in Computer Science 4361:279-297,
Springer, 2006. [draft]

Radu Mardare, Corrado Priami. **Decidable extensions of Hennessy-Milner Logic.** In Proc. of the
International Conference on Formal Methods for Networked and Distributed Systems (FORTE
2006), Lecture Notes in Computer Science 4229:196-211, Springer, 2006. [draft]

Radu Mardare, Corrado Priami. **Logical analysis of biological systems.** Fundamenta Informaticae,
N 64:271-285, 2005. [draft]

Radu Mardare, et al. **Model checking biological systems described
using ambient calculus.** In Proc. of the second International Workshop on Computational
Methods in Systems Biology (CMSB04), Lecture Notes in Bioinformatics 3082:85-103, Springer,
2005. [draft]

Radu Mardare, Corrado Priami. **A logical approach to security in the context of Ambient Calculus.** Electronic Notes in Theoretical Computer Science, N 99:3-29, 2004. [draft]

Radu Mardare.** Logical analysis of Complex Systems. Dynamic Epistemic Spatial Logics.**
Ph.D. thesis, Department of Information and Technology, University of Trento, Italy, March
2006. [draft]

Radu Mardare. **The Liar Paradox in the context of Anti-Founded Model Theory.** M.Phil.
thesis, Department of Theoretical Philosophy and Logic, Bucharest University, Romania, June
2002. [draft]

Radu Mardare. **The Hyperset Theory: towards a new Ontology of Mathematics.** M.Sc. thesis,
Department of Theoretical Philosophy and Logic, Bucharest University, Romania, June 2001. [draft]

Radu Mardare. **The Paradoxes of Set Theory.** M.Sc. thesis, Department of Mathematics,
University of Iasi, Romania, June 1997. [draft]

Books and chapters

Radu Mardare, **Bio-Logics.** In A. Iorgulescu, S. Marcus, S. Rudeanu, D. Vaida (Eds.), *Grigore C. Moisil and His Followers in the Field of Theoretical Computer Science*. Romanian Academy of Science, 2007. [draft]

Radu Mardare, **Logical Anaysis of Complex Concurrent Systems.** LAMBERT Academic Publishing, ISBN 978-3838388984, 2010.

Technical Reports

Luca Cardelli, Radu Mardare,** The Measurable Space of Stochastic Processes**. Tech.Rep. TR-
3-2010, The Microsoft Research-University of Trento Center for Computational and Systems
Biology.

Luca Cardelli, Radu Mardare, **Continuous Markovian Logic.** Tech.Rep. TR-4-2010, The
Microsoft Research-University of Trento Center for Computational and Systems Biology.

Cristian Calude, Matteo Cavaliere, Radu Mardare, **Observer Complexity and Deutsch's Problem**. Tech.Rep. TR-?-2010, The Microsoft Research-University of Trento Center for Computational and
Systems Biology.

Radu Mardare, Ivan Mura. **Modular probabilistic logic for compositional Harsanyi type spaces**.
Tech.Rep. TR-13-2009, The Microsoft Research-University of Trento Center for Computational and Systems Biology.

Radu Mardare. **A Survey on Approximating Methods for Quantitative Model Checking**. Tech.Rep. TR-14-2009, The Microsoft Research-University of Trento Center for Computational and
Systems Biology.

Radu Mardare, Alberto Policriti. **Towards a Complete Axiomatization for Spatial Logics**. Tech.Rep. TR-18-2008, The Microsoft Research-University of Trento Center for Computational and
Systems Biology.

Radu Mardare, Alberto Policriti. **Decidability of Satisability and Model Checking in Logics for
Concurrent Processes.** Tech.Rep. TR-17-2008, The Microsoft Research-University of Trento
Center for Computational and Systems Biology.

Paolo Ballarini, Radu Mardare, Ivan Mura. **Query-based Verication of Biochemical Oscillations
through Probabilistic Model Checking**. Tech.Rep. TR-05-2008, The Microsoft Research-
University of Trento Center for Computational and Systems Biology.

Radu Mardare, Matteo Cavaliere, Sean Sedwards. **A Logical Characterization of Robustness, Mutants
and Species in Colonies of Agents.** Tech.Rep. TR-23-2007, The Microsoft Research-University
of Trento Centre for Computational and Systems Biology.

Adaoha Ihekwaba, Radu Mardare. **A Process Algebraical Approach to Modelling Compartmentalized
Biological Systems**. Tech.Rep. TR-16-2007, The Microsoft Research-University of Trento
Centre for Computational and Systems Biology.

Radu Mardare, Matteo Cavaliere, Sean Sedwards. **Colonies of Synchronizing Agents**. Tech. Rep. TR-11-2007, The Microsoft Research-University of Trento Centre for Computational and Systems
Biology.

Radu Mardare. **Dynamic-Epistemic reasoning on distributed systems**. Tech.Rep. TR-02-
2007, The Microsoft Research-University of Trento Centre for Computational and Systems
Biology.

Radu Mardare, Corrado Priami. **Dynamic Epistemic Spatial Logics**. Tech. Rep. TR-03-2006, The
Microsoft Research-University of Trento Center for Computational and Systems Biology.

Radu Mardare, Corrado Priami. **Model Checking Dynamic Epistemic Spatial Logics**. Tech.Rep.
DIT-06-010, Department of Information and Technology, University of Trento, Italy.

Radu Mardare, Corrado Priami. **Computing the accessibility relation for the Ambient Calculus**.
Tech. Rep. DIT-03-054, Department of Information and Technology, University of Trento,
Italy.

Radu Mardare, Corrado Priami. **A Propositional Branching Temporal Logic for the Ambient Calculus**. Tech.Rep. DIT-03-053, Department of Information and Technology, University of Trento,
Italy.

Radu Mardare, Corrado Priami. **The principles of ambient calculus revisited**. Tech. Rep. DIT-05-018, Department of Information and Technology, University of Trento, Italy.