Matteo Mio

Available identifiers

Publication	Date of Publication	Type
Beyond nonexpansive operations in quantitative algebraic reasoning	2024-12-06	Paper
Free modal Riesz spaces are Archimedean: a syntactic proof	2023-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q5094116	2022-08-02	Paper
Monads and Quantitative Equational Theories for Nondeterminism and Probability	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q4992900	2021-06-10	Paper
Riesz Modal Logic with Threshold Operators	2021-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5216326	2020-02-17	Paper
Towards a structural proof theory of probabilistic \(\mu\)-calculi	2020-01-28	Paper
Monadic Second Order Logic with Measure and Category Quantifiers	2018-04-25	Paper
Łukasiewicz μ-calculus	2017-11-10	Paper
Measure properties of regular sets of trees	2017-09-28	Paper
Measure Quantifier in Monadic Second Order Logic	2017-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5275391	2017-07-13	Paper
Baire Category Quantifier in Monadic Second Order Logic	2015-11-04	Paper
Measure Properties of Game Tree Languages	2014-10-14	Paper
Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus	2014-04-16	Paper
A Proof System for Compositional Verification of Probabilistic Concurrent Processes	2013-03-18	Paper
Probabilistic modal {\mu}-calculus with independent product	2013-01-07	Paper
On the equivalence of game and denotational semantics for the probabilistic \(\mu\)-calculus	2012-06-01	Paper
Probabilistic Modal μ-Calculus with Independent Product	2011-05-19	Paper

This page was built for person: Matteo Mio