dblp.uni-trier.dewww.uni-trier.de

Marco Comini Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
28EEAndrea Baruzzo, Marco Comini: A Methodology for UML Models V&V. ICST 2008: 513-516
27EEDemis Ballis, Andrea Baruzzo, Marco Comini: A Minimalist Visual Notation for Design Patterns and Antipatterns. ITNG 2008: 51-56
26EEMarco Comini, Ferruccio Damiani, Samuel Vrech: On Polymorphic Recursion, Type Systems, and Abstract Interpretation. SAS 2008: 144-158
25EEDemis 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
24EEMarco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe: Abstract interpretation based verification of logic programs. Sci. Comput. Program. 49(1-3): 89-123 (2003)
2002
23EEMaría Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Diagnosis of Functional Programs. LOPSTR 2002: 1-16
22EEMarco Comini, Moreno Falaschi: Preface. Electr. Notes Theor. Comput. Sci. 76: (2002)
2001
21EEMarco Comini, Roberta Gori, Giorgio Levi: How to Transform an Analyzer into a Verifier. LPAR 2001: 595-609
20EEMarco 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
18EEMarco 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
16EEMarco 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)
14EEMarco 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
10EEMarco 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)