ORNAGHI, MARIO

ORNAGHI, MARIO  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 21 (tempo di esecuzione: 0.005 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A constructive object oriented modeling language for information systems 1-mar-2006 M. OrnaghiC. FiorentiniA. Momigliano + Article (author) -
A Software Component Model and Its Preliminary Formalisation 1-gen-2006 M. Ornaghi + Book Part (author) -
Answer Set Semantics vs. Information Term Semantics 1-gen-2007 C. FiorentiniM. Ornaghi Conference Object -
Applying ASP to UML model validation 1-gen-2009 M. OrnaghiC. FiorentiniA. MomiglianoF. Pagano Book Part (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) -
Correct OO Systems in Computational Logic 1-gen-2004 Mario Ornaghi + Book Part (author) -
Extracting exact time bounds from logical proofs 1-gen-2002 C. FiorentiniM. Ornaghi + Book Part (author) -
FUN PLEdGE : a FUNny platformers LEvels GEnerator 1-gen-2015 D. MaggioriniM. OrnaghiL.A. Ripamonti + Book Part (author) -
LOGI: A didactic tool for a beginners' course in logic (system description) 1-gen-2017 M. OrnaghiC. FiorentiniA. Momigliano Book Part (author) -
Model Validation through CooML Snapshot Generation 1-gen-2008 C. FiorentiniM. Ornaghi Book Part (author) -
Monsters of Darwin: a strategic game based on Artificial Intelligence and Genetic Algorithms 13-ott-2017 L.A. RipamontiORNAGHI, MARIOD. GadiaD. Maggiorini + Book Part (author) -
On Uniformly Constructive and Semiconstructive Formal Systems 1-gen-2003 FERRARI, MAUROMario Ornaghi + Article (author) -
Preface. In Memoriam Pierangelo Miglioli (1946-1999). 1-gen-2003 Mario Ornaghi Article (author) -
Proof-Theoretic and Higher-Order Extensions of Logic Programming 1-gen-2010 A. MomiglianoM. Ornaghi Book Part (author) -
Regular search spaces and constructive negation 1-gen-1997 A. MomiglianoM. Ornaghi Article (author) -
Snapshot generation in a constructive object-oriented modeling language 1-gen-2008 C. FiorentiniA. MomiglianoM. Ornaghi + Book Part (author) -
Snapshots generation via constructive logic 1-gen-2005 M. OrnaghiC. FiorentiniA. Momigliano Conference Object -
Specifying Compositional Units for Correct Program Development in Computational Logic 1-gen-2004 Mario Ornaghi + Book Part (author) -
Towards a Logic for Reasoning About Logic Programs Transformation 1-gen-1998 A. MomiglianoM. Ornaghi Book Part (author) -