Segui
Marco Comini
Marco Comini
Associate Professor of Computer Science, University of Udine
Email verificata su uniud.it - Home page
Titolo
Citata da
Citata da
Anno
Abstract diagnosis
M Comini, G Levi, MC Meo, G Vitiello
The Journal of Logic Programming 39 (1-3), 43-93, 1999
1011999
Proving properties of logic programs by abstract diagnosis
M Comini, G Levi, MC Meo, G Vitiello
Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop …, 1997
551997
A theory of observables for logic programs
M Comini, G Levi, MC Meo
Information and Computation 169 (1), 23-80, 2001
532001
Declarative Diagnosis Revisited.
M Comini, G Levi, G Vitiello
ILPS 95, 275-287, 1995
481995
An Algebraic Theory of Observables.
M Comini, G Levi
ILPS, 172-186, 1994
451994
Abstract debugging of logic programs
M Comini, G Levi, G Vitiello
International Workshop on Meta-Programming in Logic, 440-450, 1994
431994
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
422002
Compositionality properties of SLD-derivations
M Comini, MC Meo
Theoretical Computer Science 211 (1-2), 275-309, 1999
361999
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
352008
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
Compositionality in SLD-Derivations and their Abstractions.
M Comini, G Levi, MC Meo
ILPS, 561-575, 1995
231995
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
212011
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
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
162012
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
Abstract diagnosis of first order functional logic programs
G Bacci, M Comini
International Symposium on Logic-Based Program Synthesis and Transformation …, 2010
132010
Abstract diagnosis for tccp using a linear temporal logic
M Comini, L Titolo, A Villanueva
Theory and Practice of Logic Programming 14 (4-5), 787-801, 2014
122014
Assertion based inductive verification methods for logic programs
M Comini, R Gori, G Levi
Electronic Notes in Theoretical Computer Science 40, 52-69, 2001
122001
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20