ARCERI, Vincenzo
 Distribuzione geografica
Continente #
AS - Asia 1.489
NA - Nord America 1.397
EU - Europa 1.019
SA - Sud America 244
AF - Africa 94
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 3
Totale 4.252
Nazione #
US - Stati Uniti d'America 1.358
SG - Singapore 601
IT - Italia 386
CN - Cina 266
VN - Vietnam 242
BR - Brasile 182
HK - Hong Kong 152
SE - Svezia 105
DE - Germania 87
IE - Irlanda 83
RU - Federazione Russa 72
GB - Regno Unito 66
NL - Olanda 61
FR - Francia 60
IN - India 60
ZA - Sudafrica 59
FI - Finlandia 31
TR - Turchia 27
CA - Canada 25
AR - Argentina 24
KR - Corea 21
IQ - Iraq 19
AT - Austria 15
BD - Bangladesh 15
ID - Indonesia 14
PH - Filippine 14
CO - Colombia 10
EC - Ecuador 9
ES - Italia 9
PL - Polonia 9
CI - Costa d'Avorio 8
JP - Giappone 8
RO - Romania 8
CZ - Repubblica Ceca 6
MX - Messico 6
TH - Thailandia 6
VE - Venezuela 6
EU - Europa 5
KE - Kenya 5
LT - Lituania 5
MA - Marocco 5
MY - Malesia 5
SA - Arabia Saudita 5
CL - Cile 4
JO - Giordania 4
PK - Pakistan 4
TW - Taiwan 4
AU - Australia 3
BO - Bolivia 3
CH - Svizzera 3
DZ - Algeria 3
IR - Iran 3
LB - Libano 3
NG - Nigeria 3
TN - Tunisia 3
UA - Ucraina 3
AZ - Azerbaigian 2
BE - Belgio 2
CR - Costa Rica 2
EG - Egitto 2
ET - Etiopia 2
HU - Ungheria 2
NP - Nepal 2
PA - Panama 2
PE - Perù 2
PY - Paraguay 2
TJ - Tagikistan 2
UY - Uruguay 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
AF - Afghanistan, Repubblica islamica di 1
AL - Albania 1
AO - Angola 1
BG - Bulgaria 1
BH - Bahrain 1
DO - Repubblica Dominicana 1
EE - Estonia 1
GE - Georgia 1
GT - Guatemala 1
IL - Israele 1
JM - Giamaica 1
KG - Kirghizistan 1
LV - Lettonia 1
OM - Oman 1
PT - Portogallo 1
QA - Qatar 1
SI - Slovenia 1
SN - Senegal 1
SZ - Regno dello Swaziland 1
TT - Trinidad e Tobago 1
XK - ???statistics.table.value.countryCode.XK??? 1
ZW - Zimbabwe 1
Totale 4.252
Città #
Singapore 355
Ashburn 271
San Jose 194
Hong Kong 142
Santa Clara 119
Dallas 118
Parma 114
Chandler 105
Hefei 86
Dublin 83
Boardman 72
Ho Chi Minh City 72
Johannesburg 56
Hanoi 54
Munich 38
Kensington 37
Beijing 35
Bengaluru 35
Lauterbourg 35
Los Angeles 32
Milan 32
Moscow 28
Shanghai 26
New York 23
Bologna 22
Chicago 22
Frankfurt am Main 20
Seoul 18
São Paulo 18
Turku 17
Istanbul 15
Haiphong 14
Princeton 14
Verona 14
Amsterdam 13
Helsinki 12
Des Moines 11
London 11
Montreal 11
Stockholm 11
Orem 10
Vienna 10
Baghdad 9
Buffalo 9
Columbus 9
Council Bluffs 9
Jakarta 9
Marseille 9
Abidjan 8
Ankara 8
Nuremberg 8
Rio de Janeiro 8
Salt Lake City 8
Warsaw 8
Atlanta 7
Da Nang 7
Guangzhou 7
Seattle 7
Venice 7
Boston 6
Dalmine 6
Phoenix 6
Pozzuolo Martesana 6
Toronto 6
Wilmington 6
Biên Hòa 5
Brooklyn 5
Chennai 5
Fairfield 5
Fortaleza 5
Mumbai 5
Nairobi 5
Reggio Emilia 5
San Francisco 5
Suzzara 5
Tokyo 5
Bangkok 4
Düsseldorf 4
Goiânia 4
Houston 4
Hải Dương 4
Madrid 4
Manchester 4
Quito 4
Agliè 3
Amman 3
Augusta 3
Brasília 3
Brno 3
Bến Tre 3
Can Tho 3
Caracas 3
Cava de' Tirreni 3
City of London 3
Curitiba 3
Denver 3
Duque de Caxias 3
Jeddah 3
Jundiaí 3
Lagos 3
Totale 2.733
Nome #
BIOCHAIN-AI: a platform for securely sharing and analysing microbiological data 205
BIOCHAIN: Towards a platform for securely sharing microbiological data 191
SEA: String Executability Analysis by Abstract Interpretation 154
A Machine Learning Approach for Source Code Similarity via Graph-Focused Features 153
A sound abstract interpreter for dynamic code 153
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval 131
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 125
Design and Implementation of Static Analyses for Tezos Smart Contracts 118
Abstract Domains for Type Juggling 118
Challenges of software verification 118
Speeding up static analysis with the split operator 117
An abstract domain for objects in dynamic programming languages 116
Speeding up Static Analysis with the Split Operator 112
Completeness of string analysis for dynamic languages 112
Completeness of Abstract Domains for String Analysis of JavaScript Programs 112
Unconstrained Variable Oracles for Faster Numeric Static Analyses 111
Improving dynamic code analysis by code abstraction 111
Relational String Abstract Domains 107
Decoupling the Ascending and Descending Phases in Abstract Interpretation 107
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 106
Tarsis: An effective automata‐based abstract domain for string analysis 106
Static analysis for dummies: Experiencing LiSA 106
Welcome from the Chairs 103
Challenges of software verification: the past, the present, the future 99
Challenges of Software Verification 97
Static analysis for ECMAscript string manipulation programs 97
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 96
Twinning Automata and Regular Expressions for String Static Analysis 95
Detection of Phantom Reads in Hyperledger Fabric 90
Information Flow Analysis for Detecting Non-Determinism in Blockchain 89
LiSA: A Generic Framework for Multilanguage Static Analysis 89
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 88
Static program analysis for string manipulation languages 81
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 80
Preface 74
“Fixing” the Specification of Widenings 71
Introducing Pyra: A High-Level Linter for Data Science Software 59
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact) 58
Teaching Through Practice: Advanced Static Analysis with LiSA 55
Lifting String Analysis Domains 52
PYRA: A high-level linter for data science software 48
Faster numeric static analyses with unconstrained variable oracles 36
Totale 4.346
Categoria #
all - tutte 14.254
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 14.254


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022123 0 0 0 29 2 20 6 8 5 5 0 48
2022/2023409 48 62 32 34 16 48 23 21 99 3 16 7
2023/2024349 38 19 24 13 43 47 20 46 27 24 15 33
2024/20251.155 27 54 104 68 139 117 67 83 78 98 124 196
2025/20262.310 202 207 321 240 328 141 291 152 264 164 0 0
Totale 4.346