Alberto Momigliano

2008
31	EE	Amy P. Felty, Alberto Momigliano: Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax CoRR abs/0811.4367: (2008)
30	EE	Alwen Tiu, Alberto Momigliano: Induction and Co-induction in Sequent Calculus CoRR abs/0812.4727: (2008)
29	EE	Alberto 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
28	EE	Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi: Snapshot Generation in a Constructive Object-Oriented Modeling Language. LOPSTR 2007: 169-184
27	EE	James Cheney, Alberto Momigliano: Mechanized metatheory model-checking. PPDP 2007: 75-86
26	EE	Alberto Momigliano, Brigitte Pientka: Preface. Electr. Notes Theor. Comput. Sci. 174(5): 1-2 (2007)
25	EE	David Aspinall, Lennart Beringer, Alberto Momigliano: Optimisation Validation. Electr. Notes Theor. Comput. Sci. 176(3): 37-59 (2007)
24	EE	David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A program logic for resources. Theor. Comput. Sci. 389(3): 411-445 (2007)
2006
23	EE	Mario 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
21	EE	Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi: Constructive Specifications for Compositional Units. LOPSTR 2004: 198-214
20	EE	Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska: Automatic Certification of Heap Consumption. LPAR 2004: 347-362
19	EE	David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A Program Logic for Resource Verification. TPHOLs 2004: 34-49
2003
18	EE	Alberto Momigliano, Simon Ambler: Multi-level Meta-reasoning with Higher-Order Abstract Syntax. FoSSaCS 2003: 375-391
17	EE	S. J. Ambler, Roy L. Crole, Alberto Momigliano: A definitional approach to primitivexs recursion over higher order abstract syntax. MERLIN 2003
16	EE	Alberto Momigliano, Jeff Polakow: A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. MERLIN 2003
15	EE	Alberto Momigliano, Alwen Fernanto Tiu: Induction and Co-induction in Sequent Calculus. TYPES 2003: 293-308
14	EE	Alberto Momigliano, Frank Pfenning: Higher-order pattern complement and the strict lambda-calculus. ACM Trans. Comput. Log. 4(4): 493-529 (2003)
2002
13	EE	Simon Ambler, Roy L. Crole, Alberto Momigliano: Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction. TPHOLs 2002: 13-30
12	EE	Alberto 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
11	EE	Alberto Momigliano, Frank Pfenning: Higher-Order Pattern Complement and the Strict Lambda-Calculus CoRR cs.LO/0109072: (2001)
10	EE	Simon Ambler, Roy L. Crole, Alberto Momigliano: Preface: Mechanised Reasoning about Languages with Variable Binding 2001. Electr. Notes Theor. Comput. Sci. 58(1): (2001)
2000
9	EE	Alberto 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
6	EE	Alberto 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
1	EE	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

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

Colors in the list of coauthors