A Constraint Satisfaction Approach to Operative Management of Aircraft Routing. - Franco Torquati; Massimo Paltrinieri; Alberto Momigliano (IEA/AIE (Vol. 2), 1990)

Minimal Negation and Hereditary Harrop Formulae. - Alberto Momigliano (LFCS, 1992)

Regular Search Spaces as a Foundation of Logic Programming. - Alberto Momigliano; Mario Ornaghi (ELP, 1993)

An Introduction to Regular Search Spaces. - Alberto Momigliano; Mario Ornaghi (GULP-PRODE, 1995)

Towards a Logic for Reasoning About Logic Programs Transformation. - Alberto Momigliano; Mario Ornaghi (LOPSTR, 1997)

Regular Search Spaces and Constructive Negation. - Alberto Momigliano; Mario Ornaghi (J. Log. Comput., 1997)

The Relative Complement Problem for Higher-Order Patterns. - Alberto Momigliano; Frank Pfenning (ICLP, 1999)

Elimination of Negation in a Logical Framework. - Alberto Momigliano (CSL, 2000)

Preface: Mechanised Reasoning about Languages with Variable Binding 2001. - Simon Ambler; Roy L. Crole; Alberto Momigliano (MERLIN, 2001)

Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction. - Simon Ambler; Roy L. Crole; Alberto Momigliano (TPHOLs, 2002)

A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity. - Alberto Momigliano; Simon Ambler; Roy L. Crole (LFM, 2002)

Multi-level Meta-reasoning with Higher-Order Abstract Syntax. - Alberto Momigliano; Simon Ambler (FoSSaCS, 2003)

A definitional approach to primitivexs recursion over higher order abstract syntax. - S. J. Ambler; Roy L. Crole; Alberto Momigliano (MERLIN, 2003)

A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. - Alberto Momigliano; Jeff Polakow (MERLIN, 2003)

Induction and Co-induction in Sequent Calculus. - Alberto Momigliano; Alwen Fernanto Tiu (TYPES, 2003)

Higher-order pattern complement and the strict lambda-calculus. - Alberto Momigliano; Frank Pfenning (ACM Trans. Comput. Log., 2003)

Constructive Specifications for Compositional Units. - Kung-Kiu Lau; Alberto Momigliano; Mario Ornaghi (LOPSTR, 2004)

Automatic Certification of Heap Consumption. - Lennart Beringer; Martin Hofmann 001; Alberto Momigliano; Olha Shkaravska (LPAR, 2004)

A Program Logic for Resource Verification. - David Aspinall 001; Lennart Beringer; Martin Hofmann 001; Hans-Wolfgang Loidl; Alberto Momigliano (TPHOLs, 2004)

Mobile Resource Guarantees (project evaluation paper). - Donald Sannella; Martin Hofmann 001; David Aspinall 001; Stephen Gilmore; Ian Stark; Lennart Beringer; Hans-Wolfgang Loidl; Kenneth MacKenzie; Alberto Momigliano; Olha Shkaravska (Trends in Functional Programming, 2005)

A Constructive Object Oriented Modeling Language for Information Systems. - Mario Ornaghi; Marco Benini; Mauro Ferrari 002; Camillo Fiorentini; Alberto Momigliano (CLASE, 2005)

Optimisation Validation. - David Aspinall 001; Lennart Beringer; Alberto Momigliano (COCV@ETAPS, 2006)

Preface. - Alberto Momigliano; Brigitte Pientka (LFMTP@FLoC, 2006)

Snapshot Generation in a Constructive Object-Oriented Modeling Language. - Mauro Ferrari 002; Camillo Fiorentini; Alberto Momigliano; Mario Ornaghi (LOPSTR, 2007)

Mechanized metatheory model-checking. - James Cheney; Alberto Momigliano (PPDP, 2007)

Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax. - Alberto Momigliano; Alan J. Martin; Amy P. Felty (LFMTP@CADE, 2007)

A program logic for resources. - David Aspinall 001; Lennart Beringer; Martin Hofmann 001; Hans-Wolfgang Loidl; Alberto Momigliano (Theor. Comput. Sci., 2007)

Towards a Type Discipline for Answer Set Programming. - Camillo Fiorentini; Alberto Momigliano; Mario Ornaghi (TYPES, 2008)

Applying ASP to UML Model Validation. - Mario Ornaghi; Camillo Fiorentini; Alberto Momigliano; Francesco Pagano (LPNMR, 2009)

Reasoning with hypothetical judgments and open terms in hybrid. - Amy P. Felty; Alberto Momigliano (PPDP, 2009)

Proof-Theoretic and Higher-Order Extensions of Logic Programming. - Alberto Momigliano; Mario Ornaghi (25 Years GULP, 2010)

