MOMIGLIANO, ALBERTO DAVIDE ADOLFO

MOMIGLIANO, ALBERTO DAVIDE ADOLFO  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 57 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A case study in programming coinductive proofs: Howe's method 31-ott-2018 MOMIGLIANO, ALBERTO + Article (author) -
A constraint satisfaction approach to operative management of aircraft routing 1-gen-1990 A. Momigliano + Book Part (author) -
A constructive approach to testing model transformations 1-gen-2010 C. FiorentiniA. MomiglianoM. Ornaghi + Book Part (author) -
A constructive object oriented modeling language for information systems 1-mar-2006 M. OrnaghiC. FiorentiniA. Momigliano + Article (author) -
A definitional approach to primitive recursion over higher order abstract syntax 1-gen-2003 A. Momigliano + Book Part (author) -
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines 1-gen-2003 A. Momigliano + Book Part (author) -
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity 1-gen-2002 A. Momigliano + Article (author) -
A program logic for resource verification 1-gen-2004 A. Momigliano + Book Part (author) -
A program logic for resources 1-dic-2007 A. Momigliano + Article (author) -
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic 14-set-2015 C. FiorentiniA. 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) -
An Open Challenge Problem Repository for Systems Supporting Binders 15-lug-2015 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) -
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) -
Constructive specifications for compositional units 1-gen-2005 A. MomiglianoM. Ornaghi + Book Part (author) -