LAGORIO, GIOVANNI
 Distribuzione geografica
Continente #
EU - Europa 5.295
Totale 5.295
Nazione #
IT - Italia 5.295
Totale 5.295
Città #
Genova 3.933
Genoa 580
Rapallo 456
Vado Ligure 310
Bordighera 16
Totale 5.295
Nome #
ZenHackAdemy: Ethical Hacking @ DIBRIS 198
A core calculus for Java exceptions 146
Coinductive type systems for object-oriented languages 134
Flexible Type-Safe Linking of Components for Java-Like Languages 126
CoCoA-5.0.3 125
Coinductive subtyping for abstract compilation of object-orientedlanguages into Horn formulas 124
Complete coinductive subtyping for abstract compilation of object-oriented languages 122
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 118
Gesper: Support to Capitalize on Experience in a Network of SMEs 117
Jam: A smooth extension of Java with mixins 116
Type inference by coinductive logic programming 115
Jam-designing a Java extension with mixins 115
Type inference for polymorphic methods in Java-like languages 112
Towards a Smart Compilation Manager for Java 111
A Lightweight Approach to Customizable Composition Operators for Java-like Classes 110
A core calculus for Java exceptions (extended abstract) 109
True separate compilation for Java classes 108
CoCoA-5.1.0 108
Modelling a JVM for polymorphic bytecode 106
Static single information form for abstract compilation 106
Just: safe unknown types in Java-like languages 104
Flexible Models for Dynamic Linking 103
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? 102
CoCoA-5.2.0 102
RmPerm: A Tool for Android Permissions Removal 99
Ticketh, a ticketing system built on ethereum 99
CoCoA-5.0.2 98
A formal framework for Java separate compilation. 97
Capturing ghost dependencies in Java sources 95
Idealized coinductive type systems for imperative object-oriented programs 91
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages 91
CoCoA-5.0.1 88
Strong exception-safety for checked and unchecked exceptions 88
Smart modules for Java-like languages 85
A flexible model for dynamic linking in Java and C# 84
Strong exception-safety for Java-like languages 81
Dynamic linking of polymorphic bytecode 80
Customizable composition operators for Java-like classes (extended abstract) 78
Tests as Documentation: a First Attempt at Quality Evaluation 75
Flattening versus direct semantics for Featherweight Jigsaw 75
CyberChallenge.IT@Unige: Ethical Hacking for Young Talents 75
Stronger Typings for Separate Compilation of Java-like Languages (Extended Abstract) 74
Stronger Typings for Smarter Recompilation of Java-like Languages 66
Java separate type checking is not safe 65
Dessert, an Open-Source .NET Framework for Process-Based Discrete-Event Simulation 64
Automatic Challenge Generation for Hands-on Cybersecurity Training 62
Capture the Flag competitions for Higher Education 62
Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries 61
WAF-A-MoLE: An adversarial tool for assessing ML-based WAFs 56
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 51
Fight silent horror unit test methods by consulting a TestWizard 44
Functionality-Preserving Black-Box Optimization of Adversarial Windows Malware 21
Totale 5.351
Categoria #
all - tutte 15.765
article - articoli 4.353
book - libri 0
conference - conferenze 10.048
curatela - curatele 0
other - altro 1.364
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 31.530


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/2025370 72 75 47 75 101 0 0 0 0 0 0 0
Totale 5.351