A Constructive Approach to Testing Model Transformations. - Camillo Fiorentini; Alberto Momigliano; Mario Ornaghi; Iman Poernomo (ICMT@TOOLS, 2010)

Cut elimination for a logic with induction and co-induction. - Alwen Tiu; Alberto Momigliano (J. Appl. Log., 2012)

Hybrid - A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax. - Amy P. Felty; Alberto Momigliano (J. Autom. Reason., 2012)

Focusing on Contraction. - Alessandro Avellone; Camillo Fiorentini; Alberto Momigliano (CILC, 2013)

The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks. - Amy P. Felty; Alberto Momigliano; Brigitte Pientka (CoRR, 2015)

An Open Challenge Problem Repository for Systems Supporting Binders. - Amy P. Felty; Alberto Momigliano; Brigitte Pientka (LFMTP, 2015)

A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic. - Alessandro Avellone; Camillo Fiorentini; Alberto Momigliano (Fundam. Informaticae, 2015)

The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations - Part 2 - A Survey. - Amy P. Felty; Alberto Momigliano; Brigitte Pientka (J. Autom. Reason., 2015)

Advances in Property-Based Testing for alpha Prolog. - James Cheney; Alberto Momigliano; Matteo Pessina (TAP@STAF, 2016)

Advances in Property-Based Testing for $α$Prolog. - James Cheney; Alberto Momigliano; Matteo Pessina (CoRR, 2016)

LOGI: A Didactic Tool for a Beginners' Course in Logic (System Description). - Mario Ornaghi; Camillo Fiorentini; Alberto Momigliano (ICTCS/CILC, 2017)

Validating the Meta-Theory of Programming Languages (Short Paper). - Guglielmo Fachini; Alberto Momigliano (SEFM, 2017)

αCheck: A mechanized metatheory model checker. - James Cheney; Alberto Momigliano (Theory Pract. Log. Program., 2017)

Property-Based Testing of the Meta-Theory of Abstract Machines: an Experience Report. - Francesco Komauli; Alberto Momigliano (CILC, 2018)

From Constructivism to Logic Programming: an Homage to Mario Ornaghi. - Mauro Ferrari 002; Camillo Fiorentini; Alberto Momigliano (Fundam. Informaticae, 2018)

Preface. - Camillo Fiorentini; Alberto Momigliano; Alberto Pettorossi (Fundam. Informaticae, 2018)

Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. - Amy P. Felty; Alberto Momigliano; Brigitte Pientka (Math. Struct. Comput. Sci., 2018)

The Blame Game for Property-based Testing. - Alberto Momigliano; Mario Ornaghi (CILC, 2019)

Formalizing Program Equivalences in Dependent Type Theory. - Giorgio Marabelli; Alberto Momigliano (ICTCS, 2019)

Property-Based Testing via Proof Reconstruction. - Roberto Blanco; Dale Miller 001; Alberto Momigliano (PPDP, 2019)

POPLMark reloaded: Mechanizing proofs by logical relations. - Andreas Abel 001; Guillaume Allais; Aliya Hameer; Brigitte Pientka; Alberto Momigliano; Steven Schäfer; Kathrin Stark (J. Funct. Program., 2019)

A case study in programming coinductive proofs: Howe's method. - Alberto Momigliano; Brigitte Pientka; David Thibodeau 001 (Math. Struct. Comput. Sci., 2019)

MutantChick: Type-Preserving Mutation Analysis for Coq. - Matteo Cavada; Andrea Colò; Alberto Momigliano (CILC, 2020)

Why Proof-Theory Matters in Specification-Based Testing. - Alberto Momigliano (ICTCS, 2020)

Two Applications of Logic Programming to Coq. - Matteo Manighetti; Dale Miller 001; Alberto Momigliano (TYPES, 2020)

Towards Substructural Property-Based Testing. - Marco Mantovani 002; Alberto Momigliano (LOPSTR, 2021)

More Church-Rosser Proofs in BELUGA. - Alberto Momigliano; Martina Sassella (LSFA/HCVS, 2023)

The Concurrent Calculi Formalisation Benchmark. - Marco Carbone; David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Frederik Krogsdal Jacobsen; Alberto Momigliano; Luca Padovani; Alceste Scalas; Dawit Legesse Tirore; Martin Vassor; Nobuko Yoshida; Daniel Zackon (COORDINATION, 2024)

A Beluga Formalization of the Harmony Lemma in the π-Calculus. - Gabriele Cecilia; Alberto Momigliano (LFMTP@FSCD, 2024)

Property-Based Testing by Elaborating Proof Outlines. - Dale Miller 001; Alberto Momigliano (Theory Pract. Log. Program., 2024)

Split Decisions: Explicit Contexts for Substructural Languages. - Daniel Zackon; Chuta Sano; Alberto Momigliano; Brigitte Pientka (CPP, 2025)