Paolo Volpe

	2003
11		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		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		Giorgio Levi, Paolo Volpe: Derivation of Proof Methods by Abstract Interpretation. PLILP/ALP 1998: 102-117
5		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

Coauthor Index

1	Marco Comini	[9] [11]
2	Roberta Gori	[9] [11]
3	Giorgio Levi	[6] [8] [9] [11]