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 Satis ability 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 Veri cation 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.