- Automatic Certification of Heap Consumption Lennart Beringer1, Martin Hofmann2, Alberto Momigliano1, Olha Shkaravska2
- Snapshot generation in a constructive object-oriented modeling language
- Curriculum Vit di Alberto Momigliano Posizione attuale ed impieghi precedenti
- Journal of Automated Reasoning manuscript No. (will be inserted by the editor)
- Applying ASP to UML Model Validation Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano
- Snapshot generation in a constructive object-oriented modeling language
- CLASE 2005 Preliminary Version A Constructive Modeling Language for Object
- Higher-Order Pattern Complement and the Strict ALBERTO MOMIGLIANO
- Snapshot Generation in a Constructive Object-Oriented Modeling Language
- Optimisation Validation David Aspinall 1
- A Step-to-Step Example of Negation Elimination in Hereditary Harrop Formulae
- Mobile Resource Guarantees Evaluation Paper
- Towards certificate generation for linear heap consumption Lennart Beringer1, Martin Hofmann2, Alberto Momigliano1, Olha Shkaravska2
- A Combinator and Presheaf Topos Model for Primitive Recursion over Higher Order Abstract Syntax ?
- Proof-Theoretic and Higher-Order Extensions of Logic Programming
- Regular Search Spaces and Constructive ALBERTO MOMIGLIANO, Department of Philosophy, Carnegie Mellon
- Curriculum Vitae of Alberto Momigliano 1 Education
- Logic in Milan an informal workshop
