IRIS
ARCERI, Vincenzo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.531
AS - Asia 1.498
EU - Europa 1.037
SA - Sud America 244
AF - Africa 94
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 3
Totale 4.413
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.486
SG - Singapore 604
IT - Italia 403
CN - Cina 270
VN - Vietnam 242
BR - Brasile 182
HK - Hong Kong 153
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
CA - Canada 30
TR - Turchia 27
AR - Argentina 24
KR - Corea 21
IQ - Iraq 19
BD - Bangladesh 16
AT - Austria 15
ID - Indonesia 14
PH - Filippine 14
CO - Colombia 10
ES - Italia 10
EC - Ecuador 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
AW - Aruba 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.413
Salva come PNG Salva come JPEG
Città #
Singapore 355
Ashburn 278
San Jose 264
Hong Kong 143
Dallas 119
Santa Clara 119
Parma 115
Chandler 105
Boardman 87
Hefei 86
Dublin 83
Ho Chi Minh City 72
Johannesburg 56
Hanoi 54
Munich 38
Beijing 37
Kensington 37
Los Angeles 37
Bengaluru 35
Lauterbourg 35
Milan 32
Moscow 28
New York 27
Shanghai 26
Chicago 23
Bologna 22
Frankfurt am Main 20
Seoul 18
São Paulo 18
Turku 17
Istanbul 15
Council Bluffs 14
Haiphong 14
Princeton 14
Verona 14
Amsterdam 13
Helsinki 12
Montreal 12
Buffalo 11
Des Moines 11
London 11
Stockholm 11
Venice 11
Orem 10
Vienna 10
Baghdad 9
Columbus 9
Jakarta 9
Marseille 9
Abidjan 8
Ankara 8
Atlanta 8
Nuremberg 8
Rio de Janeiro 8
Salt Lake City 8
Warsaw 8
Da Nang 7
Guangzhou 7
Reggio Emilia 7
Seattle 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
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
Forlì 3
Jeddah 3
Jundiaí 3
Totale 2.855
Salva come PNG Salva come JPEG
Nome #
BIOCHAIN-AI: a platform for securely sharing and analysing microbiological data 206
BIOCHAIN: Towards a platform for securely sharing microbiological data 194
SEA: String Executability Analysis by Abstract Interpretation 160
A Machine Learning Approach for Source Code Similarity via Graph-Focused Features 157
A sound abstract interpreter for dynamic code 154
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval 136
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 130
Challenges of software verification 123
Design and Implementation of Static Analyses for Tezos Smart Contracts 121
Speeding up static analysis with the split operator 121
An abstract domain for objects in dynamic programming languages 119
Abstract Domains for Type Juggling 118
Unconstrained Variable Oracles for Faster Numeric Static Analyses 116
Completeness of string analysis for dynamic languages 114
Improving dynamic code analysis by code abstraction 114
Speeding up Static Analysis with the Split Operator 113
Completeness of Abstract Domains for String Analysis of JavaScript Programs 113
Tarsis: An effective automata‐based abstract domain for string analysis 110
Relational String Abstract Domains 110
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 109
Static analysis for dummies: Experiencing LiSA 108
Decoupling the Ascending and Descending Phases in Abstract Interpretation 108
Welcome from the Chairs 104
Challenges of software verification: the past, the present, the future 102
Challenges of Software Verification 100
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 99
Static analysis for ECMAscript string manipulation programs 99
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 98
Twinning Automata and Regular Expressions for String Static Analysis 98
Detection of Phantom Reads in Hyperledger Fabric 96
Information Flow Analysis for Detecting Non-Determinism in Blockchain 91
LiSA: A Generic Framework for Multilanguage Static Analysis 91
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 82
Static program analysis for string manipulation languages 82
Preface 76
“Fixing” the Specification of Widenings 73
Introducing Pyra: A High-Level Linter for Data Science Software 62
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact) 59
Teaching Through Practice: Advanced Static Analysis with LiSA 58
PYRA: A high-level linter for data science software 54
Lifting String Analysis Domains 53
Faster numeric static analyses with unconstrained variable oracles 40
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 15
Helping LLMs improve code generation using feedback from testing and static analysis 13
JLiSA: The Java Frontend of the Library for Static Analysis (Competition Contribution) 12
Totale 4.511
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.516
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 15.516
Salva come PNG Salva come JPEG


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.475 202 207 321 240 328 141 291 152 264 203 85 41
Totale 4.511