Concepedia

Matteo Mio

MM

Statistics

Publications

3

Citations

30

H-Index

3

Active since

2013

Affiliations

École Normale Supérieure de Lyon(Current)

Centre National de la Recherche Scientifique

Matteo Mio is an author at École Normale Supérieure de Lyon specializing in formal verification, formal methods, and automated reasoning.

ORCID

Top concepts

Publications per year

2013–2021

3

Publications

3

Łukasiewicz mu-Calculus

Matteo Mio, Alex Simpson · Electronic Proceedings in Theoretical Computer Science · 2013 · 10 citations · Full text

, , +12

PROBABILISTIC LOGICS BASED ON RIESZ SPACES

Robert Furber, Radu Mardare, Matteo Mio · Edinburgh Research Explorer · 2020 · 10 citations · Full text

Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning

Matteo Mio, Ralph Sarkis, Valeria Vignudelli · 2021 · 10 citations

, , +18

1–3 of 3