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