Skip to content
cs-conference-ranking.org

Matteo Mio

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

6

Active years

2010–2022

Best venue rank

A*

Where they publish

Papers

13 indexed papers, newest first.

YearVenueTitleAuthors
2022LICSBeyond Nonexpansive Operations in Quantitative Algebraic Reasoning.Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2021LICSCombining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning.Matteo Mio, Ralph Sarkis, Valeria Vignudelli
2020CONCURMonads and Quantitative Equational Theories for Nondeterminism and Probability.Matteo Mio, Valeria Vignudelli
2019FOSSACSTowards a Structural Proof Theory of Probabilistic \mu -Calculi.Christophe Lucas, Matteo Mio
2018LICSRiesz Modal Logic with Threshold Operators.Matteo Mio
2017LICSRiesz Modal logic for Markov processes.Matteo Mio, Robert Furber, Radu Mardare
2016LFCSMeasure Quantifier in Monadic Second Order Logic.Henryk Michalewski, Matteo Mio
2015ICALPBaire Category Quantifier in Monadic Second Order Logic.Henryk Michalewski, Matteo Mio
2014FOSSACSUpper-Expectation Bisimilarity and Łukasiewicz μ-Calculus.Matteo Mio
2014MFCSMeasure Properties of Game Tree Languages.Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michal Skrzypczak
2013FOSSACSA Proof System for Compositional Verification of Probabilistic Concurrent Processes.Matteo Mio, Alex Simpson
2011FOSSACSProbabilistic ModalMatteo Mio
2010LICSA Proof System for Reasoning about Probabilistic Concurrent Processes.Matteo Mio