CATALOGO DEI PRODOTTI DELLA RICERCA

SPOTO, Nicola Fausto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.927
EU - Europa 3.403
AS - Asia 2.432
SA - Sud America 400
OC - Oceania 112
AF - Africa 84
Continente sconosciuto - Info sul continente non disponibili 9
Totale 10.367
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.824
GB - Regno Unito 853
SG - Singapore 805
CN - Cina 793
IT - Italia 529
DE - Germania 334
BR - Brasile 333
SE - Svezia 285
RU - Federazione Russa 281
FR - Francia 262
HK - Hong Kong 257
IE - Irlanda 255
FI - Finlandia 196
AU - Australia 107
NL - Olanda 105
ID - Indonesia 90
VN - Vietnam 90
IN - India 82
KR - Corea 74
UA - Ucraina 64
CA - Canada 55
BE - Belgio 40
ZA - Sudafrica 40
PK - Pakistan 38
NO - Norvegia 27
MX - Messico 23
ES - Italia 22
TR - Turchia 21
IQ - Iraq 19
SA - Arabia Saudita 19
TW - Taiwan 19
JP - Giappone 17
CO - Colombia 16
AR - Argentina 15
GR - Grecia 15
AT - Austria 14
DK - Danimarca 14
IL - Israele 14
RO - Romania 14
LV - Lettonia 13
PT - Portogallo 13
AE - Emirati Arabi Uniti 12
EC - Ecuador 12
EE - Estonia 12
PL - Polonia 12
BD - Bangladesh 11
CR - Costa Rica 10
MY - Malesia 10
AZ - Azerbaigian 8
CH - Svizzera 8
CL - Cile 8
TH - Thailandia 8
LT - Lituania 7
TG - Togo 7
JO - Giordania 6
LK - Sri Lanka 6
MA - Marocco 6
UZ - Uzbekistan 6
CY - Cipro 5
JM - Giamaica 5
LU - Lussemburgo 5
PE - Perù 5
A2 - ???statistics.table.value.countryCode.A2??? 4
AO - Angola 4
BG - Bulgaria 4
DO - Repubblica Dominicana 4
DZ - Algeria 4
EU - Europa 4
MU - Mauritius 4
NP - Nepal 4
NZ - Nuova Zelanda 4
PY - Paraguay 4
RE - Reunion 4
RS - Serbia 4
IS - Islanda 3
NG - Nigeria 3
SD - Sudan 3
SK - Slovacchia (Repubblica Slovacca) 3
VE - Venezuela 3
AM - Armenia 2
BO - Bolivia 2
CZ - Repubblica Ceca 2
GH - Ghana 2
HU - Ungheria 2
KW - Kuwait 2
KZ - Kazakistan 2
MD - Moldavia 2
PH - Filippine 2
PS - Palestinian Territory 2
UY - Uruguay 2
AL - Albania 1
BA - Bosnia-Erzegovina 1
BH - Bahrain 1
BW - Botswana 1
DJ - Gibuti 1
ET - Etiopia 1
FJ - Figi 1
GE - Georgia 1
GT - Guatemala 1
HN - Honduras 1
Totale 10.351
Salva come PNG Salva come JPEG
Città #
Dallas 684
Southend 534
Chandler 517
Jacksonville 452
Singapore 383
Woodbridge 281
Hong Kong 248
Dublin 240
Ashburn 202
Houston 188
Ann Arbor 127
Verona 126
Jinan 83
Lawrence 83
Princeton 81
Helsinki 80
The Dalles 79
Beijing 70
Milan 68
Wilmington 67
Nanjing 58
Shenyang 49
Jakarta 48
Sindelfingen 48
Los Angeles 46
Sydney 43
Hebei 42
Columbus 39
Seattle 38
Zhengzhou 33
Dong Ket 32
Haikou 30
Santa Clara 30
Buffalo 29
New York 29
Tianjin 27
Amsterdam 26
Boardman 26
Changsha 25
São Paulo 25
Guangzhou 24
Rome 24
San Francisco 24
Brussels 22
Frankfurt am Main 21
Taiyuan 21
Nanchang 19
Oslo 19
Johannesburg 18
Ningbo 18
Boston 17
Genoa 17
Hangzhou 17
Lahore 17
Manchester 17
Paris 17
Stockholm 16
Brisbane 15
Enschede 15
London 15
Perth 15
Brooklyn 14
Fairfield 14
Leeds 14
Norwalk 14
Washington 14
Jiaxing 13
Lanzhou 13
Moscow 13
Munich 13
Taizhou 13
Berlin 12
Bristol 12
Chicago 12
Fuzhou 12
Nuremberg 12
Palermo 12
Riyadh 12
Southampton 12
Tallinn 12
Cambridge 11
Dearborn 11
Ho Chi Minh City 11
Madrid 11
Montreal 11
Nettuno 11
Phoenix 11
Vienna 11
Council Bluffs 10
Edinburgh 10
Melbourne 10
Mexico City 10
Rotterdam 10
Salzgitter 10
San José 10
Venice 10
Saint Petersburg 9
Sheffield 9
Turin 9
Bangkok 8
Totale 6.150
Salva come PNG Salva come JPEG
Nome #
Static Analysis for GDPR Compliance 1.102
Security Analysis of the OWASP Benchmark with Julia 543
Cybersecurity Impacts of the Covid-19 Pandemic in Italy 251
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 194
Adaptive Multi-Factor Scoring in Shared Blob for Improving Data Availability in Layer 2 Blockchains 166
Locking Discipline Inference and Checking 163
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results 155
Abstract Interpretation of Prolog Programs 154
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs 143
Analysis of Downward Closed Properties of Logic Programs 142
A Foundation of Escape Analysis 142
Class Analyses as Abstract Interpretations of Trace Semantics 135
Abstract Compilation for Sharing Analysis 135
Information Flow Analysis for Java Bytecode 134
Biological network analysis with CentiScaPe: centralities and experimental dataset integration 130
A Thread-Safe Library for Binary Decision Diagrams 130
Generalising Def and Pos to Type Analysis 129
Algebraic Methods in Language Processing, AMiLP 2003 129
Pair-Independence and Freeness Analysis through Linear Refinement 125
Design and Implementation of Static Analyses for Tezos Smart Contracts 123
Semantics for Locking Specifications 123
Class Analysis of Object-Oriented Programs through Abstract Interpretation 122
Julia: A Generic Static Analyser for the Java Bytecode 121
Inferring Complete Initialization of Arrays 119
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses 116
On-Chain Smart Contract Verification over Tendermint 115
A Refinement of the Escape Property 114
Deriving Escape Analysis by Abstract Interpretation 112
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions 112
Reachability Analysis of Program Variables 112
First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode'05) 111
Detecting Non-Cyclicity by Abstract Compilation into Boolean Functions 110
Vulnerability analysis of Android auto infotainment apps 110
Boolean Formulas for the Static Identification of Injection Attacks in Java 109
Static Analysis of Android Programs 106
Definite Expression Aliasing Analysis for Java Bytecode 106
Tailoring Taint Analysis to GDPR 104
Static Identification of Injection Attacks in Java 103
An Operational Semantics for Android Activities 102
SDLI: Static Detection of Leaks Across Intents 102
A Termination Analyzer for Java Bytecode based on Path-Length 102
Pair-Sharing Analysis of Object-Oriented Programs 100
Non Pair-Sharing and Freeness Analysis through Linear Refinement 99
The Julia Static Analyzer for Java 99
CIL to Java-bytecode translation for static analysis leveraging 98
Information Flow is Linear Refinement of Constancy 97
Reachability Analysis of Program Variables 97
Static Privacy Analysis by Flow Reconstruction of Tainted Data 97
Automaton-Based Array Initialization Analysis 96
Operational and Goal-Independent Denotational Semantics for Prolog with Cut 95
Freeness Analysis through Linear Refinement 93
Static Analysis for JML's assignable Clauses 92
Static Analysis of Android Apps Interaction with Automotive CAN 92
Logic Programs as Compact Denotations 91
Precise Null-Pointer Analysis 91
Finding the shortest path with PesCa: A tool for network reconstruction 91
Special track on Software Verification 90
Static Analysis of Android Programs 89
A Java Framework for Smart Contracts 86
Path-Length Analysis for Object-Oriented Programs 86
Logic Programs as Compact Denotations 85
Fungible and non-fungible tokens with snapshots in Java 84
Static analysis of Android Auto infotainment and on-board diagnostics II apps 84
The Nullness Analyser of Julia 83
On the use of generic types for smart contracts 82
Power and Pitfalls of Generic Smart Contracts 81
Constancy Analysis 80
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine 79
Inference of Field Initialization 78
Experiments with Non-Termination Analysis for Java Bytecode 78
Cross-Programming Language Taint Analysis for the IoT Ecosystem 77
Creating, generating and comparing random network models with NetworkRandomizer 73
Field-sensitive unreachability and non-cyclicity analysis 72
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 71
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007) 71
Magic-Sets Transformation for the Analysis of Java Bytecode 70
Optimality and Condensing of Information Flow through Linear Refinement 69
Efficient and Secure Distributed Data Storage and Retrieval Using Interplanetary File System and Blockchain 66
Nullness Analysis in Boolean Form 65
Using CLP Simplifications to Improve Java Bytecode Termination Analysis 65
Cross-Program Taint Analysis for IoT Systems 65
Magic-sets for localised analysis of Java bytecode 64
Intents Analysis of Android Apps for Confidentiality Leakage Detection 62
Enforcing Determinism of Java Smart Contracts 58
A Survey on Data Availability in Layer 2 Blockchain Rollups: Open Challenges and Future Improvements 58
Static analysis for discovering IoT vulnerabilities 56
Analysing omics data sets with weighted nodes networks (WNNets) 50
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging 50
Software Verification Challenges in the Blockchain Ecosystem 44
MichelsonLiSA: A Static Analyzer for Tezos 44
Blockchain-Based Multirole Authentication and Authorization in Smart Contracts with a Hierarchical Factory Pattern 39
Information Flow Analysis for Detecting Non-Determinism in Blockchain 37
On the Termination of Borrow Checking in Featherweight Rust 33
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study. 20
Totale 10.628
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.879
article - articoli 10.798
book - libri 0
conference - conferenze 23.678
curatela - curatele 1.403
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 71.758
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021673 0 0 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/20252.502 178 210 85 435 143 134 130 167 316 155 241 308
2025/20261.480 450 467 563 0 0 0 0 0 0 0 0 0
Totale 10.628