An Algebraic Theory of Observables. - Marco Comini; Giorgio Levi (GULP-PRODE (1), 1994)

Abstract Debugging of Logic Program. - Marco Comini; Giorgio Levi; Giuliana Vitiello (META, 1994)

Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. - Marco Comini; Giorgio Levi; Giuliana Vitiello (AADEBUG, 1995)

Compositionality in SLD-derivations and their Abstractions. - Marco Comini; Giorgio Levi; Maria Chiara Meo (GULP-PRODE, 1995)

Declarative Diagnosis Revisited. - Marco Comini; Giorgio Levi; Giuliana Vitiello (GULP-PRODE, 1995)

On the Abstract Diagnosis of Logic Programs. - Giorgio Levi; Marco Comini; Giuliana Vitiello (GULP-PRODE, 1995)

The And-compositionality of CLP Computed Answer Constraints. - Roberto Bagnara; Marco Comini; Francesca Scozzari; Enea Zaffanella (APPIA-GULP-PRODE, 1996)

Proving Properties of Logic Programs by Abstract Diagnosis. - Marco Comini; Giorgio Levi; Maria Chiara Meo; Giuliana Vitiello (LOMAPS, 1996)

Tools and Environments for (Constraint) Logic Programming (Workshop Overview). - Germán Puebla; Marco Comini; Wlodzimierz Drabent; Mireille Ducassé; Massimo Fabris; Christian Schulte 001 (ILPS, 1997)

Modular Abstract Diagnosis. - Marco Comini; Giorgio Levi; Giuliana Vitiello (APPIA-GULP-PRODE, 1998)

Diagnosis of CHIP Programs Using Type Information. - Marco Comini; Wlodzimierz Drabent; Pawel Pietrzak (APPIA-GULP-PRODE, 1999)

Abstract Diagnosis. - Marco Comini; Giorgio Levi; Maria Chiara Meo; Giuliana Vitiello (J. Log. Program., 1999)

Abstract Interpretation based Verification of Logic Programs. - Marco Comini; Roberta Gori; Giorgio Levi; Paolo Volpe (Verification of Logic Programs@ICLP, 1999)

Compositionality Properties of SLD-Derivations. - Marco Comini; Maria Chiara Meo (Theor. Comput. Sci., 1999)

Assertion based Inductive Verification Methods for Logic Programs. - Marco Comini; Roberta Gori; Giorgio Levi (MFCSIT, 2000)

How to transform an analyzer into a verifier. - Marco Comini; Roberta Gori; Giorgio Levi (APPIA-GULP-PRODE, 2001)

Logic programs as specifications in the inductive verification of logic programs. - Marco Comini; Roberta Gori; Giorgio Levi (APPIA-GULP-PRODE, 2001)

A Theory of Observables for Logic Programs. - Marco Comini; Giorgio Levi; Maria Chiara Meo (Inf. Comput., 2001)

Abstract Diagnosis of Functional Programs. - María Alpuente; Marco Comini; Santiago Escobar 001; Moreno Falaschi; Salvador Lucas (LOPSTR, 2002)

Preface. - Marco Comini; Moreno Falaschi (WFLP, 2002)

A Rule-based Method to Match Software Patterns Against UML Models. - Demis Ballis; Andrea Baruzzo; Marco Comini (RULE@RDP, 2007)

A Methodology for UML Models V&V. - Andrea Baruzzo; Marco Comini (ICST, 2008)

A Minimalist Visual Notation for Design Patterns and Antipatterns. - Demis Ballis; Andrea Baruzzo; Marco Comini (ITNG, 2008)

On Polymorphic Recursion, Type Systems, and Abstract Interpretation. - Marco Comini; Ferruccio Damiani; Samuel Vrech (SAS, 2008)

Abstract Diagnosis of First Order Functional Logic Programs. - Giovanni Bacci 001; Marco Comini (LOPSTR, 2010)

A compact fixpoint semantics for term rewriting systems. - María Alpuente; Marco Comini; Santiago Escobar 001; Moreno Falaschi; José Iborra (Theor. Comput. Sci., 2010)

Abstract diagnosis for timed concurrent constraint programs. - Marco Comini; Laura Titolo; Alicia Villanueva (Theory Pract. Log. Program., 2011)

The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. - Giovanni Bacci 001; Marco Comini; Marco A. Feliú; Alicia Villanueva (ICLP (Technical Communications), 2012)

Automatic synthesis of specifications for first order curry programs. - Giovanni Bacci 001; Marco Comini; Marco Antonio Feliú; Alicia Villanueva (PPDP, 2012)

TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems. - Marco Comini; Luca Torella (PEPM, 2013)

Automatic Inference of Term Equivalence in Term Rewriting Systems. - Marco Comini; Luca Torella (SCSS, 2013)

A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting. - Marco Comini; Luca Torella (SCSS, 2013)

Towards an Effective Decision Procedure for LTL formulas with Constraints. - Marco Comini; Laura Titolo; Alicia Villanueva (CoRR, 2013)

Abstract Diagnosis for tccp using a Linear Temporal Logic. - Marco Comini; Laura Titolo; Alicia Villanueva (Theory Pract. Log. Program., 2014)

Abstract Analysis of Universal Properties for tccp. - Marco Comini; María-del-Mar Gallardo; Laura Titolo; Alicia Villanueva (LOPSTR, 2015)

A program analysis framework for tccp based on abstract interpretation. - Marco Comini; María-del-Mar Gallardo; Laura Titolo; Alicia Villanueva (Formal Aspects Comput., 2017)

A denotational semantics for PROMELA addressing arbitrary jumps. - Marco Comini; María-del-Mar Gallardo; Alicia Villanueva (CoRR, 2021)

Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems. - Marco Comini; Luca Gemolotto; Marino Miculan (FORTE, 2025)