L. D. Alfaro
发表
Luca de Alfaro,
Marco Faella,
L. D. Alfaro,
2007,
CAV.
Thomas A. Henzinger,
Luca de Alfaro,
Mariëlle Stoelinga,
2002,
EMSOFT.
L. D. Alfaro,
1999
.
Luca de Alfaro,
L. D. Alfaro,
1999,
CONCUR.
Rupak Majumdar,
Luca de Alfaro,
L. D. Alfaro,
2001,
STOC '01.
T. Henzinger,
K. Chatterjee,
L. D. Alfaro,
2004
.
Thomas A. Henzinger,
Luca de Alfaro,
Marcin Jurdzinski,
2002,
CAV.
Andrea Bianco,
Luca de Alfaro,
L. D. Alfaro,
1995,
FSTTCS.
L. D. Alfaro,
1998
.
K. Chatterjee,
L. D. Alfaro,
M. Faella,
2007
.
L. D. Alfaro,
Michael Shavlovsky,
2014
.
L. D. Alfaro,
2013
.
L. D. Alfaro,
Michael Shavlovsky,
2012
.
Thomas A. Henzinger,
Luca de Alfaro,
Freddy Y. C. Mang,
2001,
CONCUR.
T. Henzinger,
L. D. Alfaro,
Rupak MajumdarElectrical,
2001
.
T. Henzinger,
K. Chatterjee,
L. D. Alfaro,
2008
.
T. Henzinger,
K. Chatterjee,
L. D. Alfaro,
2022
.
Z. Manna,
L. D. Alfaro,
1994
.
L. D. Alfaro,
Michael Shavlovsky,
Vassilis Polychronopoulos,
2015
.
Jens Palsberg,
Luca de Alfaro,
J. Palsberg,
2008,
EMSOFT.
L. D. Alfaro,
Yang Liu,
Reilly P. Raab,
2022,
ArXiv.
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2005,
Theoretical Computer Science.
Stephen Gilmore,
Luca de Alfaro,
S. Gilmore,
2001
.
Stephen Gilmore,
Luca de Alfaro,
S. Gilmore,
2001
.
Luca de Alfaro,
Marco Faella,
L. D. Alfaro,
2016,
ArXiv.
Thomas A. Henzinger,
Rajeev Alur,
Radu Grosu,
2001,
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Luca de Alfaro,
L. D. Alfaro,
2001,
CAV.
Paolo Rosso,
Luca de Alfaro,
Andrew G. West,
2011,
CICLing.
Luca de Alfaro,
Shenshen Liang,
L. D. Alfaro,
2020,
ICCDE.
Krishnendu Chatterjee,
César Sánchez,
Luca de Alfaro,
2010,
FASE.
Luca de Alfaro,
Michael Shavlovsky,
L. D. Alfaro,
2014,
SIGCSE.
Luca de Alfaro,
Michael Shavlovsky,
L. D. Alfaro,
2013,
ArXiv.
Christel Baier,
Luca de Alfaro,
Marta Z. Kwiatkowska,
2018,
Handbook of Model Checking.
Luca de Alfaro,
B. Thomas Adler,
L. D. Alfaro,
2007,
WWW '07.
Eugenio Tacchini,
Gabriele Ballarin,
Marco L. Della Vedova,
2017,
ArXiv.
Krishnendu Chatterjee,
Luca de Alfaro,
Marco Faella,
2008,
Int. Sym. Wikis.
Luca de Alfaro,
Marta Z. Kwiatkowska,
Gethin Norman,
2000,
TACAS.
Rupak Majumdar,
Luca de Alfaro,
Mariëlle Stoelinga,
2008,
Log. Methods Comput. Sci..
Stephen Gilmore,
Luca de Alfaro,
S. Gilmore,
2001,
Lecture Notes in Computer Science.
Krishnendu Chatterjee,
Rupak Majumdar,
Luca de Alfaro,
2008,
Log. Methods Comput. Sci..
Krishnendu Chatterjee,
Rupak Majumdar,
Luca de Alfaro,
2008,
FSTTCS.
Luca de Alfaro,
L. D. Alfaro,
2003,
CONCUR.
Radha Jagadeesan,
Luca de Alfaro,
Patrice Godefroid,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Luca de Alfaro,
L. D. Alfaro,
1997,
STACS.
Luca de Alfaro,
B. Thomas Adler,
Ian Pye,
2011,
Commun. ACM.
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2001,
CONCUR.
Elena Baralis,
Luca de Alfaro,
Eliana Pastor,
2021,
SIGMOD Conference.
Krishnendu Chatterjee,
Luca de Alfaro,
Ian Pye,
2008,
AISec '08.
Luca de Alfaro,
L. D. Alfaro,
2003,
Verification: Theory and Practice.
Thomas A. Henzinger,
Luca de Alfaro,
Freddy Y. C. Mang,
2002,
CAV.
Henny B. Sipma,
Zohar Manna,
Luca de Alfaro,
1997,
TACAS.
Thomas A. Henzinger,
Luca de Alfaro,
T. Henzinger,
2005
.
Thomas A. Henzinger,
Luca de Alfaro,
Orna Kupferman,
1998,
Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).
Massimo Di Pierro,
Eugenio Tacchini,
Gabriele Ballarin,
2019,
ArXiv.
Massimo Di Pierro,
Eugenio Tacchini,
Gabriele Ballarin,
2018,
ArXiv.
Luca de Alfaro,
Vassilis Polychronopoulos,
Rakshit Agrawal,
2016,
AAAI Workshops.
Luca de Alfaro,
Vassilis Polychronopoulos,
Michael Shavlovsky,
2015,
HCOMP.
L. D. Alfaro,
Yang Liu,
Reilly P. Raab,
2023
.
L. D. Alfaro,
Yang Liu,
Reilly P. Raab,
2022,
ArXiv.
Thomas A. Henzinger,
Luca de Alfaro,
T. Henzinger,
2001,
ESEC/FSE-9.
Edward Y. Chang,
Henny B. Sipma,
Zohar Manna,
1995,
TAPSOFT.
Luca de Alfaro,
Arjun Kapur,
L. D. Alfaro,
2003,
Theor. Comput. Sci..
Luca de Alfaro,
Angelo Raffaele Meo,
L. D. Alfaro,
1994,
IEEE Trans. Commun..
Luca de Alfaro,
Mariëlle Stoelinga,
L. D. Alfaro,
2004,
FOCLASA.
Zohar Manna,
Luca de Alfaro,
L. D. Alfaro,
1997
.
Axel Legay,
Leandro Dias da Silva,
Luca de Alfaro,
2005,
FroCoS.
Elena Baralis,
Luca de Alfaro,
Eliana Pastor,
2021,
ArXiv.
Neoklis Polyzotis,
Luca de Alfaro,
Vassilis Polychronopoulos,
2016,
IJCAI.
Neoklis Polyzotis,
Luca de Alfaro,
Hector Garcia-Molina,
2013,
WebDB.
Luca de Alfaro,
Michael Shavlovsky,
L. D. Alfaro,
2016,
EDM.
Massimo Di Pierro,
Eugenio Tacchini,
Gabriele Ballarin,
2018,
2018 22nd Conference of Open Innovations Association (FRUCT).
Luca de Alfaro,
B. Thomas Adler,
L. D. Alfaro,
2013,
TGC.
Thomas A. Henzinger,
Luca de Alfaro,
Freddy Y. C. Mang,
2000,
CONCUR.
Luca de Alfaro,
Benjamin M. Good,
Andrew I. Su,
2011,
Nucleic Acids Res..
L. D. Alfaro,
M. Faella,
2016
.
Luca de Alfaro,
Maria Daltayanni,
Ali Dasdan,
2018,
KDD.
Luca de Alfaro,
Vassilis Polychronopoulos,
Marco Faella,
2016,
ArXiv.
Luca de Alfaro,
Vassilis Polychronopoulos,
Michael Shavlovsky,
2015,
ArXiv.
Rupak Majumdar,
Luca de Alfaro,
Mariëlle Stoelinga,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Thomas A. Henzinger,
Luca de Alfaro,
Mariëlle Stoelinga,
2003,
EMSOFT.
T. Henzinger,
K. Chatterjee,
L. D. Alfaro,
2004,
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Luca de Alfaro,
Mariëlle Stoelinga,
Marco Faella,
2009,
IEEE Transactions on Software Engineering.
Luca de Alfaro,
Pritam Roy,
L. D. Alfaro,
2007,
Inf. Comput..
Krishnendu Chatterjee,
Thomas A. Henzinger,
Luca de Alfaro,
2011,
TOCL.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Luca de Alfaro,
2006,
SODA '06.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Luca de Alfaro,
2005,
ICALP.
Rupak Majumdar,
Luca de Alfaro,
L. D. Alfaro,
2004,
J. Comput. Syst. Sci..
Luca de Alfaro,
Marco Faella,
L. D. Alfaro,
2003,
ICALP.
Alberto L. Sangiovanni-Vincentelli,
Thomas A. Henzinger,
Roberto Passerone,
2002,
IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..
Thomas A. Henzinger,
Luca de Alfaro,
T. Henzinger,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
L. D. Alfaro,
2003
.
T. Henzinger,
L. D. Alfaro,
Rupak MajumdarElectrical,
2001
.
Thomas A. Henzinger,
Luca de Alfaro,
T. Henzinger,
2001
.
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2003,
ICALP.
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2005,
Theor. Comput. Sci..
Parosh Aziz Abdulla,
Sven Sandberg,
Noomene Ben Henda,
2008,
FoSSaCS.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Rupak Majumdar,
2006,
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Luca de Alfaro,
J. J. Garcia-Luna-Aceves,
Molly Zhang,
2022,
Comput. Commun..
Luca de Alfaro,
Mariëlle Stoelinga,
Marco Faella,
2004,
ICALP.
Luca de Alfaro,
Maria Daltayanni,
Panagiotis Papadimitriou,
2015,
WSDM.
Elena Baralis,
Luca de Alfaro,
Eliana Pastor,
2021,
Proc. VLDB Endow..
Luca de Alfaro,
Ali Adabi,
L. D. Alfaro,
2012,
OTM Workshops.
Rupak Majumdar,
Luca de Alfaro,
Marco Faella,
2005,
Formal Methods Syst. Des..
L. D. Alfaro,
P. Abdulla,
N. B. Henda,
2008,
Foundations of Software Science and Computation Structure.
Luca de Alfaro,
Marco Faella,
B. Thomas Adler,
2005,
FORMATS.
L. D. Alfaro,
M. Faella,
Axel Legay,
2005,
FroCoS.
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2003,
CONCUR.
T. Henzinger,
L. D. Alfaro,
Marielle Stoelinga,
2002,
EMSOFT.
Thomas A. Henzinger,
Luca de Alfaro,
T. Henzinger,
2001,
EMSOFT.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Luca de Alfaro,
2006,
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Luca de Alfaro,
L. D. Alfaro,
1998,
CONCUR.
Luca de Alfaro,
L. D. Alfaro,
1998,
LICS.
Luca de Alfaro,
L. D. Alfaro,
1998,
PROBMIV.
L. D. Alfaro,
L. de Alfaro,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
L. D. Alfaro,
Eliana Pastor,
Giuseppe Attanasio,
2022
.
Zohar Manna,
Luca de Alfaro,
Z. Manna,
1995,
AMAST.
L. D. Alfaro,
UC Santa,
Cruz,
2022
.
Luca de Alfaro,
Pritam Roy,
Gethin Norman,
2008,
2008 Fifth International Conference on Quantitative Evaluation of Systems.
Luca de Alfaro,
Pritam Roy,
L. D. Alfaro,
2007,
CAV.