Follow
Marco Comini
Marco Comini
Associate Professor of Computer Science, University of Udine
Verified email at uniud.it - Homepage
Title
Cited by
Cited by
Year
Abstract diagnosis
M Comini, G Levi, MC Meo, G Vitiello
The Journal of Logic Programming 39 (1-3), 43-93, 1999
1001999
Proving properties of logic programs by abstract diagnosis
M Comini, G Levi, MC Meo, G Vitiello
LOMAPS workshop on Analysis and Verification of Multiple-Agent Languages, 22-50, 1996
541996
A theory of observables for logic programs
M Comini, G Levi, MC Meo
Information and Computation 169 (1), 23-80, 2001
502001
Declarative Diagnosis Revisited.
M Comini, G Levi, G Vitiello
ILPS 95, 275-287, 1995
471995
An Algebraic Theory of Observables.
M Comini, G Levi
ILPS, 172-186, 1994
441994
Abstract diagnosis of functional programs
M Alpuente, M Comini, S Escobar, M Falaschi, S Lucas
International Workshop on Logic-Based Program Synthesis and Transformation, 1-16, 2002
412002
Abstract debugging of logic programs
M Comini, G Levi, G Vitiello
Logic Program Synthesis and Transformation—Meta-Programming in Logic, 440-450, 1994
401994
A rule-based method to match software patterns against UML models
D Ballis, A Baruzzo, M Comini
Electronic Notes in Theoretical Computer Science 219, 51-66, 2008
342008
Compositionality properties of SLD-derivations
M Comini, MC Meo
Theoretical Computer Science 211 (1-2), 275-309, 1999
281999
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs.
M Comini, G Levi, G Vitiello
AADEBUG, 159-174, 1995
271995
A minimalist visual notation for design patterns and antipatterns
D Ballis, A Baruzzo, M Comini
Fifth International Conference on Information Technology: New Generations …, 2008
24*2008
Abstract diagnosis for timed concurrent constraint programs
M Comini, L Titolo, A Villanueva
Theory and Practice of Logic Programming 11 (4-5), 487-502, 2011
222011
Compositionality in SLD-Derivations and their Abstractions.
M Comini, G Levi, MC Meo
ILPS, 561-575, 1995
221995
An abstract interpretation framework for Semantics and Diagnosis of logic programs
M Comini
BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 65, 244-246, 1998
201998
Static verification of UML model consistency
A Baruzzo, M Comini
Proc. 3rd Workshop Model Design and Validation, 111-126, 2006
192006
Abstract interpretation based verification of logic programs
M Comini, R Gori, G Levi, P Volpe
Electronic Notes in Theoretical Computer Science 30 (1), 22-38, 1999
161999
Automatic synthesis of specifications for first order Curry programs
G Bacci, M Comini, MA Feliú, A Villanueva
Proceedings of the 14th symposium on Principles and practice of declarative …, 2012
142012
Abstract diagnosis of first order functional logic programs
G Bacci, M Comini
International Symposium on Logic-Based Program Synthesis and Transformation …, 2010
132010
Diagnosis of CHIP Programs Using Type Information.
M Comini, W Drabent, P Pietrzak
Appia-Gulp-Prode 99, 337-349, 1999
121999
Abstract interpretation based verification of logic programs
M Comini, R Gori, G Levi, P Volpe
Science of Computer Programming 49 (1-3), 89-123, 2003
112003
The system can't perform the operation now. Try again later.
Articles 1–20