| Abstract diagnosis M Comini, G Levi, MC Meo, G Vitiello The Journal of Logic Programming 39 (1-3), 43-93, 1999 | 101 | 1999 |
| 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 | 55 | 1997 |
| A theory of observables for logic programs M Comini, G Levi, MC Meo Information and Computation 169 (1), 23-80, 2001 | 52 | 2001 |
| Declarative diagnosis revisited M Comini, G Levi, G Vitiello | 48 | 1995 |
| An Algebraic Theory of Observables. M Comini, G Levi ILPS, 172-186, 1994 | 45 | 1994 |
| Abstract debugging of logic programs M Comini, G Levi, G Vitiello International Workshop on Meta-Programming in Logic, 440-450, 1994 | 43 | 1994 |
| 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 | 42 | 2002 |
| 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 | 36 | 2008 |
| Compositionality properties of SLD-derivations M Comini, MC Meo Theoretical Computer Science 211 (1-2), 275-309, 1999 | 36 | 1999 |
| Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. M Comini, G Levi, G Vitiello AADEBUG, 159-174, 1995 | 27 | 1995 |
| A minimalist visual notation for design patterns and antipatterns D Ballis, A Baruzzo, M Comini Fifth International Conference on Information Technology: New Generations …, 2008 | 25* | 2008 |
| Compositionality in SLD-derivations and their abstractions M Comini, G Levi, MC Meo | 23 | 1995 |
| 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 | 21 | 2011 |
| An abstract interpretation framework for semantics and diagnosis of logic programs M Comini BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 65, 244-246, 1998 | 20 | 1998 |
| Static verification of UML model consistency A Baruzzo, M Comini Proc. 3rd Workshop Model Design and Validation, 111-126, 2006 | 19 | 2006 |
| 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 | 16 | 2012 |
| 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 | 16 | 1999 |
| 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 | 13 | 2014 |
| Abstract diagnosis of first order functional logic programs G Bacci, M Comini International Symposium on Logic-Based Program Synthesis and Transformation …, 2010 | 13 | 2010 |
| Assertion based inductive verification methods for logic programs M Comini, R Gori, G Levi Electronic Notes in Theoretical Computer Science 40, 52-69, 2001 | 12 | 2001 |
Moreno FalaschiProfessor of Computer ScienceEmail verificata su unisi.it
