- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| j3 |      | 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 | ||
| j2 | | Paolo Volpe: A first-order language for expressing sharing and type properties of logic programs. Sci. Comput. Program. 39(1): 125-148 (2001) |
| 1999 | ||
| j1 | | Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe: Abstract Interpretation based Verification of Logic Programs. Electr. Notes Theor. Comput. Sci. 30(1): 22-38 (1999) |
| 1998 | ||
| c8 |  | Giorgio Levi, Paolo Volpe: Derivation of Proof Methods by Abstract Interpretation. APPIA-GULP-PRODE 1998: 283-292 |
| c7 | | Paolo Volpe: A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs. APPIA-GULP-PRODE 1998: 293-302 |
| c6 | | Giorgio Levi, Paolo Volpe: Derivation of Proof Methods by Abstract Interpretation. PLILP/ALP 1998: 102-117 |
| c5 | | Paolo Volpe: A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs. SAS 1998: 184-199 |
| 1996 | ||
| c4 | | |
| c3 | | |
| 1994 | ||
| c2 | | Paolo Volpe: Semantics of Concurrent Logic Programming as Uniform Proofs. GULP-PRODE (1) 1994: 107-124 |
| c1 | | |
| 1 | Marco Comini | |
| 2 | Roberta Gori | |
| 3 | Giorgio Levi |
Data released under the ODC-BY 1.0 license — See also our legal information page