LAGORIO, GIOVANNI
 Distribuzione geografica
Continente #
EU - Europa 5.202
Totale 5.202
Nazione #
IT - Italia 5.202
Totale 5.202
Città #
Genova 3.933
Genoa 580
Rapallo 456
Vado Ligure 217
Bordighera 16
Totale 5.202
Nome #
ZenHackAdemy: Ethical Hacking @ DIBRIS 198
A core calculus for Java exceptions 145
Coinductive type systems for object-oriented languages 133
Flexible Type-Safe Linking of Components for Java-Like Languages 124
Coinductive subtyping for abstract compilation of object-orientedlanguages into Horn formulas 123
CoCoA-5.0.3 123
Complete coinductive subtyping for abstract compilation of object-oriented languages 121
WIDGET-TEMP: A Novel Web-Based Approach for Thermoeconomic Analysis and Optimization of Conventional and Innovative Cycles 119
Introducing safe unknown types in Java-like languages 118
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes 118
Another Step Towards a Smart Compilation Manager for Java 117
Gesper: Support to Capitalize on Experience in a Network of SMEs 116
Jam-designing a Java extension with mixins 114
Type inference by coinductive logic programming 113
Jam: A smooth extension of Java with mixins 111
Towards a Smart Compilation Manager for Java 111
Type inference for polymorphic methods in Java-like languages 111
A Lightweight Approach to Customizable Composition Operators for Java-like Classes 109
A core calculus for Java exceptions (extended abstract) 109
True separate compilation for Java classes 108
Modelling a JVM for polymorphic bytecode 105
Static single information form for abstract compilation 105
Flexible Models for Dynamic Linking 103
CoCoA-5.1.0 103
CoCoA-5.2.0 102
Just: safe unknown types in Java-like languages 102
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? 101
Ticketh, a ticketing system built on ethereum 99
CoCoA-5.0.2 96
A formal framework for Java separate compilation. 96
Capturing ghost dependencies in Java sources 94
RmPerm: A Tool for Android Permissions Removal 93
CoCoA-5.0.1 88
Strong exception-safety for checked and unchecked exceptions 87
Idealized coinductive type systems for imperative object-oriented programs 86
Smart modules for Java-like languages 84
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages 83
A flexible model for dynamic linking in Java and C# 81
Dynamic linking of polymorphic bytecode 80
Strong exception-safety for Java-like languages 80
Customizable composition operators for Java-like classes (extended abstract) 77
Tests as Documentation: a First Attempt at Quality Evaluation 74
Stronger Typings for Separate Compilation of Java-like Languages (Extended Abstract) 72
Flattening versus direct semantics for Featherweight Jigsaw 72
CyberChallenge.IT@Unige: Ethical Hacking for Young Talents 71
Stronger Typings for Smarter Recompilation of Java-like Languages 65
Java separate type checking is not safe 64
Dessert, an Open-Source .NET Framework for Process-Based Discrete-Event Simulation 62
Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries 61
Capture the Flag competitions for Higher Education 60
Automatic Challenge Generation for Hands-on Cybersecurity Training 55
WAF-A-MoLE: An adversarial tool for assessing ML-based WAFs 55
WAF-A-MoLE: Evading web application firewalls through adversarial machine learning 54
Adversarial EXEmples: A Survey and Experimental Evaluation of Practical Attacks on Machine Learning for Windows Malware Detection 46
Fight silent horror unit test methods by consulting a TestWizard 41
Functionality-Preserving Black-Box Optimization of Adversarial Windows Malware 20
Totale 5.258
Categoria #
all - tutte 15.488
article - articoli 4.266
book - libri 0
conference - conferenze 9.883
curatela - curatele 0
other - altro 1.339
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 30.976


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.138 0 0 0 0 121 144 260 74 112 228 149 50
2020/2021355 40 16 31 29 18 29 23 27 56 37 24 25
2021/2022673 19 54 54 79 28 49 57 142 26 61 42 62
2022/2023598 56 53 5 46 79 98 17 36 87 8 106 7
2023/2024407 15 38 11 58 20 59 35 35 21 1 37 77
2024/2025277 72 75 47 75 8 0 0 0 0 0 0 0
Totale 5.258