Fabio Fioravanti
发表
Fabio Fioravanti,
M Helmer Citterich,
Enrico Nardelli,
2011
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2004,
Program Development in Computational Logic.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2020,
IJCAR.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2001,
LOPSTR.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2015,
PPDP.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2015,
Theory and Practice of Logic Programming.
Stefano Bistarelli,
Francesco Santini,
Fabio Fioravanti,
2012,
J. Exp. Theor. Artif. Intell..
Fabio Fioravanti,
Enrico Nardelli,
Maurizio Talamo,
2003,
2003 Symposium on Applications and the Internet, 2003. Proceedings..
John P. Gallagher,
Fabio Fioravanti,
Maurizio Proietti,
2020,
Fundam. Informaticae.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2013,
Fundam. Informaticae.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2019,
Theory Pract. Log. Program..
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2019,
Fundam. Informaticae.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2013,
PEPM '13.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2017,
Sci. Comput. Program..
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2019,
TAP@FM.
John P. Gallagher,
Fabio Fioravanti,
2017,
Lecture Notes in Computer Science.
Nikolaj Bjørner,
Fabio Fioravanti,
Andrey Rybalchenko,
2014
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2011,
Fundam. Informaticae.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2011
.
Fabio Fioravanti,
2001,
CP.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2013,
Festschrift for Dave Schmidt.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2012,
LOPSTR.
Stefano Bistarelli,
Fabio Fioravanti,
Pamela Peretti,
2006,
First International Conference on Availability, Reliability and Security (ARES'06).
Fabio Fioravanti,
Enrico Nardelli,
Maurizio Talamo,
2005,
EGOV.
Fabio Fioravanti,
Andrey Rybalchenko,
Valerio Senni,
2014
.
Fabio Fioravanti,
Enrico Nardelli,
Maurizio Talamo,
2003,
I3E.
Fabio Fioravanti,
Valerio Senni,
F. Fioravanti,
2012,
TAP@TOOLS.
Fabio Fioravanti,
Enrico Nardelli,
Maurizio Talamo,
2004,
GSEM.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2019,
CILC.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2011,
Theory and Practice of Logic Programming.
Fabio Fioravanti,
Enrico Nardelli,
Manuela Helmer-Citterich,
2012,
BMC Bioinformatics.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2017,
Theory and Practice of Logic Programming.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2000,
LOPSTR.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2014,
CILC.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2015
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2018,
HCVS.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2014,
VMCAI.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2016,
HCVS@ETAPS.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2017,
ArXiv.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2015,
Fundam. Informaticae.
Fabio Fioravanti,
Emanuele De Angelis,
Maurizio Proietti,
2020,
VPT/HCVS@ETAPS.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2013,
CILC.
Fabio Fioravanti,
Enrico Nardelli,
Maurizio Talamo,
2004,
EGOV.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2019,
VPT@Programming.
Fabio Fioravanti,
Enrico Nardelli,
Maurizio Talamo,
2004,
DG.O.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2012,
CILC.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2011,
RP.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2011,
Intelligenza Artificiale.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
1999,
Electron. Notes Theor. Comput. Sci..
Fabio Fioravanti,
Maurizio Proietti,
Valerio Senni,
2015,
J. Log. Comput..
Jorge A. Navas,
Fabio Fioravanti,
Maurizio Proietti,
2014,
HCVS.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2016,
CILC.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2004,
MSRAS.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2014,
Sci. Comput. Program..
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2013,
VPT@CAV.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2011,
LOPSTR.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2011,
CILC.
Alberto Pettorossi,
Fabio Fioravanti,
Gianfranco Rossi,
2013,
Fundam. Informaticae.
Fabio Fioravanti,
Maurizio Proietti,
A. Pettorossi,
2016
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2018,
Theory and Practice of Logic Programming.
Vittorio Bilò,
Alfredo Navarra,
Fabio Fioravanti,
2003,
Proceedings International Parallel and Distributed Processing Symposium.
Stefano Bistarelli,
Fabio Fioravanti,
Pamela Peretti,
2007,
SAC '07.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2014,
TACAS.
Fabio Fioravanti,
Maurizio Proietti,
1999,
APPIA-GULP-PRODE.
Fabio Fioravanti,
Enrico Nardelli,
Maurizio Talamo,
2004,
14th International Workshop Research Issues on Data Engineering: Web Services for e-Commerce and e-Government Applications, 2004. Proceedings..
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2017,
RuleML+RR.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2002,
LOPSTR.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2017,
LOPSTR.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2014
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2016,
SAS.
Fabio Fioravanti,
Enrico Nardelli,
2008,
Digital Government.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2010,
LOPSTR.
Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)
pdf
John P. Gallagher,
Fabio Fioravanti,
2017,
ArXiv.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2016,
LOPSTR.
Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach
pdf
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2021,
J. Log. Comput..
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2001
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2022
.
Alberto Pettorossi,
Fabio Fioravanti,
Maurizio Proietti,
2020,
IJCAR.