Matteo Mio

41 papers A* 4B 6C 1Misc 1Journal 19Unranked 8
YearRankTypeTitle / Venue / Authors
2025 B conf
Compact Quantitative Theories of Convex Algebras.
MFPS
Matteo Mio
2024 — book
Recent Results on Quantitative Equational Logic. (Résultats Récents sur la logique Équationnelle Quantitative).
Matteo Mio
2024 J jnl
Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces.
Log. Methods Comput. Sci.
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2023 J jnl
Universal Algebra for Generalised Metric Spaces.
CoRR
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2022 A* conf
Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning.
LICS
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2022 J jnl
Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning.
CoRR
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2022 J jnl
Proof Theory of Riesz Spaces and Modal Riesz Spaces.
Log. Methods Comput. Sci.
Christophe Lucas, Matteo Mio
2021 A* conf
Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning.
LICS
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2021 C conf
Free Modal Riesz Spaces are Archimedean: A Syntactic Proof.
RAMiCS
Christophe Lucas, Matteo Mio
2020 J jnl
Combining nondeterminism, probability, and termination: equational and metric reasoning.
CoRR
Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2020 B conf
Monads and Quantitative Equational Theories for Nondeterminism and Probability.
CONCUR
Matteo Mio, Valeria Vignudelli
2020 J jnl
Monads and Quantitative Equational Theories for Nondeterminism and Probability.
CoRR
Matteo Mio, Valeria Vignudelli
2020 J jnl
Probabilistic logics based on Riesz spaces.
Log. Methods Comput. Sci.
Robert Furber, Radu Mardare, Matteo Mio
2020 J jnl
Proof Theory of Riesz Spaces and Modal Riesz Spaces.
CoRR
Christophe Lucas, Matteo Mio
2019 J jnl
Probabilistic logics based on Riesz spaces.
CoRR
Robert Furber, Radu Mardare, Matteo Mio
2019 B conf
Towards a Structural Proof Theory of Probabilistic \mu -Calculi.
FoSSaCS
Christophe Lucas, Matteo Mio
2018 J jnl
Monadic Second Order Logic with Measure and Category Quantifiers.
Log. Methods Comput. Sci.
Matteo Mio, Michal Skrzypczak, Henryk Michalewski
2018 A* conf
Riesz Modal Logic with Threshold Operators.
LICS
Matteo Mio
2017 J jnl
Measure properties of regular sets of trees.
Inf. Comput.
Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michal Skrzypczak
2017 J jnl
Monadic Second Order Logic with Measure and Category Quantifiers.
CoRR
Henryk Michalewski, Matteo Mio, Michal Skrzypczak
2017 J jnl
Regular Languages of Infinite Trees and Probability.
FLAP
Matteo Mio
2017 A* conf
Riesz Modal logic for Markov processes.
LICS
Matteo Mio, Robert Furber, Radu Mardare
2017 J jnl
Łukasiewicz μ-calculus.
Fundam. Informaticae
Matteo Mio, Alex Simpson
2016 Misc conf
Measure Quantifier in Monadic Second Order Logic.
LFCS
Henryk Michalewski, Matteo Mio
2016 — conf
On the Regular Emptiness Problem of Subzero Automata.
ICE
Henryk Michalewski, Matteo Mio, Mikolaj Bojanczyk
2015 — conf
Baire Category Quantifier in Monadic Second Order Logic.
ICALP (2)
Henryk Michalewski, Matteo Mio
2015 — conf
On the Problem of Computing the Probability of Regular Sets of Trees.
FSTTCS
Henryk Michalewski, Matteo Mio
2015 J jnl
On the Problem of Computing the Probability of Regular Sets of Trees.
CoRR
Henryk Michalewski, Matteo Mio
2015 — ed.
Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015.
FICS
Ralph Matthes, Matteo Mio
2015 J jnl
Łukasiewicz μ-calculus.
CoRR
Matteo Mio, Alex K. Simpson
2014 — conf
Measure Properties of Game Tree Languages.
MFCS (1)
Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michal Skrzypczak
2014 B conf
Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus.
FoSSaCS
Matteo Mio
2013 B conf
A Proof System for Compositional Verification of Probabilistic Concurrent Processes.
FoSSaCS
Matteo Mio, Alex Simpson
2013 J jnl
Upper-Expectation Bisimilarity and Real-valued Modal Logics.
CoRR
Matteo Mio
2013 — conf
Łukasiewicz mu-Calculus.
FICS
Matteo Mio, Alex Simpson
2012 J jnl
On the equivalence of game and denotational semantics for the probabilistic mu-calculus
Log. Methods Comput. Sci.
Matteo Mio
2012 J jnl
Probabilistic modal μ-calculus with independent product
Log. Methods Comput. Sci.
Matteo Mio
2011 B conf
Probabilistic Modal
FoSSaCS
Matteo Mio
2010 — conf
A Proof System for Reasoning about Probabilistic Concurrent Processes.
PSPL@LICS
Matteo Mio
2010 — conf
The Equivalence of Game and Denotational Semantics for the Probabilistic mu-Calculus.
FICS
Matteo Mio
2008 — conf
PicNIc - Pi-calculus non-interference checker.
ACSD
Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi