M. Mio
发表
Matteo Mio,
Henryk Michalewski,
Henryk Michalewski,
2016,
LFCS.
Michał Skrzypczak,
Matteo Mio,
Henryk Michalewski,
2017,
Inf. Comput..
M. Mio,
2012
.
Robert Furber,
Radu Mardare,
Matteo Mio,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
A. Simpson,
M. Mio,
2017
.
R. Mardare,
M. Mio,
Robert Furber,
2019,
Log. Methods Comput. Sci..
Matteo Mio,
M. Mio,
2013,
ArXiv.
Matteo Mio,
Valeria Vignudelli,
M. Mio,
2020,
CONCUR.
R. Mardare,
M. Mio,
Robert Furber,
2019,
Log. Methods Comput. Sci..
Matteo Mio,
Christophe Lucas,
M. Mio,
2020,
Log. Methods Comput. Sci..
Matteo Mio,
Christophe Lucas,
M. Mio,
2021,
RAMiCS.
Matteo Mio,
Christophe Lucas,
M. Mio,
2019,
FoSSaCS.
Matteo Mio,
M. Mio,
2018,
LICS.
Matteo Mio,
M. Mio,
2014,
FoSSaCS.
Matteo Mio,
Alex K. Simpson,
A. Simpson,
2013,
FICS.
Matteo Mio,
Alex Simpson,
A. Simpson,
2013
.
Matteo Mio,
M. Mio,
2011,
Log. Methods Comput. Sci..
Matteo Mio,
Alex K. Simpson,
A. Simpson,
2017,
Fundam. Informaticae.
Silvia Crafa,
Carla Piazza,
Sabina Rossi,
2008,
2008 8th International Conference on Application of Concurrency to System Design.
Silvia Crafa,
Sabina Rossi,
Marino Miculan,
2008
.
Matteo Mio,
M. Mio,
2012,
FICS.
Matteo Mio,
Valeria Vignudelli,
Ralph Sarkis,
2022,
LICS.
Matteo Mio,
Valeria Vignudelli,
Ralph Sarkis,
2020,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
M. Mio,
Ralph Sarkis,
Valeria Vignudelli,
2023,
2304.14361.