default search action
Alberto Momigliano
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c45]Marco Carbone
, David Castro-Perez, Francisco Ferreira
The Concurrent Calculi Formalisation Benchmark. COORDINATION 2024: 149-158 - [c44]Gabriele Cecilia, Alberto Momigliano:
A Beluga Formalization of the Harmony Lemma in the π-Calculus. LFMTP@FSCD 2024: 1-17 - [e6]Alessandro Bruni, Alberto Momigliano, Matteo Pradella, Matteo Rossi, James Cheney:
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Milano, Italy, September 9-11, 2024. ACM 2024, ISBN 979-8-4007-0969-2 [contents] - [i9]Dale Miller, Alberto Momigliano:
Property-Based Testing by Elaborating Proof Outlines. CoRR abs/2406.10053 (2024) - 2023
- [c43]Alberto Momigliano, Martina Sassella:
More Church-Rosser Proofs in BELUGA. LSFA/HCVS 2023: 34-42 - 2021
- [c42]Marco Mantovani, Alberto Momigliano
Towards Substructural Property-Based Testing. LOPSTR 2021: 92-112 - [i8]Marco Mantovani, Alberto Momigliano:
Towards Substructural Property-Based Testing. CoRR abs/2108.01610 (2021) - 2020
- [c41]Matteo Cavada, Andrea Colò, Alberto Momigliano:
MutantChick: Type-Preserving Mutation Analysis for Coq. CILC 2020: 105-112 - [c40]Alberto Momigliano:
Why Proof-Theory Matters in Specification-Based Testing. ICTCS 2020: 95-100 - [c39]Matteo Manighetti, Dale Miller
Two Applications of Logic Programming to Coq. TYPES 2020: 10:1-10:19
2010 – 2019
- 2019
- [j13]Andreas Abel, Guillaume Allais
POPLMark reloaded: Mechanizing proofs by logical relations. J. Funct. Program. 29: e19 (2019) - [j12]Alberto Momigliano
A case study in programming coinductive proofs: Howe's method. Math. Struct. Comput. Sci. 29(8): 1309-1343 (2019) - [c38]Alberto Momigliano, Mario Ornaghi:
The Blame Game for Property-based Testing. CILC 2019: 4-13 - [c37]Giorgio Marabelli, Alberto Momigliano:
Formalizing Program Equivalences in Dependent Type Theory. ICTCS 2019: 204-209 - [c36]Roberto Blanco, Dale Miller
Property-Based Testing via Proof Reconstruction. PPDP 2019: 5:1-5:13 - 2018
- [j11]Mauro Ferrari
From Constructivism to Logic Programming: an Homage to Mario Ornaghi. Fundam. Informaticae 161(1-2): 1-7 (2018) - [j10]Camillo Fiorentini
Preface. Fundam. Informaticae 161(1-2): v-vii (2018) - [j9]Amy P. Felty, Alberto Momigliano
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. Math. Struct. Comput. Sci. 28(9): 1507-1540 (2018) - [c35]Francesco Komauli, Alberto Momigliano:
Property-Based Testing of the Meta-Theory of Abstract Machines: an Experience Report. CILC 2018: 22-39 - 2017
- [j8]James Cheney
αCheck: A mechanized metatheory model checker. Theory Pract. Log. Program. 17(3): 311-352 (2017) - [c34]Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano:
LOGI: A Didactic Tool for a Beginners' Course in Logic (System Description). ICTCS/CILC 2017: 341-345 - [c33]Guglielmo Fachini, Alberto Momigliano
Validating the Meta-Theory of Programming Languages (Short Paper). SEFM 2017: 367-374 - [i7]James Cheney
αCheck: A mechanized metatheory model-checker. CoRR abs/1704.00617 (2017) - 2016
- [c32]James Cheney
Advances in Property-Based Testing for \alpha Prolog. TAP@STAF 2016: 37-56 - [e5]Camillo Fiorentini, Alberto Momigliano:
Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016. CEUR Workshop Proceedings 1645, CEUR-WS.org 2016 [contents] - [i6]James Cheney
Advances in Property-Based Testing for $α$Prolog. CoRR abs/1604.08345 (2016) - 2015
- [j7]Alessandro Avellone
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic. Fundam. Informaticae 140(3-4): 247-262 (2015) - [j6]Amy P. Felty, Alberto Momigliano
The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations - Part 2 - A Survey. J. Autom. Reason. 55(4): 307-372 (2015) - [c31]Amy P. Felty, Alberto Momigliano
An Open Challenge Problem Repository for Systems Supporting Binders. LFMTP 2015: 18-32 - [i5]Amy P. Felty, Alberto Momigliano, Brigitte Pientka:
The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks. CoRR abs/1503.06095 (2015) - 2013
- [c30]Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano:
Focusing on Contraction. CILC 2013: 65-81 - [e4]Alberto Momigliano, Brigitte Pientka, Randy Pollack:
Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013. ACM 2013, ISBN 978-1-4503-2382-6 [contents] - 2012
- [j5]Alwen Tiu, Alberto Momigliano
Cut elimination for a logic with induction and co-induction. J. Appl. Log. 10(4): 330-367 (2012) - [j4]Amy P. Felty, Alberto Momigliano
Hybrid - A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax. J. Autom. Reason. 48(1): 43-105 (2012) - 2010
- [c29]Camillo Fiorentini
A Constructive Approach to Testing Model Transformations. ICMT@TOOLS 2010: 77-92 - [p1]Alberto Momigliano
Proof-Theoretic and Higher-Order Extensions of Logic Programming. 25 Years GULP 2010: 254-270 - [i4]Alwen Tiu, Alberto Momigliano:
Cut Elimination for a Logic with Induction and Co-induction. CoRR abs/1009.6171 (2010)
2000 – 2009
- 2009
- [c28]Mario Ornaghi, Camillo Fiorentini
Applying ASP to UML Model Validation. LPNMR 2009: 457-463 - [c27]Amy P. Felty, Alberto Momigliano
Reasoning with hypothetical judgments and open terms in hybrid. PPDP 2009: 83-92 - 2008
- [c26]Camillo Fiorentini
Towards a Type Discipline for Answer Set Programming. TYPES 2008: 117-135 - [i3]Amy P. Felty, Alberto Momigliano:
Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax. CoRR abs/0811.4367 (2008) - [i2]Alwen Tiu, Alberto Momigliano:
Induction and Co-induction in Sequent Calculus. CoRR abs/0812.4727 (2008) - 2007
- [j3]David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano
A program logic for resources. Theor. Comput. Sci. 389(3): 411-445 (2007) - [c25]Mauro Ferrari
Snapshot Generation in a Constructive Object-Oriented Modeling Language. LOPSTR 2007: 169-184 - [c24]James Cheney
Mechanized metatheory model-checking. PPDP 2007: 75-86 - [c23]Alberto Momigliano
Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax. LFMTP@CADE 2007: 85-93 - [e3]Alberto Momigliano, Brigitte Pientka:
Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FLoC 2006, Seattle, WA, USA, August 16, 2006. Electronic Notes in Theoretical Computer Science 174(5), Elsevier 2007 [contents] - 2006
- [c22]Alberto Momigliano
Preface. LFMTP@FLoC 2006: 1-2 - [c21]David Aspinall, Lennart Beringer, Alberto Momigliano
Optimisation Validation. COCV@ETAPS 2006: 37-59 - 2005
- [c20]Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska:
Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming 2005: 211-226 - [c19]Mario Ornaghi, Marco Benini, Mauro Ferrari
A Constructive Object Oriented Modeling Language for Information Systems. CLASE 2005: 55-75 - 2004
- [c18]Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi:
Constructive Specifications for Compositional Units. LOPSTR 2004: 198-214 - [c17]Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska:
Automatic Certification of Heap Consumption. LPAR 2004: 347-362 - [c16]David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano:
A Program Logic for Resource Verification. TPHOLs 2004: 34-49 - 2003
- [j2]Alberto Momigliano
Higher-order pattern complement and the strict lambda-calculus. ACM Trans. Comput. Log. 4(4): 493-529 (2003) - [c15]Alberto Momigliano, Simon Ambler:
Multi-level Meta-reasoning with Higher-Order Abstract Syntax. FoSSaCS 2003: 375-391 - [c14]S. J. Ambler, Roy L. Crole, Alberto Momigliano
A definitional approach to primitivexs recursion over higher order abstract syntax. MERLIN 2003 - [c13]Alberto Momigliano
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. MERLIN 2003 - [c12]Alberto Momigliano, Alwen Fernanto Tiu:
Induction and Co-induction in Sequent Calculus. TYPES 2003: 293-308 - 2002
- [c11]Simon Ambler, Roy L. Crole, Alberto Momigliano:
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction. TPHOLs 2002: 13-30 - [c10]Alberto Momigliano
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity. LFM 2002: 60-75 - 2001
- [c9]Simon Ambler, Roy L. Crole, Alberto Momigliano
Preface: Mechanised Reasoning about Languages with Variable Binding 2001. MERLIN 2001: 115-116 - [e2]Simon Ambler, Roy L. Crole, Alberto Momigliano:
Mechanized Reasoning about Languages with Variable Binding, MERLIN 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001. Electronic Notes in Theoretical Computer Science 58(1), Elsevier 2001 [contents] - [i1]Alberto Momigliano, Frank Pfenning:
Higher-Order Pattern Complement and the Strict Lambda-Calculus. CoRR cs.LO/0109072 (2001) - 2000
- [c8]Alberto Momigliano:
Elimination of Negation in a Logical Framework. CSL 2000: 411-426
1990 – 1999
- 1999
- [c7]Alberto Momigliano, Frank Pfenning:
The Relative Complement Problem for Higher-Order Patterns. APPIA-GULP-PRODE 1999: 497-512 - [c6]Alberto Momigliano, Frank Pfenning:
The Relative Complement Problem for Higher-Order Patterns. ICLP 1999: 380-394 - 1997
- [j1]Alberto Momigliano
Regular Search Spaces and Constructive Negation. J. Log. Comput. 7(3): 367-403 (1997) - [c5]Alberto Momigliano, Mario Ornaghi:
Towards a Logic for Reasoning About Logic Programs Transformation. LOPSTR 1997: 226-244 - 1995
- [c4]Alberto Momigliano, Mario Ornaghi:
An Introduction to Regular Search Spaces. GULP-PRODE 1995: 183-194 - 1994
- [e1]Roy Dyckhoff, Lars-Henrik Eriksson, Alberto Momigliano, Mario Ornaghi:
ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994. 1994 [contents] - 1993
- [c3]Alberto Momigliano, Mario Ornaghi:
Regular Search Spaces as a Foundation of Logic Programming. ELP 1993: 222-254 - 1992
- [c2]Alberto Momigliano
Minimal Negation and Hereditary Harrop Formulae. LFCS 1992: 326-335 - 1990
- [c1]Franco Torquati, Massimo Paltrinieri, Alberto Momigliano:
A Constraint Satisfaction Approach to Operative Management of Aircraft Routing. IEA/AIE (Vol. 2) 1990: 1140-1146
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-04 20:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: