|
Search the dblp DataBase
Alberto Momigliano:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Alberto Momigliano, Mario Ornaghi
An Introduction to Regular Search Spaces. [Citation Graph (0, 0)][DBLP] GULP-PRODE, 1995, pp:183-194 [Conf]
- Alberto Momigliano, Frank Pfenning
The Relative Complement Problem for Higher-Order Patterns. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1999, pp:497-512 [Conf]
- Alberto Momigliano
Elimination of Negation in a Logical Framework. [Citation Graph (0, 0)][DBLP] CSL, 2000, pp:411-426 [Conf]
- Alberto Momigliano, Mario Ornaghi
Regular Search Spaces as a Foundation of Logic Programming. [Citation Graph (0, 0)][DBLP] ELP, 1993, pp:222-254 [Conf]
- Alberto Momigliano, Simon Ambler
Multi-level Meta-reasoning with Higher-Order Abstract Syntax. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2003, pp:375-391 [Conf]
- S. J. Ambler, Roy L. Crole, Alberto Momigliano
A definitional approach to primitivexs recursion over higher order abstract syntax. [Citation Graph (0, 0)][DBLP] MERLIN, 2003, pp:- [Conf]
- Alberto Momigliano, Jeff Polakow
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. [Citation Graph (0, 0)][DBLP] MERLIN, 2003, pp:- [Conf]
- Alberto Momigliano, Frank Pfenning
The Relative Complement Problem for Higher-Order Patterns. [Citation Graph (0, 0)][DBLP] ICLP, 1999, pp:380-394 [Conf]
- Franco Torquati, Massimo Paltrinieri, Alberto Momigliano
A Constraint Satisfaction Approach to Operative Management of Aircraft Routing. [Citation Graph (0, 0)][DBLP] IEA/AIE (Vol. 2), 1990, pp:1140-1146 [Conf]
- Alberto Momigliano
Minimal Negation and Hereditary Harrop Formulae. [Citation Graph (0, 0)][DBLP] LFCS, 1992, pp:326-335 [Conf]
- Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi
Constructive Specifications for Compositional Units. [Citation Graph (0, 0)][DBLP] LOPSTR, 2004, pp:198-214 [Conf]
- Alberto Momigliano, Mario Ornaghi
Towards a Logic for Reasoning About Logic Programs Transformation. [Citation Graph (0, 0)][DBLP] LOPSTR, 1997, pp:226-244 [Conf]
- Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska
Automatic Certification of Heap Consumption. [Citation Graph (0, 0)][DBLP] LPAR, 2004, pp:347-362 [Conf]
- Simon Ambler, Roy L. Crole, Alberto Momigliano
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction. [Citation Graph (0, 0)][DBLP] TPHOLs, 2002, pp:13-30 [Conf]
- David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano
A Program Logic for Resource Verification. [Citation Graph (0, 0)][DBLP] TPHOLs, 2004, pp:34-49 [Conf]
- Alberto Momigliano, Alwen Fernanto Tiu
Induction and Co-induction in Sequent Calculus. [Citation Graph (0, 0)][DBLP] TYPES, 2003, pp:293-308 [Conf]
- Alberto Momigliano, Frank Pfenning
Higher-Order Pattern Complement and the Strict Lambda-Calculus [Citation Graph (0, 0)][DBLP] CoRR, 2001, v:0, n:, pp:- [Journal]
- Alberto Momigliano, Simon Ambler, Roy L. Crole
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
- Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano
A Constructive Object Oriented Modeling Language for Information Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:55-75 [Journal]
- Alberto Momigliano, Brigitte Pientka
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:1-2 [Journal]
- Alberto Momigliano, Mario Ornaghi
Regular Search Spaces and Constructive Negation. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1997, v:7, n:3, pp:367-403 [Journal]
- Simon Ambler, Roy L. Crole, Alberto Momigliano
Preface: Mechanised Reasoning about Languages with Variable Binding 2001. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal]
- Alberto Momigliano, Frank Pfenning
Higher-order pattern complement and the strict lambda-calculus. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2003, v:4, n:4, pp:493-529 [Journal]
- James Cheney, Alberto Momigliano
Mechanized metatheory model-checking. [Citation Graph (0, 0)][DBLP] PPDP, 2007, pp:75-86 [Conf]
- 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). [Citation Graph (0, 0)][DBLP] Trends in Functional Programming, 2005, pp:211-226 [Conf]
- David Aspinall, Lennart Beringer, Alberto Momigliano
Optimisation Validation. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:37-59 [Journal]
Proof-Theoretic and Higher-Order Extensions of Logic Programming. [Citation Graph (, )][DBLP]
Snapshot Generation in a Constructive Object-Oriented Modeling Language. [Citation Graph (, )][DBLP]
Applying ASP to UML Model Validation. [Citation Graph (, )][DBLP]
Reasoning with hypothetical judgments and open terms in hybrid. [Citation Graph (, )][DBLP]
Towards a Type Discipline for Answer Set Programming. [Citation Graph (, )][DBLP]
A Constructive Approach to Testing Model Transformations. [Citation Graph (, )][DBLP]
Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax [Citation Graph (, )][DBLP]
Induction and Co-induction in Sequent Calculus [Citation Graph (, )][DBLP]
Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax. [Citation Graph (, )][DBLP]
Search in 0.040secs, Finished in 0.041secs
|