Enea Zaffanella
发表
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
1999,
APPIA-GULP-PRODE.
Enea Zaffanella,
Anna Becchi,
2018,
SAS.
Enric Rodríguez-Carbonell,
Roberto Bagnara,
Enea Zaffanella,
2005,
SAS.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2000,
LPAR.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2005
.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2009,
Formal Methods Syst. Des..
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2005,
International Journal on Software Tools for Technology Transfer.
Enea Zaffanella,
Anna Becchi,
E. Zaffanella,
2019,
SAS.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2002,
SAS.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2003,
SAS.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2005,
Formal Aspects of Computing.
Roberto Giacobazzi,
Giorgio Levi,
Enea Zaffanella,
1994,
J. Funct. Log. Program..
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
1997,
SAS.
Enea Zaffanella,
E. Zaffanella,
1995,
CP.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2001,
APPIA-GULP-PRODE.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2007,
ArXiv.
Alessandro Cimatti,
Enea Zaffanella,
Anna Becchi,
2020,
SEFM.
Roberto Bagnara,
Enea Zaffanella,
Marco Comini,
1996,
APPIA-GULP-PRODE.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2004
.
Frédéric Mesnard,
Roberto Bagnara,
Enea Zaffanella,
2012,
Inf. Comput..
Enea Zaffanella,
2018,
Electron. Notes Theor. Comput. Sci..
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2004,
VMCAI.
Enea Zaffanella,
E. Zaffanella,
2001
.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2004,
Theory and Practice of Logic Programming.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2007,
Int. J. Softw. Tools Technol. Transf..
Enea Zaffanella,
Anna Becchi,
2017,
ArXiv.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2009,
Comput. Geom..
Enea Zaffanella,
Anna Becchi,
E. Zaffanella,
2018,
CAV.
Applications of polyhedral computations to the analysis and verification of hardware and software systems
pdf
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2007,
Theor. Comput. Sci..
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2000,
PPDP '00.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
1998,
SAS.
Frédéric Mesnard,
Roberto Bagnara,
Enea Zaffanella,
2010,
ArXiv.
Gianluca Amato,
Enea Zaffanella,
Francesca Scozzari,
2014,
Electron. Notes Theor. Comput. Sci..
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2002,
Theory Pract. Log. Program..
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2006,
Sci. Comput. Program..
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
1997,
APPIA-GULP-PRODE.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2007,
VMCAI.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2006,
LOPSTR.
Lei Bu,
Alessandro Abate,
Dieky Adzkiya,
2018,
ARCH@ADHS.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2005,
SAS.
Lei Bu,
Dieky Adzkiya,
Goran Frehse,
2019,
ARCH@CPSIoTWeek.
Enea Zaffanella,
Anna Becchi,
2020,
Inf. Comput..
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2007,
ArXiv.
Roberto Bagnara,
Enea Zaffanella,
Alessandro Zaccagnini,
2005,
ArXiv.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2001,
Theory and Practice of Logic Programming.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
1999,
SAS.
Enea Zaffanella,
1996,
APPIA-GULP-PRODE.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
1999,
APPIA-GULP-PRODE.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2003,
Sci. Comput. Program..
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
1997,
Theor. Comput. Sci..
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2001,
APPIA-GULP-PRODE.
Alessandro Cimatti,
Enea Zaffanella,
Anna Becchi,
2021,
OVERLAY@GandALF.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2007
.
Roberto Bagnara,
Enea Zaffanella,
Andrea Pescetti,
2010
.