LAGORIO, GIOVANNI
 Distribuzione geografica
Continente #
EU - Europa 6.700
AS - Asia 261
SA - Sud America 36
NA - Nord America 19
AF - Africa 5
Totale 7.021
Nazione #
IT - Italia 6.689
SG - Singapore 97
CN - Cina 93
VN - Vietnam 55
BR - Brasile 20
US - Stati Uniti d'America 15
HK - Hong Kong 9
AR - Argentina 8
DE - Germania 6
ID - Indonesia 3
PE - Perù 3
EC - Ecuador 2
MX - Messico 2
BO - Bolivia 1
CA - Canada 1
CL - Cile 1
CO - Colombia 1
DZ - Algeria 1
GB - Regno Unito 1
IQ - Iraq 1
KE - Kenya 1
MD - Moldavia 1
NG - Nigeria 1
PH - Filippine 1
RO - Romania 1
RU - Federazione Russa 1
SE - Svezia 1
TN - Tunisia 1
TR - Turchia 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
ZA - Sudafrica 1
Totale 7.021
Città #
Genova 3.933
Genoa 1.812
Vado Ligure 464
Rapallo 456
Singapore 44
Beijing 25
Bordighera 16
Ho Chi Minh City 16
Hanoi 14
Hong Kong 9
Frankfurt am Main 6
Ashburn 5
Tianjin 5
Biên Hòa 4
Haiphong 3
Hải Dương 3
Ninh Bình 3
São Paulo 3
Da Nang 2
Itaboraí 2
Lima 2
Milan 2
Orem 2
Quito 2
Quảng Ngãi 2
Turin 2
Atlanta 1
Baghdad 1
Beni Khiar 1
Campo Bom 1
Can Tho 1
Canto do Buriti 1
Cape Town 1
Carapicuíba 1
Caseros 1
Chapadão do Sul 1
Chiclayo 1
Coremas 1
Craiova 1
Curitiba 1
Córdoba 1
Dalian 1
Denver 1
Franca 1
Itajaí 1
Itaúna 1
Ituzaingó 1
Jaguariúna 1
Joinville 1
Kunming 1
Lagos 1
Malang 1
Maza 1
Medellín 1
Mendoza 1
Messaad 1
Mexico City 1
Montreal 1
Moscow 1
Nairobi 1
Nam Định Province 1
New York 1
Nganjuk 1
Phú Thọ 1
Port of Spain 1
Puerto Eldorado 1
Resistencia 1
Salvador 1
Santa Cruz 1
Santa Fe 1
Santa María Atzompa 1
Santiago 1
Senhor do Bonfim 1
Shanghai 1
Shanghaicun 1
Stockholm 1
São Leopoldo 1
São Luís 1
Tai'an 1
Taipei 1
Thái Bình 1
Zhengzhou 1
Totale 6.893
Nome #
ZenHackAdemy: Ethical Hacking @ DIBRIS 258
CoCoA-5.1.0 187
A core calculus for Java exceptions 185
Coinductive type systems for object-oriented languages 175
CoCoA-5.0.3 175
Coinductive subtyping for abstract compilation of object-orientedlanguages into Horn formulas 160
Complete coinductive subtyping for abstract compilation of object-oriented languages 155
CoCoA-5.2.0 154
Flexible Type-Safe Linking of Components for Java-Like Languages 150
A core calculus for Java exceptions (extended abstract) 148
A Lightweight Approach to Customizable Composition Operators for Java-like Classes 147
Another Step Towards a Smart Compilation Manager for Java 147
CoCoA-5.0.2 146
WIDGET-TEMP: A Novel Web-Based Approach for Thermoeconomic Analysis and Optimization of Conventional and Innovative Cycles 145
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes 142
A formal framework for Java separate compilation. 138
Jam-designing a Java extension with mixins 136
Jam: A smooth extension of Java with mixins 135
Introducing safe unknown types in Java-like languages 135
A flexible model for dynamic linking in Java and C# 134
CoCoA-5.0.1 133
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? 133
Gesper: Support to Capitalize on Experience in a Network of SMEs 133
Type inference by coinductive logic programming 132
RmPerm: A Tool for Android Permissions Removal 130
Ticketh, a ticketing system built on ethereum 130
Towards a Smart Compilation Manager for Java 128
True separate compilation for Java classes 126
CyberChallenge.IT@Unige: Ethical Hacking for Young Talents 125
Type inference for polymorphic methods in Java-like languages 124
Capturing ghost dependencies in Java sources 124
Just: safe unknown types in Java-like languages 123
Modelling a JVM for polymorphic bytecode 120
Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries 120
Flexible Models for Dynamic Linking 119
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages 119
Static single information form for abstract compilation 118
Idealized coinductive type systems for imperative object-oriented programs 112
Customizable composition operators for Java-like classes (extended abstract) 108
Capture the Flag competitions for Higher Education 108
Automatic Challenge Generation for Hands-on Cybersecurity Training 105
Fight silent horror unit test methods by consulting a TestWizard 105
Strong exception-safety for checked and unchecked exceptions 102
Dynamic linking of polymorphic bytecode 100
Adversarial EXEmples: A Survey and Experimental Evaluation of Practical Attacks on Machine Learning for Windows Malware Detection 100
Flattening versus direct semantics for Featherweight Jigsaw 98
Smart modules for Java-like languages 96
WAF-A-MoLE: An adversarial tool for assessing ML-based WAFs 93
Stronger Typings for Separate Compilation of Java-like Languages (Extended Abstract) 90
Java separate type checking is not safe 89
Strong exception-safety for Java-like languages 89
WAF-A-MoLE: Evading web application firewalls through adversarial machine learning 88
Tests as Documentation: a First Attempt at Quality Evaluation 87
Stronger Typings for Smarter Recompilation of Java-like Languages 82
Dessert, an Open-Source .NET Framework for Process-Based Discrete-Event Simulation 80
Functionality-Preserving Black-Box Optimization of Adversarial Windows Malware 59
Totale 7.080
Categoria #
all - tutte 22.035
article - articoli 6.111
book - libri 0
conference - conferenze 13.780
curatela - curatele 0
other - altro 2.144
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 44.070


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021221 0 0 0 0 0 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/2026886 269 58 122 140 257 40 0 0 0 0 0 0
Totale 7.080