2008 |
5 | EE | Valerio Senni,
Alberto Pettorossi,
Maurizio Proietti:
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs.
ICLP 2008: 284-300 |
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 |