M. Lee
发表
F. S. Boer,
M. Steffen,
G. Zavattaro,
2012
.
M. Lee,
P. D'Argenio,
2009
.
Pierre L'Ecuyer,
Matias David Lee,
Gerardo Rubino,
2010
.
Matias David Lee,
Pedro R. D'Argenio,
Raúl E. Monti,
2016,
FORMATS.
Matias David Lee,
Pedro R. D'Argenio,
Daniel Gebler,
2016,
Inf. Comput..
Matias David Lee,
Pedro R. D'Argenio,
Daniel Gebler,
2015,
EXPRESS/SOS.
Matias David Lee,
Pedro R. D'Argenio,
Daniel Gebler,
2014,
FoSSaCS.
Tree rules in probabilistic transition system specifications with negative and quantitative premises
Matias David Lee,
Pedro R. D'Argenio,
Daniel Gebler,
2012,
EXPRESS/SOS.
Matias David Lee,
Pedro R. D'Argenio,
M. Lee,
2012,
FoSSaCS.
Matias David Lee,
Nicolás Wolovick,
Pedro R. D'Argenio,
2017,
ModelEd, TestEd, TrustEd.
Matias David Lee,
Pedro R. D'Argenio,
M. Lee,
2011,
CLEI Electron. J..
Matias David Lee,
Pedro R. D'Argenio,
M. Lee,
2010,
2010 XXIX International Conference of the Chilean Computer Science Society.
Matias David Lee,
Pedro R. D'Argenio,
M. Lee,
2010,
FESCA@ETAPS.
Jurriaan Rot,
Filippo Bonchi,
Matias David Lee,
2017,
FSEN.