ARCERI, VINCENZO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.009
EU - Europa 839
AS - Asia 748
SA - Sud America 92
AF - Africa 16
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 2
Totale 2.710
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 989
IT - Italia 468
SG - Singapore 263
CN - Cina 193
DE - Germania 77
HK - Hong Kong 77
BR - Brasile 71
VN - Vietnam 63
RU - Federazione Russa 52
IN - India 49
FI - Finlandia 31
IE - Irlanda 30
NL - Olanda 27
JP - Giappone 25
PL - Polonia 25
GB - Regno Unito 24
SE - Svezia 19
KR - Corea 16
AT - Austria 15
FR - Francia 15
CA - Canada 12
UA - Ucraina 12
ID - Indonesia 11
AR - Argentina 10
LV - Lettonia 9
ES - Italia 7
MX - Messico 7
BE - Belgio 6
CY - Cipro 6
IQ - Iraq 6
TW - Taiwan 6
VE - Venezuela 6
BD - Bangladesh 5
IR - Iran 5
PK - Pakistan 5
RO - Romania 5
AU - Australia 3
BJ - Benin 3
CH - Svizzera 3
MA - Marocco 3
PT - Portogallo 3
CO - Colombia 2
DK - Danimarca 2
GR - Grecia 2
JO - Giordania 2
LB - Libano 2
MT - Malta 2
MY - Malesia 2
NG - Nigeria 2
PH - Filippine 2
TN - Tunisia 2
TR - Turchia 2
UY - Uruguay 2
UZ - Uzbekistan 2
ZA - Sudafrica 2
AO - Angola 1
BA - Bosnia-Erzegovina 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
EC - Ecuador 1
EU - Europa 1
HU - Ungheria 1
IL - Israele 1
LT - Lituania 1
MN - Mongolia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PS - Palestinian Territory 1
QA - Qatar 1
RS - Serbia 1
SA - Arabia Saudita 1
SD - Sudan 1
SN - Senegal 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 2.710
Salva come PNG Salva come JPEG
Città #
Ashburn 181
Woodbridge 159
Singapore 133
Chandler 87
Hong Kong 74
Venice 68
Verona 68
Dallas 64
Beijing 43
Hefei 38
Milan 37
Fairfield 34
New York 33
Munich 32
Treviso 27
Udine 24
Dublin 23
Houston 23
Boardman 22
Warsaw 21
Bengaluru 20
Seattle 20
Los Angeles 19
Ho Chi Minh City 18
The Dalles 17
Bologna 16
Council Bluffs 15
Moscow 15
Seoul 15
Ann Arbor 14
Parma 14
Santa Clara 12
Buffalo 11
Jakarta 11
São Paulo 11
Tokyo 11
Vienna 11
Wilmington 11
Boston 10
Hanoi 10
Turku 10
Jacksonville 9
San Mateo 9
Chennai 8
Frankfurt am Main 8
Guangzhou 8
Helsinki 7
Lappeenranta 7
Mülheim 7
Orem 7
San Benedetto Po 7
Torre di Fine 7
Andover 6
Fiorano Modenese 6
Jelgava 6
Limassol 6
London 6
Nuremberg 6
Padova 6
Brooklyn 5
Denver 5
Des Moines 5
Galway 5
Haiphong 5
Irvine 5
Kolkata 5
Princeton 5
Rome 5
Altamura 4
Atlanta 4
Bremen 4
Bucharest 4
Cambridge 4
Chicago 4
Darmstadt 4
Hải Dương 4
Jinan 4
Karlsruhe 4
Paris 4
Querétaro 4
Shenyang 4
Taichung 4
Tampere 4
Zhengzhou 4
Amsterdam 3
Charlotte 3
Cotonou 3
Den Haag 3
Hebei 3
Islamabad 3
Kyiv 3
Manchester 3
Montreal 3
Mumbai 3
Nanjing 3
Naples 3
Ottawa 3
Passau 3
Phoenix 3
Pune 3
Totale 1.765
Salva come PNG Salva come JPEG
Nome #
Completeness of Abstract Domains for String Analysis of JavaScript Programs 391
Information Flow Analysis for Detecting Non-Determinism in Blockchain 274
Twinning Automata and Regular Expressions for String Static Analysis 213
Static analysis for dummies: experiencing LiSA 198
LiSA: A Generic Framework for Multilanguage Static Analysis 189
Relational String Abstract Domains 141
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 138
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 133
Detection of Phantom Reads in Hyperledger Fabric 124
Challenges of software verification: the past, the present, the future 123
Teaching Through Practice: Advanced Static Analysis with LiSA 120
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 114
Completeness of string analysis for dynamic languages 113
Tarsis: An effective automata-based abstract domain for string analysis 96
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 91
Preface 81
Lifting String Analysis Domains 76
Design and Implementation of Static Analyses for Tezos Smart Contracts 73
Challenges of software verification 36
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 19
Introducing Pyra: A High-Level Linter for Data Science Software 18
Totale 2.761
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.277
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 10.277
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021112 0 0 0 0 0 2 29 9 14 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/20261.020 165 103 138 164 330 120 0 0 0 0 0 0
Totale 2.761