- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j11 |      | Alwen Tiu, Alberto Momigliano: Cut elimination for a logic with induction and co-induction. J. Applied Logic 10(4): 330-367 (2012) |
| j10 | | 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 | ||
| c24 | | Alberto Momigliano, Mario Ornaghi: Proof-Theoretic and Higher-Order Extensions of Logic Programming. 25 Years GULP 2010: 254-270 |
| c23 | | Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo: A Constructive Approach to Testing Model Transformations. ICMT 2010: 77-92 |
| i4 | | Alwen Tiu, Alberto Momigliano: Cut Elimination for a Logic with Induction and Co-induction. CoRR abs/1009.6171 (2010) |
| 2009 | ||
| c22 | | Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano: Applying ASP to UML Model Validation. LPNMR 2009: 457-463 |
| c21 | | Amy P. Felty, Alberto Momigliano: Reasoning with hypothetical judgments and open terms in hybrid. PPDP 2009: 83-92 |
| 2008 | ||
| j9 | | 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) |
| c20 | | Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi: Towards a Type Discipline for Answer Set Programming. TYPES 2008: 117-135 |
| i3 | | Amy P. Felty, Alberto Momigliano: Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax. CoRR abs/0811.4367 (2008) |
| i2 | | Alwen Tiu, Alberto Momigliano: Induction and Co-induction in Sequent Calculus. CoRR abs/0812.4727 (2008) |
| 2007 | ||
| j8 | | |
| j7 | | David Aspinall, Lennart Beringer, Alberto Momigliano: Optimisation Validation. Electr. Notes Theor. Comput. Sci. 176(3): 37-59 (2007) |
| j6 | | David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A program logic for resources. Theor. Comput. Sci. 389(3): 411-445 (2007) |
| c19 | | Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi: Snapshot Generation in a Constructive Object-Oriented Modeling Language. LOPSTR 2007: 169-184 |
| c18 | | |
| 2006 | ||
| j5 | | 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 | ||
| c17 |  | 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 | ||
| c16 | | Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi: Constructive Specifications for Compositional Units. LOPSTR 2004: 198-214 |
| c15 | | Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska: Automatic Certification of Heap Consumption. LPAR 2004: 347-362 |
| c14 | | David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A Program Logic for Resource Verification. TPHOLs 2004: 34-49 |
| 2003 | ||
| j4 | | Alberto Momigliano, Frank Pfenning: Higher-order pattern complement and the strict lambda-calculus. ACM Trans. Comput. Log. 4(4): 493-529 (2003) |
| c13 | | Alberto Momigliano, Simon Ambler: Multi-level Meta-reasoning with Higher-Order Abstract Syntax. FoSSaCS 2003: 375-391 |
| c12 | | S. J. Ambler, Roy L. Crole, Alberto Momigliano: A definitional approach to primitivexs recursion over higher order abstract syntax. MERLIN 2003 |
| c11 | | Alberto Momigliano, Jeff Polakow: A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. MERLIN 2003 |
| c10 | | Alberto Momigliano, Alwen Fernanto Tiu: Induction and Co-induction in Sequent Calculus. TYPES 2003: 293-308 |
| 2002 | ||
| j3 | | 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) |
| c9 | | Simon Ambler, Roy L. Crole, Alberto Momigliano: Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction. TPHOLs 2002: 13-30 |
| 2001 | ||
| j2 | | 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) |
| i1 | | Alberto Momigliano, Frank Pfenning: Higher-Order Pattern Complement and the Strict Lambda-Calculus. CoRR cs.LO/0109072 (2001) |
| 2000 | ||
| c8 | | |
| 1999 | ||
| c7 | | Alberto Momigliano, Frank Pfenning: The Relative Complement Problem for Higher-Order Patterns. APPIA-GULP-PRODE 1999: 497-512 |
| c6 | | Alberto Momigliano, Frank Pfenning: The Relative Complement Problem for Higher-Order Patterns. ICLP 1999: 380-394 |
| 1997 | ||
| j1 | | Alberto Momigliano, Mario Ornaghi: Regular Search Spaces and Constructive Negation. J. Log. Comput. 7(3): 367-403 (1997) |
| c5 | | Alberto Momigliano, Mario Ornaghi: Towards a Logic for Reasoning About Logic Programs Transformation. LOPSTR 1997: 226-244 |
| 1995 | ||
| c4 | | Alberto Momigliano, Mario Ornaghi: An Introduction to Regular Search Spaces. GULP-PRODE 1995: 183-194 |
| 1993 | ||
| c3 | | Alberto Momigliano, Mario Ornaghi: Regular Search Spaces as a Foundation of Logic Programming. ELP 1993: 222-254 |
| 1992 | ||
| c2 | | |
| 1990 | ||
| c1 | | Franco Torquati, Massimo Paltrinieri, Alberto Momigliano: A Constraint Satisfaction Approach to Operative Management of Aircraft Routing. IEA/AIE (Vol. 2) 1990: 1140-1146 |
Colors in the list of coauthors
Last update Sat May 25 20:35:01 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page