| 2009 | LPNMR | Applying ASP to UML Model Validation. | Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano |
| 2007 | LOPSTR | Snapshot Generation in a Constructive Object-Oriented Modeling Language. | Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi |
| 2004 | LOPSTR | Constructive Specifications for Compositional Units. | Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi |
| 2003 | LOPSTR | Correct OO Systems in Computational Logic. | Kung-Kiu Lau, Mario Ornaghi |
| 2002 | LOPSTR | Towards Correct Object-Oriented Design Frameworks in Computational Logic. | Kung-Kiu Lau, Mario Ornaghi |
| 2001 | LOPSTR | Extracting Exact Time Bounds from Logical Proofs. | Mauro Ferrari, Camillo Fiorentini, Mario Ornaghi |
| 2001 | LOPSTR | Correct Object-Oriented Systems in Computational Logic. | Kung-Kiu Lau, Mario Ornaghi |
| 2000 | APSEC | Formal specification of Catalysis frameworks. | Juliana Kster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills |
| 1999 | ICLP | Isoinitial Models for Logic Programs: Some Preliminary Results. | Kung-Kiu Lau, Mario Ornaghi |
| 1999 | LOPSTR | On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic. | Juliana Kster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu |
| 1998 | ICFEM | Interacting Frameworks in Catalysis. | Kung-Kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills |
| 1998 | LOPSTR | OOD Frameworks in Component-Based Software - Development in Computational Logic. | Kung-Kiu Lau, Mario Ornaghi |
| 1997 | ICFEM | Frameworks in Catalysis: Pictorial Notation and Formal Semantics. | Kung-Kiu Lau, Mario Ornaghi, Alan Wills |
| 1997 | LOPSTR | On Correct Program Schemas. | Pierre Flener, Kung-Kiu Lau, Mario Ornaghi |
| 1997 | LOPSTR | Towards a Logic for Reasoning About Logic Programs Transformation. | Alberto Momigliano, Mario Ornaghi |
| 1997 | TABLEAUX | Generalized Tableau Systems for Intemediate Propositional Logics. | Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
| 1996 | LOPSTR | Forms of Logic Specifications: A Preliminary Study. | Kung-Kiu Lau, Mario Ornaghi |
| 1995 | LOPSTR | Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs. | Kung-Kiu Lau, Mario Ornaghi |
| 1995 | TABLEAUX | Refutation Systems for Propositional Modal Logics. | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
| 1994 | ICLP | The Halting Problem for Deductive Synthesis of Logic Programs. | Kung-Kiu Lau, Mario Ornaghi, Sten-ke Trnlund |
| 1994 | LOPSTR | On Specification Frameworks and Deductive Synthesis of Logic Programs. | Kung-Kiu Lau, Mario Ornaghi |
| 1993 | ICLP | An Incompleteness Result for Deductive Synthesis of Logic Programs. | Kung-Kiu Lau, Mario Ornaghi |
| 1993 | LOPSTR | A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs. | Kung-Kiu Lau, Mario Ornaghi |
| 1992 | LOPSTR | Proof Nets. | Mario Ornaghi |
| 1991 | LOPSTR | Program Specification and Synthesis in Constructive Formal Systems. | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
| 1991 | LPAR | A Constructive Logic Approach to Database Theory. | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
| 1977 | MFCS | A Calculus to Build Up Correct Programs. | Pierangelo Miglioli, Mario Ornaghi |
| 1975 | GI | First Order Logic as a Tool to Solve and Classify Problems. | Daniele Marini, Pierangelo Miglioli, Mario Ornaghi |