CATALOGO DEI PRODOTTI DELLA RICERCA

SPOTO, Nicola Fausto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.746
NA - Nord America 2.670
AS - Asia 1.065
OC - Oceania 83
AF - Africa 42
SA - Sud America 40
Continente sconosciuto - Info sul continente non disponibili 8
Totale 6.654
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.633
GB - Regno Unito 774
CN - Cina 652
IT - Italia 365
SE - Svezia 269
IE - Irlanda 246
DE - Germania 244
FR - Francia 223
RU - Federazione Russa 185
FI - Finlandia 152
SG - Singapore 93
AU - Australia 82
NL - Olanda 65
VN - Vietnam 63
UA - Ucraina 58
ID - Indonesia 51
IN - India 47
PK - Pakistan 29
BE - Belgio 28
CA - Canada 26
ZA - Sudafrica 26
NO - Norvegia 25
BR - Brasile 18
KR - Corea 17
SA - Arabia Saudita 16
ES - Italia 13
JP - Giappone 13
TW - Taiwan 13
EE - Estonia 12
HK - Hong Kong 12
IL - Israele 12
GR - Grecia 11
LV - Lettonia 11
PT - Portogallo 11
RO - Romania 9
AT - Austria 8
TR - Turchia 8
EC - Ecuador 7
PL - Polonia 7
DK - Danimarca 6
LK - Sri Lanka 6
MX - Messico 6
MY - Malesia 6
AZ - Azerbaigian 5
A2 - ???statistics.table.value.countryCode.A2??? 4
AO - Angola 4
CH - Svizzera 4
CO - Colombia 4
DZ - Algeria 4
EU - Europa 4
JO - Giordania 4
AE - Emirati Arabi Uniti 3
BD - Bangladesh 3
CL - Cile 3
CY - Cipro 3
IS - Islanda 3
MA - Marocco 3
PE - Perù 3
SK - Slovacchia (Repubblica Slovacca) 3
AR - Argentina 2
BG - Bulgaria 2
BO - Bolivia 2
CZ - Repubblica Ceca 2
DO - Repubblica Dominicana 2
IQ - Iraq 2
JM - Giamaica 2
LT - Lituania 2
MU - Mauritius 2
NG - Nigeria 2
NP - Nepal 2
RS - Serbia 2
AL - Albania 1
BA - Bosnia-Erzegovina 1
BH - Bahrain 1
CR - Costa Rica 1
GH - Ghana 1
HR - Croazia 1
HU - Ungheria 1
IR - Iran 1
LU - Lussemburgo 1
MD - Moldavia 1
MV - Maldive 1
NZ - Nuova Zelanda 1
PH - Filippine 1
PY - Paraguay 1
UZ - Uzbekistan 1
Totale 6.654
Salva come PNG Salva come JPEG
Città #
Southend 534
Chandler 517
Jacksonville 452
Woodbridge 281
Dublin 233
Houston 188
Ashburn 162
Ann Arbor 127
Verona 100
Jinan 83
Lawrence 80
Princeton 80
Wilmington 67
Singapore 66
Nanjing 57
Beijing 56
Shenyang 49
Sindelfingen 48
Hebei 42
Helsinki 37
Milan 37
Seattle 36
Dong Ket 32
Zhengzhou 31
Haikou 30
Tianjin 27
Sydney 26
Boardman 25
Changsha 24
Taiyuan 21
Brussels 19
Jakarta 19
Los Angeles 19
Nanchang 19
Oslo 19
Guangzhou 18
Ningbo 18
Hangzhou 17
Genoa 16
Brisbane 15
Enschede 15
Fairfield 14
Johannesburg 14
Lahore 14
Leeds 14
Norwalk 14
San Francisco 14
Washington 14
Jiaxing 13
Lanzhou 13
Perth 13
Rome 13
Taizhou 13
New York 12
Palermo 12
Southampton 12
Tallinn 12
Amsterdam 11
Dearborn 11
Nettuno 11
Paris 11
Riyadh 11
Bristol 10
Fuzhou 10
London 10
Rotterdam 10
Salzgitter 10
Manchester 9
Melbourne 9
Saint Petersburg 9
Sheffield 9
Edinburgh 8
Madrid 8
Mysore 8
Toronto 8
Athens 7
Berlin 7
Cambridge 7
Herzliya 7
Hong Kong 7
Oxford 7
Trento 7
Vienna 7
Wigan 7
Centurion 6
Clearwater 6
Glasgow 6
Hamburg 6
Odawara 6
Plymouth 6
Redwood City 6
Riga 6
Seoul 6
Stockholm 6
Yogyakarta 6
Birmingham 5
Frankfurt am Main 5
Liverpool 5
Maastricht 5
Phoenix 5
Totale 4.280
Salva come PNG Salva come JPEG
Nome #
Static Analysis for GDPR Compliance 711
Security Analysis of the OWASP Benchmark with Julia 432
Cybersecurity Impacts of the Covid-19 Pandemic in Italy 178
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results 114
Abstract Interpretation of Prolog Programs 112
Information Flow Analysis for Java Bytecode 112
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs 107
Locking Discipline Inference and Checking 106
A Foundation of Escape Analysis 106
Analysis of Downward Closed Properties of Logic Programs 100
Semantics for Locking Specifications 100
Class Analyses as Abstract Interpretations of Trace Semantics 97
Algebraic Methods in Language Processing, AMiLP 2003 94
Biological network analysis with CentiScaPe: centralities and experimental dataset integration 94
Abstract Compilation for Sharing Analysis 93
Class Analysis of Object-Oriented Programs through Abstract Interpretation 92
A Thread-Safe Library for Binary Decision Diagrams 91
Detecting Non-Cyclicity by Abstract Compilation into Boolean Functions 89
Inferring Complete Initialization of Arrays 87
Vulnerability analysis of Android auto infotainment apps 87
A Refinement of the Escape Property 86
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses 83
Pair-Sharing Analysis of Object-Oriented Programs 83
Reachability Analysis of Program Variables 83
Static Analysis of Android Programs 82
First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode'05) 80
Static Identification of Injection Attacks in Java 80
Julia: A Generic Static Analyser for the Java Bytecode 75
Pair-Independence and Freeness Analysis through Linear Refinement 75
Information Flow is Linear Refinement of Constancy 74
Definite Expression Aliasing Analysis for Java Bytecode 74
SDLI: Static Detection of Leaks Across Intents 74
Reachability Analysis of Program Variables 73
Static Analysis for JML's assignable Clauses 72
Non Pair-Sharing and Freeness Analysis through Linear Refinement 72
Boolean Formulas for the Static Identification of Injection Attacks in Java 72
Tailoring Taint Analysis to GDPR 72
Automaton-Based Array Initialization Analysis 71
An Operational Semantics for Android Activities 71
Logic Programs as Compact Denotations 70
Freeness Analysis through Linear Refinement 70
Generalising Def and Pos to Type Analysis 69
Precise Null-Pointer Analysis 69
Static Analysis of Android Programs 69
Static Analysis of Android Apps Interaction with Automotive CAN 69
Deriving Escape Analysis by Abstract Interpretation 68
Path-Length Analysis for Object-Oriented Programs 67
CIL to Java-bytecode translation for static analysis leveraging 66
The Julia Static Analyzer for Java 65
Static Privacy Analysis by Flow Reconstruction of Tainted Data 65
Logic Programs as Compact Denotations 65
Static analysis of Android Auto infotainment and on-board diagnostics II apps 64
Operational and Goal-Independent Denotational Semantics for Prolog with Cut 63
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions 63
Finding the shortest path with PesCa: A tool for network reconstruction 63
Special track on Software Verification 62
Constancy Analysis 62
The Nullness Analyser of Julia 62
On-Chain Smart Contract Verification over Tendermint 61
A Termination Analyzer for Java Bytecode based on Path-Length 60
Experiments with Non-Termination Analysis for Java Bytecode 59
Inference of Field Initialization 56
Magic-Sets Transformation for the Analysis of Java Bytecode 55
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine 53
On the use of generic types for smart contracts 52
Cross-Programming Language Taint Analysis for the IoT Ecosystem 52
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 50
Field-sensitive unreachability and non-cyclicity analysis 48
Using CLP Simplifications to Improve Java Bytecode Termination Analysis 48
A Java Framework for Smart Contracts 48
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007) 46
Creating, generating and comparing random network models with NetworkRandomizer 46
Optimality and Condensing of Information Flow through Linear Refinement 45
Magic-sets for localised analysis of Java bytecode 45
Intents Analysis of Android Apps for Confidentiality Leakage Detection 42
Nullness Analysis in Boolean Form 41
Fungible and non-fungible tokens with snapshots in Java 40
Cross-Program Taint Analysis for IoT Systems 39
Enforcing Determinism of Java Smart Contracts 36
Efficient and Secure Distributed Data Storage and Retrieval Using Interplanetary File System and Blockchain 34
Static analysis for discovering IoT vulnerabilities 32
Power and Pitfalls of Generic Smart Contracts 31
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging 30
MichelsonLiSA: A Static Analyzer for Tezos 16
Analysing omics data sets with weighted nodes networks (WNNets) 12
On the Termination of Borrow Checking in Featherweight Rust 11
Information Flow Analysis for Detecting Non-Determinism in Blockchain 9
Totale 6.902
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.661
article - articoli 6.208
book - libri 0
conference - conferenze 14.533
curatela - curatele 920
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 43.322
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020529 0 32 3 55 71 96 53 42 18 54 13 92
2020/2021854 83 98 48 89 78 92 4 43 72 2 93 152
2021/2022832 35 299 70 6 66 26 13 47 16 26 48 180
2022/20231.449 115 148 142 239 138 326 25 90 155 6 42 23
2023/20241.718 90 127 185 168 161 208 130 150 49 138 163 149
2024/2025256 178 78 0 0 0 0 0 0 0 0 0 0
Totale 6.902