| 2025 | FORTE | Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems. | Marco Comini, Luca Gemolotto, Marino Miculan |
| 2015 | LOPSTR | Abstract Analysis of Universal Properties for tccp. | Marco Comini, Mara-del-Mar Gallardo, Laura Titolo, Alicia Villanueva |
| 2013 | PEPM | TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems. | Marco Comini, Luca Torella |
| 2012 | ICLP | The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. | Giovanni Bacci, Marco Comini, Marco A. Feli, Alicia Villanueva |
| 2012 | PPDP | Automatic synthesis of specifications for first order curry programs. | Giovanni Bacci, Marco Comini, Marco Antonio Feli, Alicia Villanueva |
| 2010 | LOPSTR | Abstract Diagnosis of First Order Functional Logic Programs. | Giovanni Bacci, Marco Comini |
| 2008 | ICST | A Methodology for UML Models V&V. | Andrea Baruzzo, Marco Comini |
| 2008 | SAS | On Polymorphic Recursion, Type Systems, and Abstract Interpretation. | Marco Comini, Ferruccio Damiani, Samuel Vrech |
| 2002 | LOPSTR | Abstract Diagnosis of Functional Programs. | Mara Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas |
| 2001 | LPAR | How to Transform an Analyzer into a Verifier. | Marco Comini, Roberta Gori, Giorgio Levi |
| 1994 | LOPSTR | Abstract Debugging of Logic Program. | Marco Comini, Giorgio Levi, Giuliana Vitiello |