Selected Publications (the complete list of publications here)

R. Mardare, P. Panangaden, G. Plotkin. Free Complete Wasserstein Algebras, LMCS, to appear 2018 [draft]

G. Bacci, R. Mardare, P. Panangaden, G. Plotkin. An Algebraic Theory of Markov Processes, LICS 2018. [draft]

G. Bacci, R. Furber, D. Kozen, R. Mardare, P. Panangaden, Dana Scott. Boolean-Valued Semantics for Stochastic Lambda-Calculus, LICS 2018. [draft]

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. On the Total Variation Distance of Semi-Markov Chains, FoSSaCS 2015. [draft]

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

Luca Cardelli, Radu Mardare. The Measurable Space of Stochastic Processes, Fundamenta Informaticae, 2014. [draft]

Dexter Kozen, Radu Mardare, Prakash Panangaden. Strong Completeness for Markovian Logics, MFCS 2013. [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]

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare. On-the-Fly Exact Computation of Bisimilarity Distances, TACAS 2013. [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]

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

Luca Cardelli, Kim G. Larsen, Radu Mardare. Modular Markovian Logic, ICALP 2011. [draft]

Cristian Calude, Matteo Cavaliere, Radu Mardare. An Observer-Based De-Quantisation of Deutsch's Algorithm, International Journal of Foundations of Computer Science, 2011. [draft]

Luca Cardelli, Radu Mardare.The Measurable Space of Stochastic Processes, QEST 2010. [draft]

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

Radu Mardare, Alberto Policriti. A Complete Axiomatic System for Process-based Spatial Logic, MFCS 2008. [draft]

Radu Mardare. Observing Distributed Computation. A Dynamic-Epistemic Approach. CALCO 2007. [draft]