The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Marco Comini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marco Comini, Giorgio Levi, Giuliana Vitiello
    Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:159-174 [Conf]
  2. Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella
    The And-compositionality of CLP Computed Answer Constraints. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:355-366 [Conf]
  3. Marco Comini, Wlodzimierz Drabent, Pawel Pietrzak
    Diagnosis of CHIP Programs Using Type Information. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:337-350 [Conf]
  4. Marco Comini, Giorgio Levi
    An Algebraic Theory of Observables. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:170-186 [Conf]
  5. Marco Comini, Giorgio Levi, Maria Chiara Meo
    Compositionality in SLD-derivations and their Abstractions. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:533-544 [Conf]
  6. Marco Comini, Giorgio Levi, Giuliana Vitiello
    Declarative Diagnosis Revisited. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:607-618 [Conf]
  7. Marco Comini, Giorgio Levi, Giuliana Vitiello
    Modular Abstract Diagnosis. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:409-420 [Conf]
  8. Giorgio Levi, Marco Comini, Giuliana Vitiello
    On the Abstract Diagnosis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:41-60 [Conf]
  9. Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
    Proving Properties of Logic Programs by Abstract Diagnosis. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:22-50 [Conf]
  10. Marco Comini, Giorgio Levi, Giuliana Vitiello
    Abstract Debugging of Logic Program. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:440-450 [Conf]
  11. María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas
    Abstract Diagnosis of Functional Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:1-16 [Conf]
  12. Marco Comini, Roberta Gori, Giorgio Levi
    How to Transform an Analyzer into a Verifier. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:595-609 [Conf]
  13. Marco Comini, Giorgio Levi
    An Algebraic Theory of Observables. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:172-186 [Conf]
  14. Marco Comini, Giorgio Levi, Maria Chiara Meo
    Compositionality in SLD-Derivations and their Abstractions. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:561-575 [Conf]
  15. Marco Comini, Giorgio Levi, Giuliana Vitiello
    Declarative Diagnosis Revisited. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:275-287 [Conf]
  16. Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte
    Tools and Environments for (Constraint) Logic Programming (Workshop Overview). [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:417-418 [Conf]
  17. Marco Comini, Moreno Falaschi
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
  18. Marco Comini, Roberta Gori, Giorgio Levi
    Assertion based Inductive Verification Methods for Logic Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal]
  19. Marco Comini, Roberta Gori, Giorgio Levi
    Logic programs as specifications in the inductive verification of logic programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal]
  20. Marco Comini, Giorgio Levi, Maria Chiara Meo
    A Theory of Observables for Logic Programs. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:169, n:1, pp:23-80 [Journal]
  21. Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
    Abstract Diagnosis. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:39, n:1-3, pp:43-93 [Journal]
  22. Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe
    Abstract interpretation based verification of logic programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:49, n:1-3, pp:89-123 [Journal]
  23. Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe
    Abstract Interpretation based Verification of Logic Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:1, pp:- [Journal]
  24. Marco Comini, Maria Chiara Meo
    Compositionality Properties of SLD-Derivations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:211, n:1-2, pp:275-309 [Journal]

  25. A Minimalist Visual Notation for Design Patterns and Antipatterns. [Citation Graph (, )][DBLP]


  26. On Polymorphic Recursion, Type Systems, and Abstract Interpretation. [Citation Graph (, )][DBLP]


  27. A Methodology for UML Models V&V. [Citation Graph (, )][DBLP]


  28. A Rule-based Method to Match Software Patterns Against UML Models. [Citation Graph (, )][DBLP]


Search in 0.018secs, Finished in 0.019secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002