Selected Publications
G. Bacci, R. Mardare, P. Panangaden, G. Plotkin. Polynomial Lawvere Logic, Under submission 2024 [draft]
N. Ghani, R. Mardare, E. Rischel. Metric Equational Theories, Under submission 2024 [draft]
G. Bacci, R. Mardare, P. Panangaden, G. Plotkin. Sum and Tensor of Quantitative Effects, Under submission 2024 [draft]
G. Bacci, R. Mardare, P. Panangaden, G. Plotkin. Propositional Logics for Lawvere Quantale, MFPS 2023 [draft]
G. Bacci, R. Mardare, P. Panangaden, G. Plotkin. Sum and Tensor of Quantitative Effects, LMCS - under submission, 2023 [draft]
R. Furber, R. Mardare, P. Panangaden, Dana Scott. Interpreting Lambda Calculus in Domain-Valued Random Variables, under submission. [draft]
R. Mardare, P. Panangaden, G. Plotkin. Fixed-Points for Quantitative Equational Logics, LICS 2021[draft]
P.H. A. de Amorim, D. Kozen, R. Mardare, P. Panangaden, M. Roberts. Universal Semantics for the Stochastic Lambda-Calculus, LICS 2021. [draft]
G. Bacci, R. Mardare, P. Panangaden, G. Plotkin. Tensor of Quantitative Equational Theories, CALCO 2021 [draft]
R. Furber, R. Mardare, M. Mio. Probabilistic Logics based on Riesz spaces, Log. Methods Comput. Sci. 16(1), 2020. [draft]
G. Bacci, G. Bacci, K. Larsen, R. Mardare, Q. Tang, F. van Bruegel. Computing Probabilistic Bisimilarity Distances for Probabilistic Automata, CONCUR 2019. [draft]
G. Bacci, R. Furber, D. Kozen, R. Mardare, P. Panangaden, Dana Scott. Boolean-Valued Semantics for Stochastic Lambda-Calculus, LICS 2018. [draft]
R. Mardare, P. Panangaden, G. Plotkin. Free Complete Wasserstein Algebras, Log. Methods Comput. Sci 14(3), 2018 [draft]
R. Mardare, P. Panangaden, G. Plotkin. On the Axiomatizability of Quantitative Algebras, LICS 2017. [draft]
R. Furber, D. Kozen, K. Larsen, R. Mardare, P. Panangaden. Unrestricted Stone Duality for Markov Processes, LICS 2017. [draft]
M. Mio, R. Furber, R. Mardare. Riesz Modal Logic for Markov Processes, LICS 2017. [draft]
G. Bacci, G. Bacci, K. Larsen, R. Mardare. On the Metric-based Approximate Minimization of Markov chains.ICALP 2017 [draft]
R. Mardare, P. Panangaden, G. Plotkin. Quantitative Algebraic Reasoning, LICS 2016. [draft]
K. Larsen, R. Mardare, B. 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]
G. Bacci, G. Bacci, K. Larsen, R. Mardare. On the Total Variation Distance of Semi-Markov Chains, FoSSaCS 2015. [draft]
D. Kozen, R. Mardare, P. Panangaden. A Metrized Duality Theorem for Markov Processes, MFPS 2014. [draft]
L. Cardelli, R. Mardare. The Measurable Space of Stochastic Processes, Fundamenta Informaticae, 2014. [draft]
D. Kozen, R. Mardare, P. Panangaden. Strong Completeness for Markovian Logics, MFCS 2013. [draft]
L. Cardelli, R. Mardare. Stochastic Pi-Calculus Revisited, ICTAC2013. [draft]
D. Kozen, K. Larsen, R. Mardare, P. Panangaden. Stone Duality for Markov Processes, LICS 2013. [Tech.Report]
G. Bacci, G. Bacci, K. Larsen, R. Mardare. On-the-Fly Exact Computation of Bisimilarity Distances, TACAS 2013. [draft]
K Larsen, R. Mardare, P. Panangaden. A Metric Analog of Stone Duality for Markov Processes, short presentation, LICS 2012. [draft]
K. Larsen, R. Mardare, P. Panangaden. Taking it to the limit: Approximate reasoning for Markov Processes, MFCS 2012. [draft]
L. Cardelli, K. Larsen, R. Mardare. Continuous Markovian Logics - From Complete Axiomatization to the Metric Space of Formulas, CSL2011. [draft]
L. Cardelli, K. Larsen, R. Mardare. Modular Markovian Logic, ICALP 2011. [draft]
C. Calude, M. Cavaliere, R. Mardare. An Observer-Based De-Quantisation of Deutsch's Algorithm, Int. J. of Found. Comput. Sci, 2011. [draft]
L. Cardelli, R. Mardare.The Measurable Space of Stochastic Processes, QEST 2010. [draft]
R. Mardare, M. Cavaliere, S. Sedwards. A Multiset-Based Model of Synchronizing Agents: Computability and Robustness. Theoretical Computer Science, TCS, 2008. [draft]
R. Mardare, A. Policriti. A Complete Axiomatic System for Process-based Spatial Logic, MFCS 2008. [draft]
R. Mardare. Observing Distributed Computation. A Dynamic-Epistemic Approach. CALCO 2007. [draft]