CATALOGO DEI PRODOTTI DELLA RICERCA

SPOTO, Nicola Fausto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.268
EU - Europa 5.449
AS - Asia 3.848
SA - Sud America 553
Continente sconosciuto - Info sul continente non disponibili 275
AF - Africa 163
OC - Oceania 116
Totale 16.672
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.078
RU - Federazione Russa 1.738
SG - Singapore 1.462
CN - Cina 995
GB - Regno Unito 927
IT - Italia 814
BR - Brasile 424
DE - Germania 380
VN - Vietnam 320
SE - Svezia 294
HK - Hong Kong 293
FR - Francia 286
IE - Irlanda 265
FI - Finlandia 212
IN - India 124
KR - Corea 124
NL - Olanda 123
ID - Indonesia 117
AU - Australia 111
CA - Canada 99
UA - Ucraina 69
ZA - Sudafrica 60
PK - Pakistan 49
BE - Belgio 45
BD - Bangladesh 43
JP - Giappone 41
AR - Argentina 40
MX - Messico 37
NO - Norvegia 36
TR - Turchia 35
IQ - Iraq 31
ES - Italia 29
SA - Arabia Saudita 29
PL - Polonia 28
TW - Taiwan 26
MY - Malesia 25
GR - Grecia 24
CO - Colombia 23
CH - Svizzera 22
EC - Ecuador 22
NG - Nigeria 21
AT - Austria 19
DK - Danimarca 18
CR - Costa Rica 17
IL - Israele 16
AE - Emirati Arabi Uniti 15
EE - Estonia 15
RO - Romania 15
CL - Cile 13
LT - Lituania 13
LV - Lettonia 13
PT - Portogallo 13
AZ - Azerbaigian 11
KE - Kenya 11
VE - Venezuela 11
TH - Thailandia 10
JM - Giamaica 9
PY - Paraguay 9
RS - Serbia 9
UZ - Uzbekistan 9
CY - Cipro 8
MA - Marocco 8
PH - Filippine 8
BG - Bulgaria 7
JO - Giordania 7
TG - Togo 7
AL - Albania 6
BJ - Benin 6
DZ - Algeria 6
KZ - Kazakistan 6
LK - Sri Lanka 6
NP - Nepal 6
PE - Perù 6
TT - Trinidad e Tobago 6
AO - Angola 5
DO - Repubblica Dominicana 5
LU - Lussemburgo 5
PS - Palestinian Territory 5
A2 - ???statistics.table.value.countryCode.A2??? 4
BF - Burkina Faso 4
CZ - Repubblica Ceca 4
EU - Europa 4
GT - Guatemala 4
HR - Croazia 4
MO - Macao, regione amministrativa speciale della Cina 4
MU - Mauritius 4
NZ - Nuova Zelanda 4
OM - Oman 4
PR - Porto Rico 4
RE - Reunion 4
SN - Senegal 4
TN - Tunisia 4
BO - Bolivia 3
IS - Islanda 3
MD - Moldavia 3
SD - Sudan 3
SK - Slovacchia (Repubblica Slovacca) 3
SY - Repubblica araba siriana 3
AM - Armenia 2
BA - Bosnia-Erzegovina 2
Totale 16.358
Salva come PNG Salva come JPEG
Città #
Singapore 846
Dallas 754
Ashburn 750
San Jose 589
Southend 534
Moscow 527
Chandler 517
Jacksonville 455
Woodbridge 281
Hong Kong 273
Dublin 246
Verona 232
Houston 201
Council Bluffs 175
The Dalles 159
Ann Arbor 128
Los Angeles 95
Beijing 92
Staranzano 91
Ho Chi Minh City 90
Helsinki 89
Jinan 83
Lawrence 83
Princeton 81
Milan 75
Hanoi 68
Santa Clara 68
Wilmington 68
Nanjing 60
Jakarta 53
Shenyang 50
New York 48
Sindelfingen 48
Sydney 46
Buffalo 44
Hebei 42
Seattle 40
Columbus 39
Tianjin 39
São Paulo 36
Zhengzhou 34
Boardman 33
Dong Ket 32
Frankfurt am Main 30
Haikou 30
Tokyo 30
Amsterdam 29
Redondo Beach 28
Rome 28
Guangzhou 27
San Francisco 27
Brussels 26
Changsha 26
Johannesburg 25
Oslo 25
Paris 24
Brooklyn 23
Chicago 23
London 23
Denver 22
Lahore 22
Montreal 22
Berlin 21
Stockholm 21
Taiyuan 21
Toronto 21
Boston 20
Hangzhou 20
North Charleston 20
Nanchang 19
Genoa 18
Manchester 18
Ningbo 18
Gangnam-gu 17
Chennai 16
Perth 16
San José 16
Abuja 15
Brisbane 15
Da Nang 15
Enschede 15
Las Vegas 15
Munich 15
Riyadh 15
Vienna 15
Washington 15
Fairfield 14
Jiaxing 14
Leeds 14
Norwalk 14
Palermo 14
Phoenix 14
Bristol 13
Lanzhou 13
Orem 13
Rotterdam 13
Taizhou 13
Warsaw 13
Atlanta 12
Cambridge 12
Totale 9.387
Salva come PNG Salva come JPEG
Nome #
Static Analysis for GDPR Compliance 1.347
Security Analysis of the OWASP Benchmark with Julia 627
Cybersecurity Impacts of the Covid-19 Pandemic in Italy 336
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 262
Locking Discipline Inference and Checking 259
Static analysis for discovering IoT vulnerabilities 252
Adaptive Multi-Factor Scoring in Shared Blob for Improving Data Availability in Layer 2 Blockchains 247
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results 241
Generalising Def and Pos to Type Analysis 225
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs 222
Abstract Interpretation of Prolog Programs 220
Abstract Compilation for Sharing Analysis 213
A Foundation of Escape Analysis 213
Biological network analysis with CentiScaPe: centralities and experimental dataset integration 208
A Refinement of the Escape Property 207
Analysis of Downward Closed Properties of Logic Programs 204
A Survey on Data Availability in Layer 2 Blockchain Rollups: Open Challenges and Future Improvements 203
Class Analyses as Abstract Interpretations of Trace Semantics 198
A Thread-Safe Library for Binary Decision Diagrams 198
Algebraic Methods in Language Processing, AMiLP 2003 196
Boolean Formulas for the Static Identification of Injection Attacks in Java 185
First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode'05) 184
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions 183
Design and Implementation of Static Analyses for Tezos Smart Contracts 182
Information Flow Analysis for Java Bytecode 182
Reachability Analysis of Program Variables 180
Inferring Complete Initialization of Arrays 179
Static Identification of Injection Attacks in Java 177
Julia: A Generic Static Analyser for the Java Bytecode 176
On-Chain Smart Contract Verification over Tendermint 176
Semantics for Locking Specifications 175
Pair-Independence and Freeness Analysis through Linear Refinement 175
On the use of generic types for smart contracts 174
Deriving Escape Analysis by Abstract Interpretation 171
Reachability Analysis of Program Variables 170
Tailoring Taint Analysis to GDPR 169
Finding the shortest path with PesCa: A tool for network reconstruction 168
A Termination Analyzer for Java Bytecode based on Path-Length 167
Class Analysis of Object-Oriented Programs through Abstract Interpretation 166
Vulnerability analysis of Android auto infotainment apps 166
Static Analysis of Android Programs 165
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses 162
Definite Expression Aliasing Analysis for Java Bytecode 161
Static Analysis of Android Apps Interaction with Automotive CAN 161
Detecting Non-Cyclicity by Abstract Compilation into Boolean Functions 160
An Operational Semantics for Android Activities 159
Static Privacy Analysis by Flow Reconstruction of Tainted Data 159
Automaton-Based Array Initialization Analysis 158
A Java Framework for Smart Contracts 158
SDLI: Static Detection of Leaks Across Intents 156
CIL to Java-bytecode translation for static analysis leveraging 152
Pair-Sharing Analysis of Object-Oriented Programs 149
Efficient and Secure Distributed Data Storage and Retrieval Using Interplanetary File System and Blockchain 148
Creating, generating and comparing random network models with NetworkRandomizer 147
Fungible and non-fungible tokens with snapshots in Java 146
Static analysis of Android Auto infotainment and on-board diagnostics II apps 146
The Julia Static Analyzer for Java 146
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 145
Information Flow is Linear Refinement of Constancy 145
Precise Null-Pointer Analysis 144
Freeness Analysis through Linear Refinement 143
Operational and Goal-Independent Denotational Semantics for Prolog with Cut 142
Power and Pitfalls of Generic Smart Contracts 139
Non Pair-Sharing and Freeness Analysis through Linear Refinement 138
Blockchain-Based Multirole Authentication and Authorization in Smart Contracts with a Hierarchical Factory Pattern 135
Analysing omics data sets with weighted nodes networks (WNNets) 134
The Nullness Analyser of Julia 134
Static Analysis of Android Programs 134
Logic Programs as Compact Denotations 133
Logic Programs as Compact Denotations 132
Cross-Programming Language Taint Analysis for the IoT Ecosystem 130
Special track on Software Verification 129
Static Analysis for JML's assignable Clauses 125
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine 123
Software Verification Challenges in the Blockchain Ecosystem 121
Path-Length Analysis for Object-Oriented Programs 120
Magic-sets for localised analysis of Java bytecode 119
Inference of Field Initialization 119
Experiments with Non-Termination Analysis for Java Bytecode 118
Magic-Sets Transformation for the Analysis of Java Bytecode 116
Field-sensitive unreachability and non-cyclicity analysis 114
Cross-Program Taint Analysis for IoT Systems 109
Constancy Analysis 107
Using CLP Simplifications to Improve Java Bytecode Termination Analysis 105
Nullness Analysis in Boolean Form 104
Optimality and Condensing of Information Flow through Linear Refinement 103
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging 101
MichelsonLiSA: A Static Analyzer for Tezos 99
Intents Analysis of Android Apps for Confidentiality Leakage Detection 98
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007) 97
Information Flow Analysis for Detecting Non-Determinism in Blockchain 94
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study. 93
Enforcing Determinism of Java Smart Contracts 91
On the Termination of Borrow Checking in Featherweight Rust 80
A Smart Contract Architecture Using Hierarchical Factory Pattern and Multirole Access Control 24
A Formalization of Signum’s Consensus 10
An Application Layer with Protocol-based Java Smart Contract Verification 9
Totale 16.672
Salva come PNG Salva come JPEG
Categoria #
all - tutte 52.672
article - articoli 16.910
book - libri 0
conference - conferenze 33.794
curatela - curatele 1.968
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 105.344
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022428 0 0 0 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/20266.536 450 467 628 915 1.476 478 663 375 458 370 119 137
2026/2027988 90 135 385 378 0 0 0 0 0 0 0 0
Totale 16.672