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 |