All Stories

  1. Split Decisions: Explicit Contexts for Substructural Languages

    Article • January 2025, ACM (Association for Computing Machinery)

    Alberto Momigliano, Daniel Zackon

  2. A case study in programming coinductive proofs: Howe's method

    Article • Mathematical Structures in Computer Science, October 2018, Cambridge University Press

    Alberto Momigliano

  3. Preface

    Article • Fundamenta Informaticae, July 2018, IOS Press

    Alberto Pettorossi, Alberto Momigliano

  4. From Constructivism to Logic Programming: an Homage to Mario Ornaghi

    Article • Fundamenta Informaticae, July 2018, IOS Press

    Alberto Momigliano

  5. Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions

    Article • Mathematical Structures in Computer Science, May 2017, Cambridge University Press

    Alberto Momigliano

  6. αCheck: A mechanized metatheory model checker

    Article • Theory and Practice of Logic Programming, May 2017, Cambridge University Press

    Alberto Momigliano

  7. Validating the Meta-Theory of Programming Languages (Short Paper)

    Article • January 2017, Springer Science + Business Media

    Alberto Momigliano

  8. Advances in Property-Based Testing for $$\alpha $$ Prolog

    Article • January 2016, Springer Science + Business Media

    Alberto Momigliano

  9. A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic

    Article • Fundamenta Informaticae, September 2015, IOS Press

    Alberto Momigliano

  10. An Open Challenge Problem Repository for Systems Supporting Binders

    Article • Electronic Proceedings in Theoretical Computer Science, July 2015, Open Publishing Association

    Alberto Momigliano

  11. The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations

    Article • Journal of Automated Reasoning, July 2015, Springer Science + Business Media

    Alberto Momigliano

  12. Cut elimination for a logic with induction and co-induction

    Article • Journal of Applied Logic, December 2012, Elsevier

    Alberto Momigliano

  13. A supposedly fun thing i may have to do again

    Article • January 2012, ACM (Association for Computing Machinery)

    Alberto Momigliano

  14. Hybrid

    Article • Journal of Automated Reasoning, August 2010, Springer Science + Business Media

    Alberto Momigliano

  15. A Constructive Approach to Testing Model Transformations

    Article • January 2010, Springer Science + Business Media

    Alberto Momigliano

  16. Proof-Theoretic and Higher-Order Extensions of Logic Programming

    Article • January 2010, Springer Science + Business Media

    Alberto Momigliano

  17. Applying ASP to UML Model Validation

    Article • January 2009, Springer Science + Business Media

    Alberto Momigliano

  18. Reasoning with hypothetical judgments and open terms in hybrid

    Article • January 2009, ACM (Association for Computing Machinery)

    Alberto Momigliano

  19. Towards a Type Discipline for Answer Set Programming

    Article • January 2009, Springer Science + Business Media

    Alberto Momigliano

  20. Snapshot Generation in a Constructive Object-Oriented Modeling Language

    Article • January 2008, Springer Science + Business Media

    Alberto Momigliano

  21. Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax

    Article • Electronic Notes in Theoretical Computer Science, January 2008, Elsevier

    Alberto Momigliano

  22. A program logic for resources

    Article • Theoretical Computer Science, December 2007, Elsevier

    Alberto Momigliano

  23. Optimisation Validation

    Article • Electronic Notes in Theoretical Computer Science, July 2007, Elsevier

    Alberto Momigliano

  24. Preface

    Article • Electronic Notes in Theoretical Computer Science, June 2007, Elsevier

    Alberto Momigliano

  25. Mechanized metatheory model-checking

    Article • January 2007, ACM (Association for Computing Machinery)

    Alberto Momigliano

  26. A Constructive Object Oriented Modeling Language for Information Systems

    Article • Electronic Notes in Theoretical Computer Science, March 2006, Elsevier

    Alberto Momigliano

  27. Higher-order pattern complement and the strict λ-calculus

    Article • ACM Transactions on Computational Logic, October 2003, ACM (Association for Computing Machinery)

    Alberto Momigliano

  28. A definitional approach to primitivexs recursion over higher order abstract syntax

    Article • January 2003, ACM (Association for Computing Machinery)

    Alberto Momigliano

  29. A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines

    Article • January 2003, ACM (Association for Computing Machinery)

    Alberto Momigliano

  30. A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity

    Article • Electronic Notes in Theoretical Computer Science, December 2002, Elsevier

    Alberto Momigliano

  31. Preface

    Article • Electronic Notes in Theoretical Computer Science, November 2001, Elsevier

    Alberto Momigliano

  32. Regular search spaces and constructive negation

    Article • Journal of Logic and Computation, June 1997, Oxford University Press (OUP)

    Alberto Momigliano

  33. Minimal negation and Hereditary Harrop formulae

    Article • Springer Science + Business Media

    Alberto Momigliano