Matteo Mio

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 22

Top Topics

Regular Languages

Markov Processes

Top Venues

Log. Methods Comput. Sci.

Publications

Matteo Mio, Ralph Sarkis, Valeria Vignudelli
Universal Algebra for Generalised Metric Spaces. CoRR (2023)
Christophe Lucas, Matteo Mio
Proof Theory of Riesz Spaces and Modal Riesz Spaces. Log. Methods Comput. Sci. 18 (1) (2022)
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning. LICS (2022)
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning. CoRR (2022)
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning. LICS (2021)
Christophe Lucas, Matteo Mio
Free Modal Riesz Spaces are Archimedean: A Syntactic Proof. RAMiCS (2021)
Christophe Lucas, Matteo Mio
Proof Theory of Riesz Spaces and Modal Riesz Spaces. CoRR (2020)
Matteo Mio, Valeria Vignudelli
Monads and Quantitative Equational Theories for Nondeterminism and Probability. CoRR (2020)
Matteo Mio, Valeria Vignudelli
Monads and Quantitative Equational Theories for Nondeterminism and Probability. CONCUR (2020)
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
Combining nondeterminism, probability, and termination: equational and metric reasoning. CoRR (2020)
Robert Furber, Radu Mardare, Matteo Mio
Probabilistic logics based on Riesz spaces. Log. Methods Comput. Sci. 16 (1) (2020)
Robert Furber, Radu Mardare, Matteo Mio
Probabilistic logics based on Riesz spaces. CoRR (2019)
Christophe Lucas, Matteo Mio
Towards a Structural Proof Theory of Probabilistic \mu -Calculi. FoSSaCS (2019)
Matteo Mio, Michal Skrzypczak, Henryk Michalewski
Monadic Second Order Logic with Measure and Category Quantifiers. Log. Methods Comput. Sci. 14 (2) (2018)
Matteo Mio
Riesz Modal Logic with Threshold Operators. LICS (2018)
Matteo Mio
Regular Languages of Infinite Trees and Probability. FLAP 4 (10) (2017)
Henryk Michalewski, Matteo Mio, Michal Skrzypczak
Monadic Second Order Logic with Measure and Category Quantifiers. CoRR (2017)
Matteo Mio, Alex Simpson
Łukasiewicz μ-calculus. Fundam. Informaticae 150 (3-4) (2017)
Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michal Skrzypczak
Measure properties of regular sets of trees. Inf. Comput. 256 (2017)
Matteo Mio, Robert Furber, Radu Mardare
Riesz Modal logic for Markov processes. LICS (2017)
Henryk Michalewski, Matteo Mio
Measure Quantifier in Monadic Second Order Logic. LFCS (2016)
Henryk Michalewski, Matteo Mio, Mikolaj Bojanczyk
On the Regular Emptiness Problem of Subzero Automata. ICE (2016)
Henryk Michalewski, Matteo Mio
On the Problem of Computing the Probability of Regular Sets of Trees. FSTTCS (2015)
Henryk Michalewski, Matteo Mio
Baire Category Quantifier in Monadic Second Order Logic. ICALP (2) (2015)
Henryk Michalewski, Matteo Mio
On the Problem of Computing the Probability of Regular Sets of Trees. CoRR (2015)
Matteo Mio, Alex K. Simpson
Łukasiewicz μ-calculus. CoRR (2015)
Matteo Mio
Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus. FoSSaCS (2014)
Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michal Skrzypczak
Measure Properties of Game Tree Languages. MFCS (1) (2014)
Matteo Mio, Alex Simpson
Łukasiewicz mu-Calculus. FICS (2013)
Matteo Mio, Alex Simpson
A Proof System for Compositional Verification of Probabilistic Concurrent Processes. FoSSaCS (2013)
Matteo Mio
Upper-Expectation Bisimilarity and Real-valued Modal Logics. CoRR (2013)
Matteo Mio
On the equivalence of game and denotational semantics for the probabilistic mu-calculus Log. Methods Comput. Sci. 8 (2) (2012)
Matteo Mio
Probabilistic modal μ-calculus with independent product Log. Methods Comput. Sci. 8 (4) (2012)
Matteo Mio
-Calculus with Independent Product. FoSSaCS (2011)
Matteo Mio
A Proof System for Reasoning about Probabilistic Concurrent Processes. PSPL@LICS (2010)
Matteo Mio
The Equivalence of Game and Denotational Semantics for the Probabilistic mu-Calculus. FICS (2010)
Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi
PicNIc - Pi-calculus non-interference checker. ACSD (2008)