The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alberto Momigliano: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alberto Momigliano, Mario Ornaghi
    An Introduction to Regular Search Spaces. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:183-194 [Conf]
  2. 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]
  3. Alberto Momigliano
    Elimination of Negation in a Logical Framework. [Citation Graph (0, 0)][DBLP]
    CSL, 2000, pp:411-426 [Conf]
  4. Alberto Momigliano, Mario Ornaghi
    Regular Search Spaces as a Foundation of Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:222-254 [Conf]
  5. Alberto Momigliano, Simon Ambler
    Multi-level Meta-reasoning with Higher-Order Abstract Syntax. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:375-391 [Conf]
  6. 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]
  7. 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]
  8. Alberto Momigliano, Frank Pfenning
    The Relative Complement Problem for Higher-Order Patterns. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:380-394 [Conf]
  9. 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]
  10. Alberto Momigliano
    Minimal Negation and Hereditary Harrop Formulae. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:326-335 [Conf]
  11. Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi
    Constructive Specifications for Compositional Units. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:198-214 [Conf]
  12. Alberto Momigliano, Mario Ornaghi
    Towards a Logic for Reasoning About Logic Programs Transformation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:226-244 [Conf]
  13. Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska
    Automatic Certification of Heap Consumption. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:347-362 [Conf]
  14. 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]
  15. 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]
  16. Alberto Momigliano, Alwen Fernanto Tiu
    Induction and Co-induction in Sequent Calculus. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:293-308 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. Alberto Momigliano, Brigitte Pientka
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:1-2 [Journal]
  21. 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]
  22. 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]
  23. 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]
  24. James Cheney, Alberto Momigliano
    Mechanized metatheory model-checking. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:75-86 [Conf]
  25. 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]
  26. 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]

  27. Proof-Theoretic and Higher-Order Extensions of Logic Programming. [Citation Graph (, )][DBLP]


  28. Snapshot Generation in a Constructive Object-Oriented Modeling Language. [Citation Graph (, )][DBLP]


  29. Applying ASP to UML Model Validation. [Citation Graph (, )][DBLP]


  30. Reasoning with hypothetical judgments and open terms in hybrid. [Citation Graph (, )][DBLP]


  31. Towards a Type Discipline for Answer Set Programming. [Citation Graph (, )][DBLP]


  32. A Constructive Approach to Testing Model Transformations. [Citation Graph (, )][DBLP]


  33. Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax [Citation Graph (, )][DBLP]


  34. Induction and Co-induction in Sequent Calculus [Citation Graph (, )][DBLP]


  35. Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax. [Citation Graph (, )][DBLP]


Search in 2.570secs, Finished in 2.573secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002