ARCERI, VINCENZO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.306
AS - Asia 1.276
EU - Europa 1.003
SA - Sud America 108
AF - Africa 31
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 2
Totale 3.731
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.281
IT - Italia 570
SG - Singapore 400
CN - Cina 263
VN - Vietnam 256
HK - Hong Kong 104
DE - Germania 84
BR - Brasile 79
IN - India 62
RU - Federazione Russa 52
JP - Giappone 50
KR - Corea 43
FR - Francia 36
FI - Finlandia 35
GB - Regno Unito 35
NL - Olanda 32
IE - Irlanda 30
PL - Polonia 27
SE - Svezia 22
AT - Austria 16
CA - Canada 13
ID - Indonesia 13
TW - Taiwan 13
AR - Argentina 12
UA - Ucraina 12
MX - Messico 11
ES - Italia 10
IQ - Iraq 10
LV - Lettonia 9
BD - Bangladesh 8
PK - Pakistan 8
VE - Venezuela 8
TH - Thailandia 7
ZA - Sudafrica 7
BE - Belgio 6
CY - Cipro 6
PH - Filippine 6
RO - Romania 6
IR - Iran 5
AU - Australia 4
GR - Grecia 4
MA - Marocco 4
BJ - Benin 3
CH - Svizzera 3
CO - Colombia 3
EC - Ecuador 3
JO - Giordania 3
MZ - Mozambico 3
NG - Nigeria 3
PT - Portogallo 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
CZ - Repubblica Ceca 2
DK - Danimarca 2
EG - Egitto 2
LB - Libano 2
MT - Malta 2
MY - Malesia 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
CR - Costa Rica 1
DZ - Algeria 1
EU - Europa 1
HU - Ungheria 1
IL - Israele 1
KE - Kenya 1
LT - Lituania 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 3.731
Salva come PNG Salva come JPEG
Città #
Ashburn 261
Singapore 190
Woodbridge 159
San Jose 114
Hong Kong 92
Chandler 87
Venice 73
Verona 72
Ho Chi Minh City 70
Dallas 64
Milan 59
Hanoi 56
Beijing 48
New York 41
Seoul 39
Hefei 38
Fairfield 34
Tokyo 34
Munich 32
Treviso 27
Los Angeles 26
Parma 25
The Dalles 25
Boardman 24
Udine 24
Dublin 23
Houston 23
Warsaw 23
Bengaluru 20
Council Bluffs 20
Seattle 20
Lauterbourg 19
Bologna 17
Orem 17
Santa Clara 17
Moscow 15
Ann Arbor 14
Buffalo 13
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
Chicago 7
Des Moines 7
Helsinki 7
Mülheim 7
Phoenix 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
Mumbai 4
Nanjing 4
Padua 4
Querétaro 4
Rio de Janeiro 4
Totale 2.354
Salva come PNG Salva come JPEG
Nome #
Completeness of Abstract Domains for String Analysis of JavaScript Programs 439
Information Flow Analysis for Detecting Non-Determinism in Blockchain 330
LiSA: A Generic Framework for Multilanguage Static Analysis 253
Static analysis for dummies: experiencing LiSA 249
Twinning Automata and Regular Expressions for String Static Analysis 244
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 188
Detection of Phantom Reads in Hyperledger Fabric 176
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 175
Relational String Abstract Domains 172
Teaching Through Practice: Advanced Static Analysis with LiSA 170
Challenges of software verification: the past, the present, the future 159
Completeness of string analysis for dynamic languages 147
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 145
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 126
Tarsis: An effective automata-based abstract domain for string analysis 126
Design and Implementation of Static Analyses for Tezos Smart Contracts 117
Lifting String Analysis Domains 112
Preface 111
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) 103
Challenges of software verification 102
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 82
Introducing Pyra: A High-Level Linter for Data Science Software 49
PYRA: A high-level linter for data science software 9
Totale 3.784
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.687
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 11.687
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202158 0 0 0 0 0 0 0 0 0 16 23 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.043 165 103 138 164 330 188 271 167 330 187 0 0
Totale 3.784