LAGORIO, GIOVANNI
 Distribuzione geografica
Continente #
EU - Europa 6.680
AS - Asia 3
Totale 6.683
Nazione #
IT - Italia 6.680
SG - Singapore 2
CN - Cina 1
Totale 6.683
Città #
Genova 3.933
Genoa 1.811
Vado Ligure 464
Rapallo 456
Bordighera 16
Singapore 2
Totale 6.682
Nome #
ZenHackAdemy: Ethical Hacking @ DIBRIS 251
CoCoA-5.1.0 178
A core calculus for Java exceptions 177
Coinductive type systems for object-oriented languages 169
CoCoA-5.0.3 167
Coinductive subtyping for abstract compilation of object-orientedlanguages into Horn formulas 149
Complete coinductive subtyping for abstract compilation of object-oriented languages 148
Flexible Type-Safe Linking of Components for Java-Like Languages 146
CoCoA-5.2.0 143
Another Step Towards a Smart Compilation Manager for Java 141
WIDGET-TEMP: A Novel Web-Based Approach for Thermoeconomic Analysis and Optimization of Conventional and Innovative Cycles 138
A Lightweight Approach to Customizable Composition Operators for Java-like Classes 138
A core calculus for Java exceptions (extended abstract) 137
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes 136
CoCoA-5.0.2 136
Jam: A smooth extension of Java with mixins 132
Introducing safe unknown types in Java-like languages 131
Type inference by coinductive logic programming 131
A formal framework for Java separate compilation. 131
Jam-designing a Java extension with mixins 131
Gesper: Support to Capitalize on Experience in a Network of SMEs 130
Towards a Smart Compilation Manager for Java 126
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? 125
True separate compilation for Java classes 124
RmPerm: A Tool for Android Permissions Removal 124
A flexible model for dynamic linking in Java and C# 124
CoCoA-5.0.1 123
Ticketh, a ticketing system built on ethereum 122
Type inference for polymorphic methods in Java-like languages 121
Just: safe unknown types in Java-like languages 121
Modelling a JVM for polymorphic bytecode 118
Static single information form for abstract compilation 118
Capturing ghost dependencies in Java sources 117
CyberChallenge.IT@Unige: Ethical Hacking for Young Talents 117
Flexible Models for Dynamic Linking 116
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages 115
Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries 111
Idealized coinductive type systems for imperative object-oriented programs 110
Customizable composition operators for Java-like classes (extended abstract) 103
Automatic Challenge Generation for Hands-on Cybersecurity Training 100
Dynamic linking of polymorphic bytecode 97
Strong exception-safety for checked and unchecked exceptions 97
Smart modules for Java-like languages 94
Fight silent horror unit test methods by consulting a TestWizard 94
Flattening versus direct semantics for Featherweight Jigsaw 93
Capture the Flag competitions for Higher Education 93
Adversarial EXEmples: A Survey and Experimental Evaluation of Practical Attacks on Machine Learning for Windows Malware Detection 92
Strong exception-safety for Java-like languages 88
Stronger Typings for Separate Compilation of Java-like Languages (Extended Abstract) 87
WAF-A-MoLE: An adversarial tool for assessing ML-based WAFs 86
Tests as Documentation: a First Attempt at Quality Evaluation 83
Java separate type checking is not safe 83
WAF-A-MoLE: Evading web application firewalls through adversarial machine learning 79
Dessert, an Open-Source .NET Framework for Process-Based Discrete-Event Simulation 76
Stronger Typings for Smarter Recompilation of Java-like Languages 75
Functionality-Preserving Black-Box Optimization of Adversarial Windows Malware 50
Totale 6.742
Categoria #
all - tutte 21.057
article - articoli 5.839
book - libri 0
conference - conferenze 13.181
curatela - curatele 0
other - altro 2.037
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 42.114


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021268 0 0 0 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/20251.213 72 75 47 75 171 107 93 218 79 49 109 118
2025/2026548 269 58 122 99 0 0 0 0 0 0 0 0
Totale 6.742