The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alberto Momigliano" ( http://dblp.L3S.de/Authors/Alberto_Momigliano )

  Author page on DBLP  Author page in RDF  Community of Alberto Momigliano in ASPL-2

Publication years (Num. hits)
1990-2003 (19) 2004-2009 (16) 2010-2017 (18) 2018-2019 (6)
Publication types (Num. hits)
article(24) incollection(1) inproceedings(31) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 13 keywords

Results
Found 60 publication records. Showing 59 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alberto Momigliano, Mario Ornaghi The Blame Game for Property-based Testing. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Roberto Blanco, Dale Miller 0001, Alberto Momigliano Property-Based Testing via Proof Reconstruction. Search on Bibsonomy PPDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano From Constructivism to Logic Programming: an Homage to Mario Ornaghi. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Camillo Fiorentini, Alberto Momigliano, Alberto Pettorossi Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Amy P. Felty, Alberto Momigliano, Brigitte Pientka Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Komauli, Alberto Momigliano Property-Based Testing of the Meta-Theory of Abstract Machines: an Experience Report. Search on Bibsonomy CILC The full citation details ... 2018 DBLP  BibTeX  RDF
1James Cheney, Alberto Momigliano αCheck: A mechanized metatheory model-checker. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1James Cheney, Alberto Momigliano αCheck: A mechanized metatheory model checker. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano LOGI: A Didactic Tool for a Beginners' Course in Logic (System Description). Search on Bibsonomy ICTCS/CILC The full citation details ... 2017 DBLP  BibTeX  RDF
1Guglielmo Fachini, Alberto Momigliano Validating the Meta-Theory of Programming Languages (Short Paper). Search on Bibsonomy SEFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1James Cheney, Alberto Momigliano, Matteo Pessina Advances in Property-Based Testing for $α$Prolog. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Camillo Fiorentini, Alberto Momigliano (eds.) Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016. Search on Bibsonomy CILC The full citation details ... 2016 DBLP  BibTeX  RDF
1James Cheney, Alberto Momigliano, Matteo Pessina Advances in Property-Based Testing for \alpha Prolog. Search on Bibsonomy TAP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic. Search on Bibsonomy Fundam. Inform. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Amy 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. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Amy P. Felty, Alberto Momigliano, Brigitte Pientka An Open Challenge Problem Repository for Systems Supporting Binders. Search on Bibsonomy LFMTP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Amy P. Felty, Alberto Momigliano, Brigitte Pientka The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations - Part 2 - A Survey. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano Focusing on Contraction. Search on Bibsonomy CILC The full citation details ... 2013 DBLP  BibTeX  RDF
1Alberto Momigliano, Brigitte Pientka, Randy Pollack (eds.) Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013 Search on Bibsonomy LFMTP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alwen Tiu, Alberto Momigliano Cut elimination for a logic with induction and co-induction. Search on Bibsonomy J. Applied Logic The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Amy P. Felty, Alberto Momigliano Hybrid - A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alwen Tiu, Alberto Momigliano Cut Elimination for a Logic with Induction and Co-induction Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Alberto Momigliano, Mario Ornaghi Proof-Theoretic and Higher-Order Extensions of Logic Programming. Search on Bibsonomy 25 Years GULP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo A Constructive Approach to Testing Model Transformations. Search on Bibsonomy ICMT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano Applying ASP to UML Model Validation. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Amy P. Felty, Alberto Momigliano Reasoning with hypothetical judgments and open terms in hybrid. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF name-binding, induction, logical frameworks, higher-order abstract syntax, interactive theorem proving
1Alberto Momigliano, Alan J. Martin, Amy P. Felty Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alwen Tiu, Alberto Momigliano Induction and Co-induction in Sequent Calculus Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Amy P. Felty, Alberto Momigliano Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi Towards a Type Discipline for Answer Set Programming. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF many sorted interpretation, type checking, Answer set programming, grounding
1David Aspinall 0001, Lennart Beringer, Alberto Momigliano Optimisation Validation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alberto Momigliano, Brigitte Pientka Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Lennart Beringer, Martin Hofmann 0001, Hans-Wolfgang Loidl, Alberto Momigliano A program logic for resources. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1James Cheney, Alberto Momigliano Mechanized metatheory model-checking. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF counterexample search, model checking, nominal logic
1Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi Snapshot Generation in a Constructive Object-Oriented Modeling Language. Search on Bibsonomy LOPSTR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano A Constructive Object Oriented Modeling Language for Information Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Donald Sannella, Martin Hofmann 0001, David Aspinall 0001, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska Mobile Resource Guarantees (project evaluation paper). Search on Bibsonomy Trends in Functional Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Lennart Beringer, Martin Hofmann 0001, Alberto Momigliano, Olha Shkaravska Automatic Certification of Heap Consumption. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David Aspinall 0001, Lennart Beringer, Martin Hofmann 0001, Hans-Wolfgang Loidl, Alberto Momigliano A Program Logic for Resource Verification. Search on Bibsonomy TPHOLs The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi Constructive Specifications for Compositional Units. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alberto Momigliano, Frank Pfenning Higher-order pattern complement and the strict lambda-calculus. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF higher-order patterns, strict ?-calculus, Complement
1Alberto Momigliano, Simon Ambler Multi-level Meta-reasoning with Higher-Order Abstract Syntax. Search on Bibsonomy FoSSaCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alberto Momigliano, Alwen Fernanto Tiu Induction and Co-induction in Sequent Calculus. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alberto Momigliano, Jeff Polakow A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. Search on Bibsonomy MERLIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF continuation machines, ordered linear logic, logical frameworks, higher order abstract syntax
1S. J. Ambler, Roy L. Crole, Alberto Momigliano A definitional approach to primitivexs recursion over higher order abstract syntax. Search on Bibsonomy MERLIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Isabelle HOL, topos theory, ?-calculus, higher order abstract syntax, primitive recursion, initial algebras
1Alberto Momigliano, Simon Ambler, Roy L. Crole A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Simon Ambler, Roy L. Crole, Alberto Momigliano Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction. Search on Bibsonomy TPHOLs The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Simon Ambler, Roy L. Crole, Alberto Momigliano Preface: Mechanised Reasoning about Languages with Variable Binding 2001. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alberto Momigliano, Frank Pfenning Higher-Order Pattern Complement and the Strict Lambda-Calculus Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Alberto Momigliano Elimination of Negation in a Logical Framework. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Alberto Momigliano, Frank Pfenning The Relative Complement Problem for Higher-Order Patterns. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Alberto Momigliano, Frank Pfenning The Relative Complement Problem for Higher-Order Patterns. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
1Alberto Momigliano, Mario Ornaghi Regular Search Spaces and Constructive Negation. Search on Bibsonomy J. Log. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Alberto Momigliano, Mario Ornaghi Towards a Logic for Reasoning About Logic Programs Transformation. Search on Bibsonomy LOPSTR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Alberto Momigliano, Mario Ornaghi An Introduction to Regular Search Spaces. Search on Bibsonomy GULP-PRODE The full citation details ... 1995 DBLP  BibTeX  RDF
1Roy Dyckhoff, Lars-Henrik Eriksson, Alberto Momigliano, Mario Ornaghi (eds.) ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994 Search on Bibsonomy ICLP Workshop: Proof-Theoretical Extensions on Logic Programming The full citation details ... 1994 DBLP  BibTeX  RDF
1Alberto Momigliano, Mario Ornaghi Regular Search Spaces as a Foundation of Logic Programming. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Alberto Momigliano Minimal Negation and Hereditary Harrop Formulae. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Franco Torquati, Massimo Paltrinieri, Alberto Momigliano A Constraint Satisfaction Approach to Operative Management of Aircraft Routing. Search on Bibsonomy IEA/AIE (Vol. 2) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #59 of 59 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license