Matias David Lee
发表
Mario Bravetti,
Frank S. de Boer,
Gianluigi Zavattaro,
2018,
Fundam. Informaticae.
Erik P. de Vink,
Matias David Lee,
2015,
QAPL.
Matias David Lee,
Pedro R. D'Argenio,
Daniel Gebler,
2015,
EXPRESS/SOS.
Matias David Lee,
Nicolás Wolovick,
Pedro R. D'Argenio,
2017,
ModelEd, TestEd, TrustEd.
Matias David Lee,
Pedro R. D'Argenio,
Daniel Gebler,
2014,
FoSSaCS.
Mario Bravetti,
Frank S. de Boer,
Gianluigi Zavattaro,
2012,
FACS.
Matias David Lee,
Pedro R. D'Argenio,
Daniel Gebler,
2016,
Inf. Comput..
Erik P. de Vink,
Matias David Lee,
2016,
MFCS.
Jurriaan Rot,
Filippo Bonchi,
Matias David Lee,
2017,
FSEN.
Tree rules in probabilistic transition system specifications with negative and quantitative premises
Matias David Lee,
Pedro R. D'Argenio,
Daniel Gebler,
2012,
EXPRESS/SOS.
Bas Luttik,
Matias David Lee,
2016,
EXPRESS/SOS.
Pierre L'Ecuyer,
Matias David Lee,
Gerardo Rubino,
2010
.
Jurriaan Rot,
Filippo Bonchi,
Matias David Lee,
2017,
FSEN.
Matias David Lee,
Pedro R. D'Argenio,
Raúl E. Monti,
2016,
FORMATS.
Matias David Lee,
Pedro R. D'Argenio,
M. Lee,
2010,
FESCA@ETAPS.
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,
2012,
FoSSaCS.
Matias David Lee,
Pedro R. D'Argenio,
M. Lee,
2011,
CLEI Electron. J..