PicNIc - Pi-calculus non-interference checker. - Silvia Crafa; Matteo Mio; Marino Miculan; Carla Piazza; Sabina Rossi (ACSD, 2008)

The Equivalence of Game and Denotational Semantics for the Probabilistic mu-Calculus. - Matteo Mio (FICS, 2010)

A Proof System for Reasoning about Probabilistic Concurrent Processes. - Matteo Mio (PSPL@LICS, 2010)

Probabilistic Modal μ-Calculus with Independent Product. - Matteo Mio (FoSSaCS, 2011)

Probabilistic modal μ-calculus with independent product - Matteo Mio (Log. Methods Comput. Sci., 2012)

A Proof System for Compositional Verification of Probabilistic Concurrent Processes. - Matteo Mio; Alex Simpson (FoSSaCS, 2013)

Upper-Expectation Bisimilarity and Real-valued Modal Logics. - Matteo Mio (CoRR, 2013)

Łukasiewicz mu-Calculus. - Matteo Mio; Alex Simpson (FICS, 2013)

Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus. - Matteo Mio (FoSSaCS, 2014)

Measure Properties of Game Tree Languages. - Tomasz Gogacz; Henryk Michalewski; Matteo Mio; Michal Skrzypczak (MFCS (1), 2014)

On the Problem of Computing the Probability of Regular Sets of Trees. - Henryk Michalewski; Matteo Mio (FSTTCS, 2015)

Baire Category Quantifier in Monadic Second Order Logic. - Henryk Michalewski; Matteo Mio (ICALP (2), 2015)

Measure Quantifier in Monadic Second Order Logic. - Henryk Michalewski; Matteo Mio (LFCS, 2016)

On the Regular Emptiness Problem of Subzero Automata. - Henryk Michalewski; Matteo Mio; Mikolaj Bojanczyk (ICE, 2016)

Riesz Modal logic for Markov processes. - Matteo Mio; Robert Furber; Radu Mardare (LICS, 2017)

Regular Languages of Infinite Trees and Probability. - Matteo Mio (FLAP, 2017)

Łukasiewicz μ-calculus. - Matteo Mio; Alex Simpson (Fundam. Informaticae, 2017)

Measure properties of regular sets of trees. - Tomasz Gogacz; Henryk Michalewski; Matteo Mio; Michal Skrzypczak (Inf. Comput., 2017)

Riesz Modal Logic with Threshold Operators. - Matteo Mio (LICS, 2018)

Monadic Second Order Logic with Measure and Category Quantifiers. - Matteo Mio; Michal Skrzypczak; Henryk Michalewski (Log. Methods Comput. Sci., 2018)

Towards a Structural Proof Theory of Probabilistic mu -Calculi. - Christophe Lucas; Matteo Mio (FoSSaCS, 2019)

Monads and Quantitative Equational Theories for Nondeterminism and Probability. - Matteo Mio; Valeria Vignudelli (CONCUR, 2020)

Probabilistic logics based on Riesz spaces. - Robert Furber; Radu Mardare; Matteo Mio (Log. Methods Comput. Sci., 2020)

Free Modal Riesz Spaces are Archimedean: A Syntactic Proof. - Christophe Lucas; Matteo Mio (RAMiCS, 2021)

Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning. - Matteo Mio; Ralph Sarkis; Valeria Vignudelli (LICS, 2021)

Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning. - Matteo Mio; Ralph Sarkis; Valeria Vignudelli (LICS, 2022)

Proof Theory of Riesz Spaces and Modal Riesz Spaces. - Christophe Lucas; Matteo Mio (Log. Methods Comput. Sci., 2022)

Universal Algebra for Generalised Metric Spaces. - Matteo Mio; Ralph Sarkis; Valeria Vignudelli (CoRR, 2023)

Recent Results on Quantitative Equational Logic. (Résultats Récents sur la logique Équationnelle Quantitative). - Matteo Mio (2024)

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces. - Matteo Mio; Ralph Sarkis; Valeria Vignudelli (Log. Methods Comput. Sci., 2024)