CATALOGO DEI PRODOTTI DELLA RICERCA

SPOTO, Nicola Fausto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.995
NA - Nord America 4.378
AS - Asia 3.172
SA - Sud America 459
AF - Africa 118
OC - Oceania 116
Continente sconosciuto - Info sul continente non disponibili 9
Totale 13.247
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.252
RU - Federazione Russa 1.729
SG - Singapore 1.161
CN - Cina 935
GB - Regno Unito 884
IT - Italia 556
BR - Brasile 363
DE - Germania 355
SE - Svezia 289
HK - Hong Kong 266
FR - Francia 264
IE - Irlanda 255
FI - Finlandia 205
VN - Vietnam 198
AU - Australia 111
NL - Olanda 111
ID - Indonesia 109
KR - Corea 103
IN - India 98
CA - Canada 69
UA - Ucraina 66
ZA - Sudafrica 50
BE - Belgio 43
PK - Pakistan 39
NO - Norvegia 32
AR - Argentina 31
MX - Messico 31
JP - Giappone 29
TR - Turchia 28
ES - Italia 25
PL - Polonia 24
IQ - Iraq 23
TW - Taiwan 23
GR - Grecia 21
SA - Arabia Saudita 21
BD - Bangladesh 19
CO - Colombia 19
DK - Danimarca 17
AT - Austria 16
EC - Ecuador 16
MY - Malesia 16
IL - Israele 15
RO - Romania 15
LV - Lettonia 13
PT - Portogallo 13
AE - Emirati Arabi Uniti 12
EE - Estonia 12
CR - Costa Rica 11
AZ - Azerbaigian 9
CH - Svizzera 9
CL - Cile 9
TH - Thailandia 9
LT - Lituania 8
PY - Paraguay 8
JO - Giordania 7
MA - Marocco 7
TG - Togo 7
BG - Bulgaria 6
BJ - Benin 6
DZ - Algeria 6
LK - Sri Lanka 6
UZ - Uzbekistan 6
CY - Cipro 5
JM - Giamaica 5
KE - Kenya 5
LU - Lussemburgo 5
PE - Perù 5
PH - Filippine 5
A2 - ???statistics.table.value.countryCode.A2??? 4
AO - Angola 4
BF - Burkina Faso 4
CZ - Repubblica Ceca 4
DO - Repubblica Dominicana 4
EU - Europa 4
MO - Macao, regione amministrativa speciale della Cina 4
MU - Mauritius 4
NG - Nigeria 4
NP - Nepal 4
NZ - Nuova Zelanda 4
RE - Reunion 4
RS - Serbia 4
VE - Venezuela 4
IS - Islanda 3
KZ - Kazakistan 3
SD - Sudan 3
SK - Slovacchia (Repubblica Slovacca) 3
AL - Albania 2
AM - Armenia 2
BO - Bolivia 2
BW - Botswana 2
GH - Ghana 2
HU - Ungheria 2
IR - Iran 2
KG - Kirghizistan 2
KW - Kuwait 2
MD - Moldavia 2
OM - Oman 2
PS - Palestinian Territory 2
SN - Senegal 2
UY - Uruguay 2
Totale 13.222
Salva come PNG Salva come JPEG
Città #
Dallas 706
Singapore 595
Southend 534
Moscow 525
Chandler 517
Jacksonville 452
Ashburn 328
Woodbridge 281
Hong Kong 253
Dublin 240
Houston 193
Ann Arbor 127
Verona 127
The Dalles 105
Beijing 86
Helsinki 86
Jinan 83
Lawrence 83
Princeton 81
Los Angeles 80
Milan 74
Wilmington 67
Nanjing 59
Jakarta 52
Shenyang 50
Sindelfingen 48
Ho Chi Minh City 47
Sydney 45
Buffalo 44
Hebei 42
Seattle 40
Columbus 39
Tianjin 38
New York 37
Santa Clara 37
Zhengzhou 34
Dong Ket 32
Hanoi 31
Haikou 30
Redondo Beach 28
São Paulo 28
Boardman 27
Amsterdam 26
Changsha 26
Guangzhou 25
Brussels 24
Frankfurt am Main 24
Oslo 24
Rome 24
San Francisco 24
Johannesburg 23
London 23
Taiyuan 21
Stockholm 20
Hangzhou 19
Nanchang 19
Tokyo 19
Boston 18
Genoa 18
Manchester 18
Montreal 18
Ningbo 18
Berlin 17
Gangnam-gu 17
Lahore 17
Paris 17
Brooklyn 16
Chicago 16
North Charleston 16
Perth 16
Brisbane 15
Enschede 15
Munich 15
Fairfield 14
Jiaxing 14
Leeds 14
Norwalk 14
Riyadh 14
Washington 14
Denver 13
Lanzhou 13
Phoenix 13
Taizhou 13
Bristol 12
Chennai 12
Fuzhou 12
Nuremberg 12
Palermo 12
Southampton 12
Tallinn 12
Toronto 12
Vienna 12
Cambridge 11
Dearborn 11
Madrid 11
Nettuno 11
San José 11
Warsaw 11
Council Bluffs 10
Edinburgh 10
Totale 7.349
Salva come PNG Salva come JPEG
Nome #
Static Analysis for GDPR Compliance 1.207
Security Analysis of the OWASP Benchmark with Julia 583
Cybersecurity Impacts of the Covid-19 Pandemic in Italy 293
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 228
Adaptive Multi-Factor Scoring in Shared Blob for Improving Data Availability in Layer 2 Blockchains 210
Locking Discipline Inference and Checking 203
Abstract Interpretation of Prolog Programs 197
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results 191
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs 188
Generalising Def and Pos to Type Analysis 186
A Foundation of Escape Analysis 179
Analysis of Downward Closed Properties of Logic Programs 178
Biological network analysis with CentiScaPe: centralities and experimental dataset integration 177
Static analysis for discovering IoT vulnerabilities 176
A Refinement of the Escape Property 176
Abstract Compilation for Sharing Analysis 175
A Thread-Safe Library for Binary Decision Diagrams 163
Algebraic Methods in Language Processing, AMiLP 2003 160
Class Analyses as Abstract Interpretations of Trace Semantics 157
Design and Implementation of Static Analyses for Tezos Smart Contracts 152
Information Flow Analysis for Java Bytecode 151
Semantics for Locking Specifications 151
Inferring Complete Initialization of Arrays 149
Boolean Formulas for the Static Identification of Injection Attacks in Java 146
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions 146
On-Chain Smart Contract Verification over Tendermint 146
Pair-Independence and Freeness Analysis through Linear Refinement 142
A Survey on Data Availability in Layer 2 Blockchain Rollups: Open Challenges and Future Improvements 142
Julia: A Generic Static Analyser for the Java Bytecode 141
Vulnerability analysis of Android auto infotainment apps 141
Static Identification of Injection Attacks in Java 141
Reachability Analysis of Program Variables 140
Class Analysis of Object-Oriented Programs through Abstract Interpretation 139
A Termination Analyzer for Java Bytecode based on Path-Length 137
Tailoring Taint Analysis to GDPR 137
On the use of generic types for smart contracts 135
Automaton-Based Array Initialization Analysis 134
An Operational Semantics for Android Activities 134
Finding the shortest path with PesCa: A tool for network reconstruction 134
Deriving Escape Analysis by Abstract Interpretation 133
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses 132
SDLI: Static Detection of Leaks Across Intents 132
First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode'05) 131
Definite Expression Aliasing Analysis for Java Bytecode 131
Reachability Analysis of Program Variables 131
Detecting Non-Cyclicity by Abstract Compilation into Boolean Functions 129
Static Analysis of Android Programs 128
CIL to Java-bytecode translation for static analysis leveraging 127
A Java Framework for Smart Contracts 127
Static Privacy Analysis by Flow Reconstruction of Tainted Data 126
Pair-Sharing Analysis of Object-Oriented Programs 125
Static Analysis of Android Apps Interaction with Automotive CAN 124
Fungible and non-fungible tokens with snapshots in Java 118
Operational and Goal-Independent Denotational Semantics for Prolog with Cut 118
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 115
The Julia Static Analyzer for Java 115
Creating, generating and comparing random network models with NetworkRandomizer 114
Non Pair-Sharing and Freeness Analysis through Linear Refinement 113
Information Flow is Linear Refinement of Constancy 113
Power and Pitfalls of Generic Smart Contracts 113
Precise Null-Pointer Analysis 111
Freeness Analysis through Linear Refinement 111
Static analysis of Android Auto infotainment and on-board diagnostics II apps 108
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine 107
Cross-Programming Language Taint Analysis for the IoT Ecosystem 106
Analysing omics data sets with weighted nodes networks (WNNets) 105
Static Analysis of Android Programs 105
Logic Programs as Compact Denotations 105
Logic Programs as Compact Denotations 103
Special track on Software Verification 103
The Nullness Analyser of Julia 103
Efficient and Secure Distributed Data Storage and Retrieval Using Interplanetary File System and Blockchain 102
Static Analysis for JML's assignable Clauses 102
Path-Length Analysis for Object-Oriented Programs 96
Experiments with Non-Termination Analysis for Java Bytecode 95
Constancy Analysis 94
Inference of Field Initialization 94
Magic-Sets Transformation for the Analysis of Java Bytecode 87
Field-sensitive unreachability and non-cyclicity analysis 87
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007) 85
Optimality and Condensing of Information Flow through Linear Refinement 84
Magic-sets for localised analysis of Java bytecode 83
Using CLP Simplifications to Improve Java Bytecode Termination Analysis 82
Cross-Program Taint Analysis for IoT Systems 82
Intents Analysis of Android Apps for Confidentiality Leakage Detection 81
Blockchain-Based Multirole Authentication and Authorization in Smart Contracts with a Hierarchical Factory Pattern 80
Nullness Analysis in Boolean Form 79
Software Verification Challenges in the Blockchain Ecosystem 75
MichelsonLiSA: A Static Analyzer for Tezos 75
Enforcing Determinism of Java Smart Contracts 74
Information Flow Analysis for Detecting Non-Determinism in Blockchain 72
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging 68
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study. 55
On the Termination of Borrow Checking in Featherweight Rust 49
Totale 13.508
Salva come PNG Salva come JPEG
Categoria #
all - tutte 41.619
article - articoli 12.937
book - libri 0
conference - conferenze 27.102
curatela - curatele 1.580
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 83.238
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021458 0 0 0 0 0 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/20252.502 178 210 85 435 143 134 130 167 316 155 241 308
2025/20264.360 450 467 628 915 1.476 424 0 0 0 0 0 0
Totale 13.508