Alberto Momigliano

76 papers B 7C 9Misc 1Journal 23Unranked 30

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Split Decisions: Explicit Contexts for Substructural Languages. CPP Daniel Zackon, Chuta Sano, Alberto Momigliano, Brigitte Pientka
2024	—	`conf`	A Beluga Formalization of the Harmony Lemma in the π-Calculus. LFMTP@FSCD Gabriele Cecilia, Alberto Momigliano
2024	C	`ed.`	Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Milano, Italy, September 9-11, 2024 PPDP Alessandro Bruni, Alberto Momigliano, Matteo Pradella, Matteo Rossi, James Cheney
2024	J	`jnl`	Property-Based Testing by Elaborating Proof Outlines. CoRR Dale Miller, Alberto Momigliano
2024	J	`jnl`	Property-Based Testing by Elaborating Proof Outlines. Theory Pract. Log. Program. Dale Miller, Alberto Momigliano
2024	C	`conf`	The Concurrent Calculi Formalisation Benchmark. COORDINATION 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
2023	—	`conf`	More Church-Rosser Proofs in BELUGA. LSFA/HCVS Alberto Momigliano, Martina Sassella
2021	C	`conf`	Towards Substructural Property-Based Testing. LOPSTR Marco Mantovani, Alberto Momigliano
2021	J	`jnl`	Towards Substructural Property-Based Testing. CoRR Marco Mantovani, Alberto Momigliano
2020	—	`conf`	MutantChick: Type-Preserving Mutation Analysis for Coq. CILC Matteo Cavada, Andrea Colò, Alberto Momigliano
2020	—	`conf`	Two Applications of Logic Programming to Coq. TYPES Matteo Manighetti, Dale Miller, Alberto Momigliano
2020	—	`conf`	Why Proof-Theory Matters in Specification-Based Testing. ICTCS Alberto Momigliano
2019	J	`jnl`	A case study in programming coinductive proofs: Howe's method. Math. Struct. Comput. Sci. Alberto Momigliano, Brigitte Pientka, David Thibodeau
2019	—	`conf`	Formalizing Program Equivalences in Dependent Type Theory. ICTCS Giorgio Marabelli, Alberto Momigliano
2019	J	`jnl`	POPLMark reloaded: Mechanizing proofs by logical relations. J. Funct. Program. Andreas Abel, Guillaume Allais, Aliya Hameer, Brigitte Pientka, Alberto Momigliano, Steven Schäfer, Kathrin Stark
2019	C	`conf`	Property-Based Testing via Proof Reconstruction. PPDP Roberto Blanco, Dale Miller, Alberto Momigliano
2019	—	`conf`	The Blame Game for Property-based Testing. CILC Alberto Momigliano, Mario Ornaghi
2018	J	`jnl`	Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. Math. Struct. Comput. Sci. Amy P. Felty, Alberto Momigliano, Brigitte Pientka
2018	J	`jnl`	From Constructivism to Logic Programming: an Homage to Mario Ornaghi. Fundam. Informaticae Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano
2018	J	`jnl`	Preface. Fundam. Informaticae Camillo Fiorentini, Alberto Momigliano, Alberto Pettorossi
2018	—	`conf`	Property-Based Testing of the Meta-Theory of Abstract Machines: an Experience Report. CILC Francesco Komauli, Alberto Momigliano
2017	—	`conf`	LOGI: A Didactic Tool for a Beginners' Course in Logic (System Description). ICTCS/CILC Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano
2017	B	`conf`	Validating the Meta-Theory of Programming Languages (Short Paper). SEFM Guglielmo Fachini, Alberto Momigliano
2017	J	`jnl`	αCheck: A mechanized metatheory model checker. Theory Pract. Log. Program. James Cheney, Alberto Momigliano
2017	J	`jnl`	αCheck: A mechanized metatheory model-checker. CoRR James Cheney, Alberto Momigliano
2016	J	`jnl`	Advances in Property-Based Testing for $α$Prolog. CoRR James Cheney, Alberto Momigliano, Matteo Pessina
2016	—	`conf`	Advances in Property-Based Testing for \alpha Prolog. TAP@STAF James Cheney, Alberto Momigliano, Matteo Pessina
2016	—	`ed.`	Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016. CILC Camillo Fiorentini, Alberto Momigliano
2015	J	`jnl`	A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic. Fundam. Informaticae Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano
2015	—	`conf`	An Open Challenge Problem Repository for Systems Supporting Binders. LFMTP Amy P. Felty, Alberto Momigliano, Brigitte Pientka
2015	J	`jnl`	The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations - Part 2 - A Survey. J. Autom. Reason. Amy P. Felty, Alberto Momigliano, Brigitte Pientka
2015	J	`jnl`	The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks. CoRR Amy P. Felty, Alberto Momigliano, Brigitte Pientka
2013	—	`conf`	Focusing on Contraction. CILC Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano
2013	—	`ed.`	Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013 LFMTP Alberto Momigliano, Brigitte Pientka, Randy Pollack
2012	J	`jnl`	Cut elimination for a logic with induction and co-induction. J. Appl. Log. Alwen Tiu, Alberto Momigliano
2012	J	`jnl`	Hybrid - A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax. J. Autom. Reason. Amy P. Felty, Alberto Momigliano
2010	—	`conf`	A Constructive Approach to Testing Model Transformations. ICMT@TOOLS Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo
2010	J	`jnl`	Cut Elimination for a Logic with Induction and Co-induction CoRR Alwen Tiu, Alberto Momigliano
2010	—	`ch.`	Proof-Theoretic and Higher-Order Extensions of Logic Programming. 25 Years GULP Alberto Momigliano, Mario Ornaghi
2009	B	`conf`	Applying ASP to UML Model Validation. LPNMR Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano
2009	C	`conf`	Reasoning with hypothetical judgments and open terms in hybrid. PPDP Amy P. Felty, Alberto Momigliano
2008	J	`jnl`	Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax CoRR Amy P. Felty, Alberto Momigliano
2008	J	`jnl`	Induction and Co-induction in Sequent Calculus CoRR Alwen Tiu, Alberto Momigliano
2008	—	`conf`	Towards a Type Discipline for Answer Set Programming. TYPES Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi
2007	J	`jnl`	A program logic for resources. Theor. Comput. Sci. David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano
2007	C	`conf`	Mechanized metatheory model-checking. PPDP James Cheney, Alberto Momigliano
2007	—	`ed.`	Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FLoC 2006, Seattle, WA, USA, August 16, 2006 LFMTP@FLoC Alberto Momigliano, Brigitte Pientka
2007	C	`conf`	Snapshot Generation in a Constructive Object-Oriented Modeling Language. LOPSTR Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi
2007	—	`conf`	Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax. LFMTP@CADE Alberto Momigliano, Alan J. Martin, Amy P. Felty
2006	—	`conf`	Optimisation Validation. COCV David Aspinall, Lennart Beringer, Alberto Momigliano
2006	—	`conf`	Preface. LFMTP@FLoC Alberto Momigliano, Brigitte Pientka
2005	—	`conf`	A Constructive Object Oriented Modeling Language for Information Systems. CLASE Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano
2005	—	`conf`	Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska
2004	—	`conf`	A Program Logic for Resource Verification. TPHOLs David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano
2004	B	`conf`	Automatic Certification of Heap Consumption. LPAR Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska
2004	C	`conf`	Constructive Specifications for Compositional Units. LOPSTR Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi
2003	—	`conf`	A definitional approach to primitivexs recursion over higher order abstract syntax. MERLIN S. J. Ambler, Roy L. Crole, Alberto Momigliano
2003	—	`conf`	A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. MERLIN Alberto Momigliano, Jeff Polakow
2003	J	`jnl`	Higher-order pattern complement and the strict lambda-calculus. ACM Trans. Comput. Log. Alberto Momigliano, Frank Pfenning
2003	—	`conf`	Induction and Co-induction in Sequent Calculus. TYPES Alberto Momigliano, Alwen Fernanto Tiu
2003	B	`conf`	Multi-level Meta-reasoning with Higher-Order Abstract Syntax. FoSSaCS Alberto Momigliano, Simon Ambler
2002	—	`conf`	A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity. LFM Alberto Momigliano, Simon Ambler, Roy L. Crole
2002	—	`conf`	Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction. TPHOLs Simon Ambler, Roy L. Crole, Alberto Momigliano
2001	J	`jnl`	Higher-Order Pattern Complement and the Strict Lambda-Calculus CoRR Alberto Momigliano, Frank Pfenning
2001	—	`ed.`	Mechanized Reasoning about Languages with Variable Binding, MERLIN 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001 MERLIN Simon Ambler, Roy L. Crole, Alberto Momigliano
2001	—	`conf`	Preface: Mechanised Reasoning about Languages with Variable Binding 2001. MERLIN Simon Ambler, Roy L. Crole, Alberto Momigliano
2000	B	`conf`	Elimination of Negation in a Logical Framework. CSL Alberto Momigliano
1999	—	`conf`	The Relative Complement Problem for Higher-Order Patterns. APPIA-GULP-PRODE Alberto Momigliano, Frank Pfenning
1999	B	`conf`	The Relative Complement Problem for Higher-Order Patterns. ICLP Alberto Momigliano, Frank Pfenning
1997	J	`jnl`	Regular Search Spaces and Constructive Negation. J. Log. Comput. Alberto Momigliano, Mario Ornaghi
1997	C	`conf`	Towards a Logic for Reasoning About Logic Programs Transformation. LOPSTR Alberto Momigliano, Mario Ornaghi
1995	—	`conf`	An Introduction to Regular Search Spaces. GULP-PRODE Alberto Momigliano, Mario Ornaghi
1994	—	`ed.`	ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994 ICLP Workshop: Proof-Theoretical Extensions on Logic Programming Roy Dyckhoff, Lars-Henrik Eriksson, Alberto Momigliano, Mario Ornaghi
1993	—	`conf`	Regular Search Spaces as a Foundation of Logic Programming. ELP Alberto Momigliano, Mario Ornaghi
1992	Misc	`conf`	Minimal Negation and Hereditary Harrop Formulae. LFCS Alberto Momigliano
1990	—	`conf`	A Constraint Satisfaction Approach to Operative Management of Aircraft Routing. IEA/AIE (Vol. 2) Franco Torquati, Massimo Paltrinieri, Alberto Momigliano