M. Mio

发表

Matteo Mio, Henryk Michalewski, Henryk Michalewski, 2016, LFCS.

Michał Skrzypczak, Matteo Mio, Henryk Michalewski, 2017, Inf. Comput..

Robert Furber, Radu Mardare, Matteo Mio, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

R. Mardare, M. Mio, Robert Furber, 2019, Log. Methods Comput. Sci..

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, 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, 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.