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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.345 0 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/2024407 15 38 11 58 20 59 35 35 21 1 37 77
2024/202572 72 0 0 0 0 0 0 0 0 0 0 0
Totale 5.053