LAGORIO, GIOVANNI

LAGORIO, GIOVANNI  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 56 (tempo di esecuzione: 0.013 secondi).
Titolo Data di pubblicazione Autore(i) File
A core calculus for Java exceptions 1-gen-2001 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
A core calculus for Java exceptions (extended abstract) 1-gen-2000 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
A flexible model for dynamic linking in Java and C# 1-gen-2006 S., Drossopoulou; Lagorio, Giovanni; S., Eisenbach
A formal framework for Java separate compilation. 1-gen-2002 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
A Lightweight Approach to Customizable Composition Operators for Java-like Classes 1-gen-2010 Lagorio, Giovanni; M., Servetto; Zucca, Elena
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? 1-gen-2011 Ancona, Davide; A., Corradi; Lagorio, Giovanni; F., Damiani
Adversarial EXEmples: A Survey and Experimental Evaluation of Practical Attacks on Machine Learning for Windows Malware Detection 1-gen-2021 Demetrio, L.; Coull, S. E.; Biggio, B.; Lagorio, G.; Armando, A.; Roli, F.
Another Step Towards a Smart Compilation Manager for Java 1-gen-2004 Lagorio, Giovanni
Automatic Challenge Generation for Hands-on Cybersecurity Training 1-gen-2022 Benzi, Matteo; Lagorio, Giovanni; Ribaudo, Marina
Capture the Flag competitions for Higher Education 1-gen-2021 Lagorio, Giovanni; Ribaudo, Marina; Armando, Alessandro
Capturing ghost dependencies in Java sources 1-gen-2004 Lagorio, Giovanni
CoCoA-5.0.1 1-gen-2011 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni
CoCoA-5.0.2 1-gen-2012 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni
CoCoA-5.0.3 1-gen-2013 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni
CoCoA-5.1.0 1-gen-2014 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni
CoCoA-5.2.0 1-gen-2017 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni
Coinductive subtyping for abstract compilation of object-orientedlanguages into Horn formulas 1-gen-2010 Ancona, Davide; Lagorio, Giovanni
Coinductive type systems for object-oriented languages 1-gen-2009 Ancona, Davide; Lagorio, Giovanni
Complete coinductive subtyping for abstract compilation of object-oriented languages 1-gen-2010 Ancona, Davide; Lagorio, Giovanni
Customizable composition operators for Java-like classes (extended abstract) 1-gen-2009 Lagorio, Giovanni; M., Servetto; Zucca, Elena