ARCERI, VINCENZO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.555
AS - Asia 1.305
EU - Europa 1.074
SA - Sud America 109
AF - Africa 31
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 2
Totale 4.082
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.523
IT - Italia 628
SG - Singapore 412
CN - Cina 265
VN - Vietnam 256
HK - Hong Kong 106
DE - Germania 86
BR - Brasile 80
IN - India 62
RU - Federazione Russa 52
JP - Giappone 51
KR - Corea 44
FR - Francia 36
NL - Olanda 36
FI - Finlandia 35
GB - Regno Unito 35
IE - Irlanda 30
PL - Polonia 27
SE - Svezia 22
BD - Bangladesh 18
CA - Canada 17
AT - Austria 16
ES - Italia 15
ID - Indonesia 13
TW - Taiwan 13
AR - Argentina 12
MX - Messico 12
UA - Ucraina 12
IQ - Iraq 10
LV - Lettonia 9
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
GR - Grecia 4
MA - Marocco 4
BJ - Benin 3
CH - Svizzera 3
CO - Colombia 3
EC - Ecuador 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
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
CG - Congo 1
DZ - Algeria 1
EU - Europa 1
HU - Ungheria 1
IL - Israele 1
JM - Giamaica 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
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 4.082
Salva come PNG Salva come JPEG
Città #
Ashburn 294
Singapore 196
Woodbridge 159
San Jose 135
Council Bluffs 120
Hong Kong 94
Chandler 87
Venice 77
Verona 72
Ho Chi Minh City 70
Dallas 66
Milan 64
Hanoi 56
New York 51
Beijing 49
Seoul 40
Hefei 38
Fairfield 34
Tokyo 34
Munich 32
Udine 31
Los Angeles 29
Boardman 28
Parma 27
Treviso 27
The Dalles 25
Warsaw 24
Dublin 23
Houston 23
Santa Clara 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
Frankfurt am Main 11
Jakarta 11
Lappeenranta 11
Vienna 11
Wilmington 11
Boston 10
Da Nang 10
Guangzhou 10
Turku 10
Jacksonville 9
San Mateo 9
Manchester 8
Phoenix 8
Chicago 7
Des Moines 7
Helsinki 7
Mülheim 7
Rome 7
San Benedetto Po 7
Torre di Fine 7
Andover 6
Brooklyn 6
Fiorano Modenese 6
Jelgava 6
Limassol 6
London 6
Nuremberg 6
Padova 6
Paris 6
Atlanta 5
Bucharest 5
Denver 5
Galway 5
Hải Dương 5
Irvine 5
Kolkata 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
Kowloon 4
Long Xuyen 4
Montreal 4
Mumbai 4
Nanjing 4
Ottawa 4
Totale 2.577
Salva come PNG Salva come JPEG
Nome #
Completeness of Abstract Domains for String Analysis of JavaScript Programs 461
Information Flow Analysis for Detecting Non-Determinism in Blockchain 370
LiSA: A Generic Framework for Multilanguage Static Analysis 273
Static analysis for dummies: experiencing LiSA 267
Twinning Automata and Regular Expressions for String Static Analysis 255
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 196
Detection of Phantom Reads in Hyperledger Fabric 185
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 182
Relational String Abstract Domains 182
Teaching Through Practice: Advanced Static Analysis with LiSA 181
Challenges of software verification: the past, the present, the future 171
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 157
Completeness of string analysis for dynamic languages 153
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 134
Tarsis: An effective automata-based abstract domain for string analysis 133
Design and Implementation of Static Analyses for Tezos Smart Contracts 132
Preface 123
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) 120
Lifting String Analysis Domains 118
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 118
Challenges of software verification 117
Introducing Pyra: A High-Level Linter for Data Science Software 55
PYRA: A high-level linter for data science software 18
Helping LLMs improve code generation using feedback from testing and static analysis 14
On the Verification of ML Systems and Models 13
Challenges of Software Verification (CSV’25) 10
Totale 4.138
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.944
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 12.944
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202119 0 0 0 0 0 0 0 0 0 0 0 19
2021/2022279 39 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.397 165 103 138 164 330 188 271 167 330 225 133 183
Totale 4.138