Alberto Momigliano

	2012
38		Amy P. Felty, Alberto Momigliano: Hybrid - A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax. J. Autom. Reasoning 48(1): 43-105 (2012)
	2010
37		Alberto Momigliano, Mario Ornaghi: Proof-Theoretic and Higher-Order Extensions of Logic Programming. 25 Years GULP 2010: 254-270
36		Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo: A Constructive Approach to Testing Model Transformations. ICMT 2010: 77-92
35		Alwen Tiu, Alberto Momigliano: Cut Elimination for a Logic with Induction and Co-induction CoRR abs/1009.6171: (2010)
	2009
34		Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano: Applying ASP to UML Model Validation. LPNMR 2009: 457-463
33		Amy P. Felty, Alberto Momigliano: Reasoning with hypothetical judgments and open terms in hybrid. PPDP 2009: 83-92
	2008
32		Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi: Towards a Type Discipline for Answer Set Programming. TYPES 2008: 117-135
31		Amy P. Felty, Alberto Momigliano: Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax CoRR abs/0811.4367: (2008)
30		Alwen Tiu, Alberto Momigliano: Induction and Co-induction in Sequent Calculus CoRR abs/0812.4727: (2008)
29		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		Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi: Snapshot Generation in a Constructive Object-Oriented Modeling Language. LOPSTR 2007: 169-184
27		James Cheney, Alberto Momigliano: Mechanized metatheory model-checking. PPDP 2007: 75-86
26		Alberto Momigliano, Brigitte Pientka: Preface. Electr. Notes Theor. Comput. Sci. 174(5): 1-2 (2007)
25		David Aspinall, Lennart Beringer, Alberto Momigliano: Optimisation Validation. Electr. Notes Theor. Comput. Sci. 176(3): 37-59 (2007)
24		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		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		Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi: Constructive Specifications for Compositional Units. LOPSTR 2004: 198-214
20		Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska: Automatic Certification of Heap Consumption. LPAR 2004: 347-362
19		David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A Program Logic for Resource Verification. TPHOLs 2004: 34-49
	2003
18		Alberto Momigliano, Simon Ambler: Multi-level Meta-reasoning with Higher-Order Abstract Syntax. FoSSaCS 2003: 375-391
17		S. J. Ambler, Roy L. Crole, Alberto Momigliano: A definitional approach to primitivexs recursion over higher order abstract syntax. MERLIN 2003
16		Alberto Momigliano, Jeff Polakow: A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. MERLIN 2003
15		Alberto Momigliano, Alwen Fernanto Tiu: Induction and Co-induction in Sequent Calculus. TYPES 2003: 293-308
14		Alberto Momigliano, Frank Pfenning: Higher-order pattern complement and the strict lambda-calculus. ACM Trans. Comput. Log. 4(4): 493-529 (2003)
	2002
13		Simon Ambler, Roy L. Crole, Alberto Momigliano: Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction. TPHOLs 2002: 13-30
12		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): 60-75 (2002)
	2001
11		Alberto Momigliano, Frank Pfenning: Higher-Order Pattern Complement and the Strict Lambda-Calculus CoRR cs.LO/0109072: (2001)
10		Simon Ambler, Roy L. Crole, Alberto Momigliano: Preface: Mechanised Reasoning about Languages with Variable Binding 2001. Electr. Notes Theor. Comput. Sci. 58(1): 115-116 (2001)
	2000
9		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		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		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] [33] [38]
9	Mauro Ferrari	[23] [28]
10	Camillo Fiorentini	[23] [28] [32] [34] [36]
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] [32] [34] [36] [37]
18	Francesco Pagano	[34]
19	Massimo Paltrinieri	[1]
20	Frank Pfenning	[7] [8] [11] [14]
21	Brigitte Pientka	[26]
22	Iman Poernomo	[36]
23	Jeff Polakow (Jeffrey Polakow)	[16]
24	Donald Sannella	[22]
25	Olha Shkaravska	[20] [22]
26	Ian Stark	[22]
27	Alwen Tiu (Alwen Fernanto Tiu)	[15] [30] [35]
28	Franco Torquati	[1]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page