LAGORIO, GIOVANNI
LAGORIO, GIOVANNI
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A core calculus for Java exceptions
2001-01-01 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
A core calculus for Java exceptions (extended abstract)
2000-01-01 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
A flexible model for dynamic linking in Java and C#
2006-01-01 S., Drossopoulou; Lagorio, Giovanni; S., Eisenbach
A formal framework for Java separate compilation.
2002-01-01 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
A Lightweight Approach to Customizable Composition Operators for Java-like Classes
2010-01-01 Lagorio, Giovanni; M., Servetto; Zucca, Elena
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification?
2011-01-01 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
2021-01-01 Demetrio, L.; Coull, S. E.; Biggio, B.; Lagorio, G.; Armando, A.; Roli, F.
Another Step Towards a Smart Compilation Manager for Java
2004-01-01 Lagorio, Giovanni
Automatic Challenge Generation for Hands-on Cybersecurity Training
2022-01-01 Benzi, Matteo; Lagorio, Giovanni; Ribaudo, Marina
Capture the Flag competitions for Higher Education
2021-01-01 Lagorio, Giovanni; Ribaudo, Marina; Armando, Alessandro
Capturing ghost dependencies in Java sources
2004-01-01 Lagorio, Giovanni
CoCoA-5.0.1
2011-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni
CoCoA-5.0.2
2012-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni
CoCoA-5.0.3
2013-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni
CoCoA-5.1.0
2014-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni
CoCoA-5.2.0
2017-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni
Coinductive subtyping for abstract compilation of object-orientedlanguages into Horn formulas
2010-01-01 Ancona, Davide; Lagorio, Giovanni
Coinductive type systems for object-oriented languages
2009-01-01 Ancona, Davide; Lagorio, Giovanni
Complete coinductive subtyping for abstract compilation of object-oriented languages
2010-01-01 Ancona, Davide; Lagorio, Giovanni
Customizable composition operators for Java-like classes (extended abstract)
2009-01-01 Lagorio, Giovanni; M., Servetto; Zucca, Elena
| 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 |