Marco Comini

	2011
32		Marco Comini, Laura Titolo, Alicia Villanueva: Abstract Diagnosis for Timed Concurrent Constraint programs CoRR abs/1109.1587: (2011)
31		Marco Comini, Laura Titolo, Alicia Villanueva: Abstract diagnosis for timed concurrent constraint programs. TPLP 11(4-5): 487-502 (2011)
	2010
30		Giovanni Bacci, Marco Comini: Abstract Diagnosis of First Order Functional Logic Programs. LOPSTR 2010: 215-233
29		María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra: A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. 411(37): 3348-3371 (2010)
	2008
28		Andrea Baruzzo, Marco Comini: A Methodology for UML Models V&V. ICST 2008: 513-516
27		Demis Ballis, Andrea Baruzzo, Marco Comini: A Minimalist Visual Notation for Design Patterns and Antipatterns. ITNG 2008: 51-56
26		Marco Comini, Ferruccio Damiani, Samuel Vrech: On Polymorphic Recursion, Type Systems, and Abstract Interpretation. SAS 2008: 144-158
25		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		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		María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Diagnosis of Functional Programs. LOPSTR 2002: 1-16
22		Marco Comini, Moreno Falaschi: Preface. Electr. Notes Theor. Comput. Sci. 76: 269-270 (2002)
	2001
21		Marco Comini, Roberta Gori, Giorgio Levi: How to Transform an Analyzer into a Verifier. LPAR 2001: 595-609
20		Marco Comini, Roberta Gori, Giorgio Levi: Logic programs as specifications in the inductive verification of logic programs. Electr. Notes Theor. Comput. Sci. 48: 131-146 (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		Marco Comini, Roberta Gori, Giorgio Levi: Assertion based Inductive Verification Methods for Logic Programs. Electr. Notes Theor. Comput. Sci. 40: 52-69 (2000)
	1999
17		Marco Comini, Wlodzimierz Drabent, Pawel Pietrzak: Diagnosis of CHIP Programs Using Type Information. APPIA-GULP-PRODE 1999: 337-350
16		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)
15		Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello: Abstract Diagnosis. J. Log. Program. 39(1-3): 43-93 (1999)
14		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		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] [29]
2	Giovanni Bacci	[30]
3	Roberto Bagnara	[11]
4	Demis Ballis	[25] [27]
5	Andrea Baruzzo	[25] [27] [28]
6	Ferruccio Damiani	[26]
7	Wlodzimierz Drabent (Wlodek Drabent)	[12] [17]
8	Mireille Ducassé	[12]
9	Santiago Escobar	[23] [29]
10	Massimo Fabris	[12]
11	Moreno Falaschi	[22] [23] [29]
12	Roberta Gori	[16] [18] [20] [21] [24]
13	José Iborra	[29]
14	Giorgio Levi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [13] [15] [16] [18] [19] [20] [21] [24]
15	Salvador Lucas	[23]
16	Maria Chiara Meo	[4] [7] [10] [14] [15] [19]
17	Pawel Pietrzak	[17]
18	Germán Puebla (German Puebla)	[12]
19	Christian Schulte	[12]
20	Francesca Scozzari	[11]
21	Laura Titolo	[31] [32]
22	Alicia Villanueva	[31] [32]
23	Giuliana Vitiello	[2] [5] [6] [8] [9] [10] [13] [15]
24	Paolo Volpe	[16] [24]
25	Samuel Vrech	[26]
26	Enea Zaffanella	[11]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page