| Capture the Flag competitions for Higher Education. | 0 | 0.34 | 2021 |
| [email protected]: Ethical Hacking for Young Talents | 0 | 0.34 | 2020 |
| TickEth, a ticketing system built on ethereum. | 0 | 0.34 | 2019 |
| ZenHackAdemy: Ethical Hacking @ DIBRIS | 0 | 0.34 | 2019 |
| Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries. | 0 | 0.34 | 2019 |
| RmPerm: A Tool for Android Permissions Removal. | 0 | 0.34 | 2017 |
| Static single information form for abstract compilation | 5 | 0.53 | 2012 |
| Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages | 8 | 0.44 | 2012 |
| Strong Exception-Safety For Checked And Unchecked Exceptions | 2 | 0.42 | 2011 |
| Idealized coinductive type systems for imperative object-oriented programs. | 11 | 0.64 | 2011 |
| Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? | 12 | 0.66 | 2010 |
| A Lightweight Approach to Customizable Composition Operators for Java-like Classes | 2 | 0.36 | 2010 |
| Coinductive Subtyping For Abstract Compilation Of Object-Oriented Languages Into Horn Formulas | 7 | 0.52 | 2010 |
| Complete coinductive subtyping for abstract compilation of object-oriented languages | 6 | 0.47 | 2010 |
| Strong exception-safety for Java-like languages | 2 | 0.43 | 2009 |
| Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes | 17 | 0.75 | 2009 |
| Customizable composition operators for Java-like classes. | 0 | 0.34 | 2009 |
| Coinductive Type Systems for Object-Oriented Languages | 22 | 0.98 | 2009 |
| Type Inference by Coinductive Logic Programming | 8 | 0.56 | 2008 |
| Gesper: Support to Capitalize on Experience in a Network of SMEs | 0 | 0.34 | 2008 |
| Modelling A Jvm For Polymorphic Bytecode | 0 | 0.34 | 2007 |
| Just: Safe Unknown Types In Java-Like Languages | 7 | 0.58 | 2007 |
| Type inference for polymorphic methods in Java-like languages | 4 | 0.47 | 2007 |
| Flexible type-safe linking of components for java-like languages | 4 | 0.40 | 2006 |
| A flexible model for dynamic linking in Java and C# | 2 | 0.39 | 2006 |
| Stronger Typings for Separate Compilation of Java-like Languages | 2 | 0.46 | 2004 |
| Capturing ghost dependencies in Java sources | 1 | 0.41 | 2004 |
| Flexible Models for Dynamic Linking | 0 | 0.34 | 2003 |
| Flexible models for dynamic linking | 20 | 1.23 | 2003 |
| Towards a Smart Compilation Manager for Java | 3 | 0.50 | 2003 |
| Jam---designing a Java extension with mixins | 39 | 1.30 | 2003 |
| A Formal Framework for Java Separate Compilation | 11 | 0.93 | 2002 |
| A core calculus for Java exceptions | 17 | 1.18 | 2001 |
