| 2007 | ||
|---|---|---|
| 4 | EE | Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Automatic Correctness Proofs for Logic Program Transformations. ICLP 2007: 364-379 |
| 2006 | ||
| 3 | EE | Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. ICLP 2006: 179-195 |
| 2005 | ||
| 2 | EE | Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Transformational Verification of Parameterized Protocols Using Array Formulas. LOPSTR 2005: 23-43 |
| 1 | EE | Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. Transformation Techniques in Software Engineering 2005 |
| 1 | Alberto Pettorossi | [1] [2] [3] [4] |
| 2 | Maurizio Proietti | [1] [2] [3] [4] |