ARCERI, VINCENZO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.162
AS - Asia 1.345
EU - Europa 1.213
SA - Sud America 115
Continente sconosciuto - Info sul continente non disponibili 64
AF - Africa 31
OC - Oceania 6
Totale 4.936
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.087
IT - Italia 738
SG - Singapore 417
CN - Cina 273
VN - Vietnam 256
HK - Hong Kong 107
DE - Germania 89
BR - Brasile 82
IN - India 65
JP - Giappone 57
RU - Federazione Russa 52
KR - Corea 44
CA - Canada 42
NL - Olanda 40
GB - Regno Unito 39
FR - Francia 37
FI - Finlandia 35
IE - Irlanda 31
SE - Svezia 30
BD - Bangladesh 27
PL - Polonia 27
AT - Austria 19
ES - Italia 17
ID - Indonesia 16
AR - Argentina 13
TW - Taiwan 13
MX - Messico 12
UA - Ucraina 12
IQ - Iraq 10
LV - Lettonia 10
PK - Pakistan 9
VE - Venezuela 9
TH - Thailandia 7
ZA - Sudafrica 7
BE - Belgio 6
CY - Cipro 6
PH - Filippine 6
RO - Romania 6
AU - Australia 5
EC - Ecuador 5
IR - Iran 5
LT - Lituania 5
CR - Costa Rica 4
GR - Grecia 4
MA - Marocco 4
AM - Armenia 3
BJ - Benin 3
CH - Svizzera 3
CO - Colombia 3
CW - ???statistics.table.value.countryCode.CW??? 3
HN - Honduras 3
JM - Giamaica 3
JO - Giordania 3
MY - Malesia 3
MZ - Mozambico 3
NG - Nigeria 3
NI - Nicaragua 3
PT - Portogallo 3
TR - Turchia 3
TT - Trinidad e Tobago 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
CZ - Repubblica Ceca 2
DK - Danimarca 2
EG - Egitto 2
GT - Guatemala 2
LB - Libano 2
MT - Malta 2
SN - Senegal 2
TN - Tunisia 2
UY - Uruguay 2
AL - Albania 1
AO - Angola 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
CG - Congo 1
DZ - Algeria 1
EU - Europa 1
HU - Ungheria 1
IL - Israele 1
KE - Kenya 1
MN - Mongolia 1
MV - Maldive 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PR - Porto Rico 1
PS - Palestinian Territory 1
PY - Paraguay 1
QA - Qatar 1
RS - Serbia 1
SA - Arabia Saudita 1
SD - Sudan 1
SV - El Salvador 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 4.877
Salva come PNG Salva come JPEG
Città #
Ashburn 384
San Jose 206
Singapore 198
Woodbridge 160
Council Bluffs 154
Venice 101
Hong Kong 94
Chandler 87
Dallas 74
Milan 73
Verona 73
Ho Chi Minh City 70
New York 60
Hanoi 56
Beijing 50
Santa Clara 40
Seoul 40
Tokyo 40
Hefei 38
Fairfield 34
Los Angeles 34
Munich 32
Parma 31
Udine 31
Boardman 29
Treviso 27
The Dalles 26
Staranzano 24
Warsaw 24
Dublin 23
Houston 23
Seattle 23
Bengaluru 20
Lauterbourg 19
Bologna 18
Chicago 18
Buffalo 17
Orem 17
Denver 16
Columbus 15
Moscow 15
Ann Arbor 14
São Paulo 14
Phoenix 13
Chennai 12
Haiphong 12
Wilmington 12
Frankfurt am Main 11
Jakarta 11
Lappeenranta 11
Rome 11
Vienna 11
Boston 10
Da Nang 10
Guangzhou 10
Jacksonville 10
Turku 10
North Bergen 9
San Mateo 9
Manchester 8
Montreal 8
Washington 8
Atlanta 7
Brooklyn 7
Des Moines 7
Helsinki 7
Jelgava 7
Mülheim 7
Paris 7
Philadelphia 7
San Benedetto Po 7
Toronto 7
Torre di Fine 7
Andover 6
Fiorano Modenese 6
Irvine 6
Johnstown 6
Limassol 6
London 6
Nuremberg 6
Padova 6
Padua 6
Princeton 6
Bucharest 5
Galway 5
Hải Dương 5
Kolkata 5
Kowloon 5
Nha Trang 5
Taichung 5
Zhengzhou 5
Altamura 4
Amsterdam 4
Baghdad 4
Bangkok 4
Bari 4
Bremen 4
Cambridge 4
Can Tho 4
Charlotte 4
Totale 2.951
Salva come PNG Salva come JPEG
Nome #
Completeness of Abstract Domains for String Analysis of JavaScript Programs 486
Information Flow Analysis for Detecting Non-Determinism in Blockchain 417
LiSA: A Generic Framework for Multilanguage Static Analysis 318
Static analysis for dummies: experiencing LiSA 299
Twinning Automata and Regular Expressions for String Static Analysis 269
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 225
Challenges of software verification: the past, the present, the future 209
Relational String Abstract Domains 206
Detection of Phantom Reads in Hyperledger Fabric 204
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 202
Teaching Through Practice: Advanced Static Analysis with LiSA 199
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 191
Completeness of string analysis for dynamic languages 173
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) 166
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 160
Tarsis: An effective automata-based abstract domain for string analysis 157
Challenges of software verification 153
Design and Implementation of Static Analyses for Tezos Smart Contracts 146
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 145
Preface 141
Lifting String Analysis Domains 136
Introducing Pyra: A High-Level Linter for Data Science Software 85
On the Verification of ML Systems and Models 69
Challenges of Software Verification (CSV’25) 53
Helping LLMs improve code generation using feedback from testing and static analysis 52
PYRA: A high-level linter for data science software 49
GoLiSA: An Advanced Static Analysis Tool for Detecting Potential Risks and Vulnerabilities in Hyperledger Fabric Smart Contracts 14
Speeding up static analysis with the split operator 12
Totale 4.936
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.653
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 15.653
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022202 0 0 0 36 24 1 7 3 6 20 83 22
2022/2023265 13 20 3 24 33 51 3 18 44 5 30 21
2023/2024274 21 23 15 17 30 38 21 22 26 10 18 33
2024/2025738 12 23 53 51 45 58 91 36 127 105 94 43
2025/20262.408 165 103 138 164 330 188 271 167 330 225 133 194
2026/2027787 117 139 301 230 0 0 0 0 0 0 0 0
Totale 4.936