M. Cimini
发表
Ronald Garcia,
M. Cimini,
2017
.
Jeremy G. Siek,
Michael M. Vitousek,
M. Cimini,
2015
.
Luca Aceto,
Anna Ingólfsdóttir,
Mohammad Reza Mousavi,
2012
.
Davide Sangiorgi,
Claudio Sacerdoti Coen,
Matteo Cimini,
2010
.
D. Sangiorgi,
C. Coen,
M. Cimini,
2010
.
Arni Hermann Reynisson,
Steinar Hugi Sigurdarson,
M. Sirjani,
2011
.
M. Cimini,
2022,
ICE.
M. Cimini,
2022,
SLE.
Luca Aceto,
Anna Ingólfsdóttir,
Mohammad Reza Mousavi,
2011,
Theor. Comput. Sci..
Luca Aceto,
Anna Ingólfsdóttir,
Mohammad Reza Mousavi,
2011,
LATA.
Luca Aceto,
Anna Ingólfsdóttir,
Matteo Cimini,
2012,
Mathematical Structures in Computer Science.
Matteo Cimini,
M. Cimini,
2012
.
Luca Aceto,
Anna Ingólfsdóttir,
Matteo Cimini,
2010,
SOS.
Matteo Cimini,
Benjamin Mourad,
M. Cimini,
2021,
EXPRESS/SOS.
John Tang Boyland,
Jeremy G. Siek,
Matteo Cimini,
2015,
SNAPL.
Luca Aceto,
Anna Ingólfsdóttir,
Marjan Sirjani,
2011,
Sci. Comput. Program..
M. Cimini,
2023,
PLACES@ETAPS.
Luca Aceto,
Anna Ingólfsdóttir,
Mohammad Reza Mousavi,
2010,
MFPS.
Sam Tobin-Hochstadt,
Jeremy G. Siek,
Matteo Cimini,
2015,
ESOP.
Matteo Cimini,
Ronald Garcia,
Ronald Garcia,
2015,
POPL.
Davide Sangiorgi,
Claudio Sacerdoti Coen,
Matteo Cimini,
2010,
TGC.
Matteo Cimini,
M. Cimini,
2019,
ICE.
Jeremy G. Siek,
Matteo Cimini,
M. Cimini,
2017,
POPL.
Jeremy G. Siek,
Matteo Cimini,
M. Cimini,
2016,
POPL.
Holger Hermanns,
Ehsan Khamespanah,
Marjan Sirjani,
2016,
Sci. Comput. Program..