MOMIGLIANO, ALBERTO DAVIDE ADOLFO

MOMIGLIANO, ALBERTO DAVIDE ADOLFO  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 59 (tempo di esecuzione: 0.003 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A constraint satisfaction approach to operative management of aircraft routing 1-gen-1990 A. Momigliano + Book Part (author) -
A constructive object oriented modeling language for information systems 1-mar-2006 M. OrnaghiC. FiorentiniA. Momigliano + Article (author) -
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity 1-gen-2002 A. Momigliano + Article (author) -
A program logic for resources 1-dic-2007 A. Momigliano + Article (author) -
A supposedly fun thing i may have to do again : a HOAS encoding of Howe's method 1-gen-2012 A. Momigliano Book Part (author) -
Advances in property-based testing for alpha prolog 1-gen-2016 A. Momigliano + Book Part (author) -
alphaCheck : A mechanized metatheory model checker 22-mag-2017 A. Momigliano + Article (author) -
Applying ASP to UML model validation 1-gen-2009 M. OrnaghiC. FiorentiniA. MomiglianoF. Pagano Book Part (author) -
Automatic Certification of Heap Consumption 1-gen-2005 A. Momigliano + Book Part (author) -
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions 1-gen-2017 A. Momigliano + Article (author) -
The Blame Game for Property-based Testing 1-lug-2019 A. Momigliano Book Part (author) -
A case study in programming coinductive proofs: Howe's method 31-ott-2018 MOMIGLIANO, ALBERTO + Article (author) -
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction 1-gen-2002 A. Momigliano + Book Part (author) -
Constraint-based aircraft routing 1-gen-1995 A. Momigliano + Article (author) -
A constructive approach to testing model transformations 1-gen-2010 C. FiorentiniA. MomiglianoM. Ornaghi + Book Part (author) -
Constructive specifications for compositional units 1-gen-2005 A. MomiglianoM. Ornaghi + Book Part (author) -
Cut elimination for a logic with induction and co-induction 1-gen-2012 A. Momigliano + Article (author) -
A definitional approach to primitive recursion over higher order abstract syntax 1-gen-2003 A. Momigliano + Book Part (author) -
Elimination of Negation in a Logical Framework 1-gen-2000 A. Momigliano Book Part (author) -
Focusing on contraction 1-gen-2013 C. FiorentiniA. Momigliano + Book Part (author) -