| 2025 | CPP | Split Decisions: Explicit Contexts for Substructural Languages. | Daniel Zackon, Chuta Sano, Alberto Momigliano, Brigitte Pientka |
| 2024 | Coordination | The Concurrent Calculi Formalisation Benchmark. | Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon |
| 2021 | LOPSTR | Towards Substructural Property-Based Testing. | Marco Mantovani, Alberto Momigliano |
| 2019 | PPDP | Property-Based Testing via Proof Reconstruction. | Roberto Blanco, Dale Miller, Alberto Momigliano |
| 2017 | SEFM | Validating the Meta-Theory of Programming Languages (Short Paper). | Guglielmo Fachini, Alberto Momigliano |
| 2016 | TAP | Advances in Property-Based Testing for \alpha Prolog. | James Cheney, Alberto Momigliano, Matteo Pessina |
| 2009 | LPNMR | Applying ASP to UML Model Validation. | Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano |
| 2009 | PPDP | Reasoning with hypothetical judgments and open terms in hybrid. | Amy P. Felty, Alberto Momigliano |
| 2007 | LOPSTR | Snapshot Generation in a Constructive Object-Oriented Modeling Language. | Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi |
| 2007 | PPDP | Mechanized metatheory model-checking. | James Cheney, Alberto Momigliano |
| 2004 | LOPSTR | Constructive Specifications for Compositional Units. | Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi |
| 2004 | LPAR | Automatic Certification of Heap Consumption. | Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska |
| 2003 | FOSSACS | Multi-level Meta-reasoning with Higher-Order Abstract Syntax. | Alberto Momigliano, Simon Ambler |
| 2003 | ICFP | A definitional approach to primitivexs recursion over higher order abstract syntax. | S. J. Ambler, Roy L. Crole, Alberto Momigliano |
| 2003 | ICFP | A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. | Alberto Momigliano, Jeff Polakow |
| 2000 | CSL | Elimination of Negation in a Logical Framework. | Alberto Momigliano |
| 1999 | ICLP | The Relative Complement Problem for Higher-Order Patterns. | Alberto Momigliano, Frank Pfenning |
| 1997 | LOPSTR | Towards a Logic for Reasoning About Logic Programs Transformation. | Alberto Momigliano, Mario Ornaghi |
| 1992 | LFCS | Minimal Negation and Hereditary Harrop Formulae. | Alberto Momigliano |