Marco Comini Vis

*	2008
28	EE	Andrea Baruzzo, Marco Comini: A Methodology for UML Models V&V. ICST 2008: 513-516
27	EE	Demis Ballis, Andrea Baruzzo, Marco Comini: A Minimalist Visual Notation for Design Patterns and Antipatterns. ITNG 2008: 51-56
26	EE	Marco Comini, Ferruccio Damiani, Samuel Vrech: On Polymorphic Recursion, Type Systems, and Abstract Interpretation. SAS 2008: 144-158
25	EE	Demis Ballis, Andrea Baruzzo, Marco Comini: A Rule-based Method to Match Software Patterns Against UML Models. Electr. Notes Theor. Comput. Sci. 219: 51-66 (2008)
	2003
24	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)
	2002
23	EE	María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Diagnosis of Functional Programs. LOPSTR 2002: 1-16
22	EE	Marco Comini, Moreno Falaschi: Preface. Electr. Notes Theor. Comput. Sci. 76: (2002)
	2001
21	EE	Marco Comini, Roberta Gori, Giorgio Levi: How to Transform an Analyzer into a Verifier. LPAR 2001: 595-609
20	EE	Marco Comini, Roberta Gori, Giorgio Levi: Logic programs as specifications in the inductive verification of logic programs. Electr. Notes Theor. Comput. Sci. 48: (2001)
19		Marco Comini, Giorgio Levi, Maria Chiara Meo: A Theory of Observables for Logic Programs. Inf. Comput. 169(1): 23-80 (2001)
	2000
18	EE	Marco Comini, Roberta Gori, Giorgio Levi: Assertion based Inductive Verification Methods for Logic Programs. Electr. Notes Theor. Comput. Sci. 40: (2000)
	1999
17		Marco Comini, Wlodzimierz Drabent, Pawel Pietrzak: Diagnosis of CHIP Programs Using Type Information. APPIA-GULP-PRODE 1999: 337-350
16	EE	Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe: Abstract Interpretation based Verification of Logic Programs. Electr. Notes Theor. Comput. Sci. 30(1): (1999)
15		Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello: Abstract Diagnosis. J. Log. Program. 39(1-3): 43-93 (1999)
14	EE	Marco Comini, Maria Chiara Meo: Compositionality Properties of SLD-Derivations. Theor. Comput. Sci. 211(1-2): 275-309 (1999)
	1998
13		Marco Comini, Giorgio Levi, Giuliana Vitiello: Modular Abstract Diagnosis. APPIA-GULP-PRODE 1998: 409-420
	1997
12		Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte: Tools and Environments for (Constraint) Logic Programming (Workshop Overview). ILPS 1997: 417-418
	1996
11		Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella: The And-compositionality of CLP Computed Answer Constraints. APPIA-GULP-PRODE 1996: 355-366
10	EE	Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello: Proving Properties of Logic Programs by Abstract Diagnosis. LOMAPS 1996: 22-50
	1995
9		Marco Comini, Giorgio Levi, Giuliana Vitiello: Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. AADEBUG 1995: 159-174
8		Giorgio Levi, Marco Comini, Giuliana Vitiello: On the Abstract Diagnosis of Logic Programs. GULP-PRODE 1995: 41-60
7		Marco Comini, Giorgio Levi, Maria Chiara Meo: Compositionality in SLD-derivations and their Abstractions. GULP-PRODE 1995: 533-544
6		Marco Comini, Giorgio Levi, Giuliana Vitiello: Declarative Diagnosis Revisited. GULP-PRODE 1995: 607-618
5		Marco Comini, Giorgio Levi, Giuliana Vitiello: Declarative Diagnosis Revisited. ILPS 1995: 275-287
4		Marco Comini, Giorgio Levi, Maria Chiara Meo: Compositionality in SLD-Derivations and their Abstractions. ILPS 1995: 561-575
	1994
3		Marco Comini, Giorgio Levi: An Algebraic Theory of Observables. GULP-PRODE (1) 1994: 170-186
2		Marco Comini, Giorgio Levi, Giuliana Vitiello: Abstract Debugging of Logic Program. META 1994: 440-450
1		Marco Comini, Giorgio Levi: An Algebraic Theory of Observables. SLP 1994: 172-186

Coauthor Index

1	María Alpuente	[23]
2	Roberto Bagnara	[11]
3	Demis Ballis	[25] [27]
4	Andrea Baruzzo	[25] [27] [28]
5	Ferruccio Damiani	[26]
6	Wlodzimierz Drabent (Wlodek Drabent)	[12] [17]
7	Mireille Ducassé	[12]
8	Santiago Escobar	[23]
9	Massimo Fabris	[12]
10	Moreno Falaschi	[22] [23]
11	Roberta Gori	[16] [18] [20] [21] [24]
12	Giorgio Levi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [13] [15] [16] [18] [19] [20] [21] [24]
13	Salvador Lucas	[23]
14	Maria Chiara Meo	[4] [7] [10] [14] [15] [19]
15	Pawel Pietrzak	[17]
16	Germán Puebla (German Puebla)	[12]
17	Christian Schulte	[12]
18	Francesca Scozzari	[11]
19	Giuliana Vitiello	[2] [5] [6] [8] [9] [10] [13] [15]
20	Paolo Volpe	[16] [24]
21	Samuel Vrech	[26]
22	Enea Zaffanella	[11]

Colors in the list of coauthors