(2) DICII

Identifiers

No identifiers captured yet.

Papers (4)

1. Solving Horn Clauses on Inductive Data Types Without Induction cs.LO · 2018 · author #8
2. Enhancing Predicate Pairing with Abstraction for Relational Verification cs.LO · 2017 · author #8
3. Predicate Pairing for Program Verification cs.LO · 2017 · author #8
4. Verification of Time-Aware Business Processes using Constrained Horn Clauses cs.LO · 2016 · author #9

Mentions

No mention provenance yet.

Frequent Coauthors

• Alberto Pettorossi (2) 4 shared papers
• Emanuele De Angelis (1) 4 shared papers
• Fabio Fioravanti (1) 4 shared papers
• Italy 4 shared papers
• Italy) 4 shared papers
• Maurizio Proietti (3) ((1) DEC 4 shared papers
• Pescara 3 shared papers
• Roma 3 shared papers
• University G. d'Annunzio 3 shared papers
• University of Rome Tor Vergata 3 shared papers
• (3) CNR-IASI 2 shared papers
• (3) IASI-CNR 2 shared papers
• Chieti-Pescara 1 shared papers
• Maria Chiara Meo (1) 1 shared papers
• Rome 1 shared papers
• Universita' di Roma Tor Vergata 1 shared papers
• University G. D'Annunzio of Chieti-Pescara 1 shared papers