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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019216 0 0 0 0 0 0 0 0 0 0 117 99
2019/20201.418 73 35 77 95 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/2024297 15 38 11 58 20 59 35 35 21 1 4 0
Totale 4.871