Fabio Fioravanti

Identifiers

• name variant Fabio Fioravanti 0.60 · backfill

Papers (5)

1. Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017) cs.PL · 2017 · author #1
2. Removing Unnecessary Variables from Horn Clause Verification Conditions cs.LO · 2016 · author #2
3. Verification of Programs by Combining Iterated Specialization with Interpolation cs.LO · 2014 · author #2
4. Generalization Strategies for the Verification of Infinite State Systems cs.LO · 2011 · author #1
5. Transformation Rules for Locally Stratified Constraint Logic Programs cs.PL · 2004 · author #1

Mentions

• 1412.1151 #2 · backfill · confidence 0.70 Fabio Fioravanti
• 1110.0999 #1 · backfill · confidence 0.70 Fabio Fioravanti

Frequent Coauthors

• Maurizio Proietti 4 shared papers
• Alberto Pettorossi 3 shared papers
• Emanuele De Angelis 2 shared papers
• John P. Gallagher 1 shared papers
• Jorge A. Navas 1 shared papers
• Valerio Senni 1 shared papers