ARCERI, VINCENZO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.737
AS - Asia 1.323
EU - Europa 1.122
SA - Sud America 110
Continente sconosciuto - Info sul continente non disponibili 58
AF - Africa 31
OC - Oceania 6
Totale 4.387
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.698
IT - Italia 658
SG - Singapore 416
CN - Cina 267
VN - Vietnam 256
HK - Hong Kong 107
DE - Germania 88
BR - Brasile 80
IN - India 64
RU - Federazione Russa 52
JP - Giappone 51
KR - Corea 44
FR - Francia 37
NL - Olanda 37
GB - Regno Unito 36
FI - Finlandia 35
IE - Irlanda 30
SE - Svezia 30
BD - Bangladesh 27
PL - Polonia 27
CA - Canada 21
AT - Austria 18
ES - Italia 17
ID - Indonesia 13
TW - Taiwan 13
AR - Argentina 12
MX - Messico 12
UA - Ucraina 12
IQ - Iraq 10
LV - Lettonia 10
PK - Pakistan 8
VE - Venezuela 8
TH - Thailandia 7
ZA - Sudafrica 7
BE - Belgio 6
CY - Cipro 6
PH - Filippine 6
RO - Romania 6
AU - Australia 5
IR - Iran 5
EC - Ecuador 4
GR - Grecia 4
MA - Marocco 4
BJ - Benin 3
CH - Svizzera 3
CO - Colombia 3
JO - Giordania 3
LT - Lituania 3
MY - Malesia 3
MZ - Mozambico 3
NG - Nigeria 3
PT - Portogallo 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
CR - Costa Rica 2
CZ - Repubblica Ceca 2
DK - Danimarca 2
EG - Egitto 2
JM - Giamaica 2
LB - Libano 2
MT - Malta 2
SN - Senegal 2
TN - Tunisia 2
TR - Turchia 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
PS - Palestinian Territory 1
PY - Paraguay 1
QA - Qatar 1
RS - Serbia 1
SA - Arabia Saudita 1
SD - Sudan 1
TT - Trinidad e Tobago 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 4.331
Salva come PNG Salva come JPEG
Città #
Ashburn 328
Singapore 197
Woodbridge 160
San Jose 157
Council Bluffs 135
Hong Kong 94
Chandler 87
Venice 86
Verona 73
Ho Chi Minh City 70
Dallas 69
Milan 66
Hanoi 56
New York 52
Beijing 50
Seoul 40
Hefei 38
Fairfield 34
Tokyo 34
Munich 32
Los Angeles 31
Udine 31
Parma 30
Santa Clara 30
Boardman 29
Treviso 27
The Dalles 25
Warsaw 24
Dublin 23
Houston 23
Seattle 22
Bengaluru 20
Lauterbourg 19
Bologna 17
Orem 17
Buffalo 15
Moscow 15
Ann Arbor 14
Columbus 14
São Paulo 13
Chennai 12
Haiphong 12
Wilmington 12
Frankfurt am Main 11
Jakarta 11
Lappeenranta 11
Vienna 11
Boston 10
Da Nang 10
Guangzhou 10
Jacksonville 10
Turku 10
Chicago 9
Rome 9
San Mateo 9
Manchester 8
Phoenix 8
Des Moines 7
Helsinki 7
Jelgava 7
Mülheim 7
Paris 7
San Benedetto Po 7
Torre di Fine 7
Andover 6
Brooklyn 6
Denver 6
Fiorano Modenese 6
Johnstown 6
Limassol 6
London 6
Nuremberg 6
Padova 6
Atlanta 5
Bucharest 5
Galway 5
Hải Dương 5
Irvine 5
Kolkata 5
Kowloon 5
Montreal 5
Nha Trang 5
Princeton 5
Taichung 5
Zhengzhou 5
Altamura 4
Amsterdam 4
Baghdad 4
Bangkok 4
Bremen 4
Cambridge 4
Can Tho 4
Darmstadt 4
Islamabad 4
Jinan 4
Karlsruhe 4
Kiel 4
Las Vegas 4
Long Xuyen 4
Mumbai 4
Totale 2.693
Salva come PNG Salva come JPEG
Nome #
Completeness of Abstract Domains for String Analysis of JavaScript Programs 469
Information Flow Analysis for Detecting Non-Determinism in Blockchain 387
LiSA: A Generic Framework for Multilanguage Static Analysis 287
Static analysis for dummies: experiencing LiSA 275
Twinning Automata and Regular Expressions for String Static Analysis 262
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 204
Relational String Abstract Domains 192
Challenges of software verification: the past, the present, the future 191
Detection of Phantom Reads in Hyperledger Fabric 190
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 188
Teaching Through Practice: Advanced Static Analysis with LiSA 187
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 164
Completeness of string analysis for dynamic languages 157
Tarsis: An effective automata-based abstract domain for string analysis 142
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 141
Design and Implementation of Static Analyses for Tezos Smart Contracts 136
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) 134
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 130
Challenges of software verification 126
Preface 126
Lifting String Analysis Domains 121
Introducing Pyra: A High-Level Linter for Data Science Software 61
On the Verification of ML Systems and Models 39
Helping LLMs improve code generation using feedback from testing and static analysis 30
Challenges of Software Verification (CSV’25) 24
PYRA: A high-level linter for data science software 24
Totale 4.387
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.950
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 13.950
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022240 0 18 20 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/2027238 117 121 0 0 0 0 0 0 0 0 0 0
Totale 4.387