| |
| 2003 | ||
|---|---|---|
| 11 | EE | Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe: Abstract interpretation based verification of logic programs. Sci. Comput. Program. 49(1-3): 89-123 (2003) |
| 2001 | ||
| 10 | Paolo Volpe: A first-order language for expressing sharing and type properties of logic programs. Sci. Comput. Program. 39(1): 125-148 (2001) | |
| 1999 | ||
| 9 | EE | Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe: Abstract Interpretation based Verification of Logic Programs. Electr. Notes Theor. Comput. Sci. 30(1): (1999) |
| 1998 | ||
| 8 | Giorgio Levi, Paolo Volpe: Derivation of Proof Methods by Abstract Interpretation. APPIA-GULP-PRODE 1998: 283-292 | |
| 7 | Paolo Volpe: A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs. APPIA-GULP-PRODE 1998: 293-302 | |
| 6 | EE | Giorgio Levi, Paolo Volpe: Derivation of Proof Methods by Abstract Interpretation. PLILP/ALP 1998: 102-117 |
| 5 | EE | Paolo Volpe: A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs. SAS 1998: 184-199 |
| 1996 | ||
| 4 | Paolo Volpe: Abstractions of Uniform Proofs. ALP 1996: 224-237 | |
| 3 | Paolo Volpe: Abstract Interpretation for Uniform Proof Systems. APPIA-GULP-PRODE 1996: 465-480 | |
| 1994 | ||
| 2 | Paolo Volpe: Concurrent Logic Programming as Uniform Linear Proofs. ALP 1994: 133-149 | |
| 1 | Paolo Volpe: Semantics of Concurrent Logic Programming as Uniform Proofs. GULP-PRODE (1) 1994: 107-124 | |
| 1 | Marco Comini | [9] [11] |
| 2 | Roberta Gori | [9] [11] |
| 3 | Giorgio Levi | [6] [8] [9] [11] |