IRIS

LAGORIO, GIOVANNI

LAGORIO, GIOVANNI  

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

Mostra records
Risultati 1 - 20 di 36 (tempo di esecuzione: 0.029 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 formal framework for Java separate compilation. 1-gen-2002 Ancona, Davide; Lagorio, Giovanni; 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
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
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
CyberChallenge.IT@Unige: Ethical Hacking for Young Talents 1-gen-2020 Ferraro, Gaspare; Lagorio, Giovanni; Ribaudo, Marina
Dessert, an Open-Source .NET Framework for Process-Based Discrete-Event Simulation 1-gen-2014 Lagorio, Giovanni; A., Parma
Dynamic linking of polymorphic bytecode 1-gen-2006 Lagorio, Giovanni
Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries 1-gen-2019 Demetrio, Luca; Battista, Biggio; Lagorio, Giovanni; Fabio, Roli; Armando, Alessandro; Roli, Fabio
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes 1-gen-2009 Lagorio, Giovanni; M., Servetto; Zucca, Elena
Flattening versus direct semantics for Featherweight Jigsaw 1-gen-2009 Lagorio, Giovanni; Servetto, M; Zucca, Elena
Flexible Models for Dynamic Linking 1-gen-2003 S., Drossopoulou; Lagorio, Giovanni; S., Eisenbach
Flexible Type-Safe Linking of Components for Java-Like Languages 1-gen-2006 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
Gesper: Support to Capitalize on Experience in a Network of SMEs 1-gen-2008 Cerioli, Maura; Lagorio, Giovanni; E., Morten; Reggio, Gianna
Introducing safe unknown types in Java-like languages 1-gen-2006 Lagorio, Giovanni; Zucca, Elena