dblp.uni-trier.dewww.uni-trier.de

Alberto Momigliano

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
31EEAmy P. Felty, Alberto Momigliano: Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax CoRR abs/0811.4367: (2008)
30EEAlwen Tiu, Alberto Momigliano: Induction and Co-induction in Sequent Calculus CoRR abs/0812.4727: (2008)
29EEAlberto Momigliano, Alan J. Martin, Amy P. Felty: Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax. Electr. Notes Theor. Comput. Sci. 196: 85-93 (2008)
2007
28EEMauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi: Snapshot Generation in a Constructive Object-Oriented Modeling Language. LOPSTR 2007: 169-184
27EEJames Cheney, Alberto Momigliano: Mechanized metatheory model-checking. PPDP 2007: 75-86
26EEAlberto Momigliano, Brigitte Pientka: Preface. Electr. Notes Theor. Comput. Sci. 174(5): 1-2 (2007)
25EEDavid Aspinall, Lennart Beringer, Alberto Momigliano: Optimisation Validation. Electr. Notes Theor. Comput. Sci. 176(3): 37-59 (2007)
24EEDavid Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A program logic for resources. Theor. Comput. Sci. 389(3): 411-445 (2007)
2006
23EEMario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano: A Constructive Object Oriented Modeling Language for Information Systems. Electr. Notes Theor. Comput. Sci. 153(1): 55-75 (2006)
2005
22 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
2004
21EEKung-Kiu Lau, Alberto Momigliano, Mario Ornaghi: Constructive Specifications for Compositional Units. LOPSTR 2004: 198-214
20EELennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska: Automatic Certification of Heap Consumption. LPAR 2004: 347-362
19EEDavid Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A Program Logic for Resource Verification. TPHOLs 2004: 34-49
2003
18EEAlberto Momigliano, Simon Ambler: Multi-level Meta-reasoning with Higher-Order Abstract Syntax. FoSSaCS 2003: 375-391
17EES. J. Ambler, Roy L. Crole, Alberto Momigliano: A definitional approach to primitivexs recursion over higher order abstract syntax. MERLIN 2003
16EEAlberto Momigliano, Jeff Polakow: A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. MERLIN 2003
15EEAlberto Momigliano, Alwen Fernanto Tiu: Induction and Co-induction in Sequent Calculus. TYPES 2003: 293-308
14EEAlberto Momigliano, Frank Pfenning: Higher-order pattern complement and the strict lambda-calculus. ACM Trans. Comput. Log. 4(4): 493-529 (2003)
2002
13EESimon Ambler, Roy L. Crole, Alberto Momigliano: Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction. TPHOLs 2002: 13-30
12EEAlberto Momigliano, Simon Ambler, Roy L. Crole: A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity. Electr. Notes Theor. Comput. Sci. 70(2): (2002)
2001
11EEAlberto Momigliano, Frank Pfenning: Higher-Order Pattern Complement and the Strict Lambda-Calculus CoRR cs.LO/0109072: (2001)
10EESimon Ambler, Roy L. Crole, Alberto Momigliano: Preface: Mechanised Reasoning about Languages with Variable Binding 2001. Electr. Notes Theor. Comput. Sci. 58(1): (2001)
2000
9EEAlberto Momigliano: Elimination of Negation in a Logical Framework. CSL 2000: 411-426
1999
8 Alberto Momigliano, Frank Pfenning: The Relative Complement Problem for Higher-Order Patterns. APPIA-GULP-PRODE 1999: 497-512
7 Alberto Momigliano, Frank Pfenning: The Relative Complement Problem for Higher-Order Patterns. ICLP 1999: 380-394
1997
6EEAlberto Momigliano, Mario Ornaghi: Towards a Logic for Reasoning About Logic Programs Transformation. LOPSTR 1997: 226-244
5 Alberto Momigliano, Mario Ornaghi: Regular Search Spaces and Constructive Negation. J. Log. Comput. 7(3): 367-403 (1997)
1995
4 Alberto Momigliano, Mario Ornaghi: An Introduction to Regular Search Spaces. GULP-PRODE 1995: 183-194
1993
3 Alberto Momigliano, Mario Ornaghi: Regular Search Spaces as a Foundation of Logic Programming. ELP 1993: 222-254
1992
2 Alberto Momigliano: Minimal Negation and Hereditary Harrop Formulae. LFCS 1992: 326-335
1990
1EEFranco Torquati, Massimo Paltrinieri, Alberto Momigliano: A Constraint Satisfaction Approach to Operative Management of Aircraft Routing. IEA/AIE (Vol. 2) 1990: 1140-1146

Coauthor Index

1S. J. Ambler [17]
2Simon Ambler [10] [12] [13] [18]
3David Aspinall [19] [22] [24] [25]
4Marco Benini [23]
5Lennart Beringer [19] [20] [22] [24] [25]
6James Cheney [27]
7Roy L. Crole [10] [12] [13] [17]
8Amy P. Felty [29] [31]
9Mauro Ferrari [23] [28]
10Camillo Fiorentini [23] [28]
11Stephen Gilmore (Stephen T. Gilmore) [22]
12Martin Hofmann [19] [20] [22] [24]
13Kung-Kiu Lau [21]
14Hans-Wolfgang Loidl [19] [22] [24]
15Kenneth MacKenzie [22]
16Alan J. Martin [29]
17Mario Ornaghi [3] [4] [5] [6] [21] [23] [28]
18Massimo Paltrinieri [1]
19Frank Pfenning [7] [8] [11] [14]
20Brigitte Pientka [26]
21Jeff Polakow (Jeffrey Polakow) [16]
22Donald Sannella [22]
23Olha Shkaravska [20] [22]
24Ian Stark [22]
25Alwen Tiu (Alwen Fernanto Tiu) [15] [30]
26Franco Torquati [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)