MOMIGLIANO, ALBERTO DAVIDE ADOLFO
MOMIGLIANO, ALBERTO DAVIDE ADOLFO
Dipartimento di Informatica Giovanni Degli Antoni
A constraint satisfaction approach to operative management of aircraft routing
1990-01-01 F. Torquati, M. Paltrinieri, A. Momigliano
A constructive object oriented modeling language for information systems
2006-03-01 M. Ornaghi, M. Benini, M. Ferrari, C. Fiorentini, A. Momigliano
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity
2002-01-01 A. Momigliano, S. Ambler, R. L. Crole
A program logic for resources
2007-12-01 D. Aspinall, L. Beringer, M. Hofmann, H. -W. Loidl, A. Momigliano
A supposedly fun thing i may have to do again : a HOAS encoding of Howe's method
2012-01-01 A. Momigliano
Advances in property-based testing for alpha prolog
2016-01-01 J. Cheney, A. Momigliano, M. Pessina
alphaCheck : A mechanized metatheory model checker
2017-05-22 J. Cheney, A. Momigliano
Applying ASP to UML model validation
2009-01-01 M. Ornaghi, C. Fiorentini, A. Momigliano, F. Pagano
Automatic Certification of Heap Consumption
2005-01-01 L. Beringer, M. Hofmann, A. Momigliano, O. Shkaravska
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions
2017-01-01 A. Felty, A. Momigliano, B. Pientka
The Blame Game for Property-based Testing
2019-07-01 A. Momigliano
A case study in programming coinductive proofs: Howe's method
2018-10-31 A. Momigliano, B. Pientka, D. Thibodeau
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction
2002-01-01 S.J. Ambler, R.L. Crole, A. Momigliano
Constraint-based aircraft routing
1995-01-01 M. Paltrinieri, A. Momigliano, F. Torquati
A constructive approach to testing model transformations
2010-01-01 C. Fiorentini, A. Momigliano, M. Ornaghi, I. Poernomo
Constructive specifications for compositional units
2005-01-01 K.-K. Lau, A. Momigliano, M. Ornaghi
Cut elimination for a logic with induction and co-induction
2012-01-01 A. Tiu, A. Momigliano
A definitional approach to primitive recursion over higher order abstract syntax
2003-01-01 S.J. Ambler, R.L. Crole, A. Momigliano
Elimination of Negation in a Logical Framework
2000-01-01 A. Momigliano
Focusing on contraction
2013-01-01 A. Avellone, C. Fiorentini, A. Momigliano