IRIS
ARCERI, Vincenzo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.797
AS - Asia 1.517
EU - Europa 1.058
SA - Sud America 249
Continente sconosciuto - Info sul continente non disponibili 106
AF - Africa 94
OC - Oceania 3
Totale 4.824
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.742
SG - Singapore 610
IT - Italia 417
CN - Cina 273
VN - Vietnam 242
BR - Brasile 184
HK - Hong Kong 156
SE - Svezia 107
DE - Germania 89
IE - Irlanda 83
RU - Federazione Russa 72
GB - Regno Unito 66
FR - Francia 62
IN - India 61
NL - Olanda 61
ZA - Sudafrica 59
CA - Canada 32
FI - Finlandia 31
TR - Turchia 27
AR - Argentina 24
KR - Corea 21
IQ - Iraq 19
BD - Bangladesh 17
AT - Austria 15
ID - Indonesia 14
PH - Filippine 14
CO - Colombia 11
EC - Ecuador 10
ES - Italia 10
MX - Messico 9
PL - Polonia 9
CI - Costa d'Avorio 8
JP - Giappone 8
RO - Romania 8
TH - Thailandia 7
VE - Venezuela 7
CZ - Repubblica Ceca 6
MY - Malesia 6
PK - Pakistan 6
SA - Arabia Saudita 6
EU - Europa 5
KE - Kenya 5
LT - Lituania 5
MA - Marocco 5
CL - Cile 4
JO - Giordania 4
TW - Taiwan 4
AU - Australia 3
BO - Bolivia 3
CH - Svizzera 3
CR - Costa Rica 3
DZ - Algeria 3
IR - Iran 3
LB - Libano 3
NG - Nigeria 3
TN - Tunisia 3
TT - Trinidad e Tobago 3
UA - Ucraina 3
AZ - Azerbaigian 2
BE - Belgio 2
EE - Estonia 2
EG - Egitto 2
ET - Etiopia 2
HU - Ungheria 2
JM - Giamaica 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
GE - Georgia 1
GT - Guatemala 1
IL - Israele 1
KG - Kirghizistan 1
LC - Santa Lucia 1
LV - Lettonia 1
OM - Oman 1
PT - Portogallo 1
QA - Qatar 1
SI - Slovenia 1
SN - Senegal 1
SZ - Regno dello Swaziland 1
XK - ???statistics.table.value.countryCode.XK??? 1
ZW - Zimbabwe 1
Totale 4.724
Salva come PNG Salva come JPEG
Città #
Singapore 361
San Jose 354
Ashburn 282
Santa Clara 159
Hong Kong 144
Dallas 120
Parma 115
Chandler 106
Boardman 87
Hefei 86
Dublin 83
Council Bluffs 82
Ho Chi Minh City 72
Johannesburg 56
Hanoi 54
Beijing 39
Munich 38
Kensington 37
Los Angeles 37
Bengaluru 35
Lauterbourg 35
Milan 34
Moscow 28
New York 28
Shanghai 27
Chicago 24
Bologna 23
Frankfurt am Main 20
Seoul 18
São Paulo 18
Turku 17
Istanbul 15
Haiphong 14
Princeton 14
Verona 14
Amsterdam 13
Buffalo 12
Helsinki 12
Montreal 12
Phoenix 12
Venice 12
Des Moines 11
London 11
Stockholm 11
Orem 10
Vienna 10
Baghdad 9
Columbus 9
Jakarta 9
Marseille 9
Salt Lake City 9
Abidjan 8
Ankara 8
Atlanta 8
Nuremberg 8
Rio de Janeiro 8
Warsaw 8
Da Nang 7
Guangzhou 7
Reggio Emilia 7
Seattle 7
Boston 6
Dalmine 6
Mumbai 6
Pozzuolo Martesana 6
Toronto 6
Wilmington 6
Biên Hòa 5
Brooklyn 5
Chennai 5
Fairfield 5
Fortaleza 5
Nairobi 5
Quito 5
Rome 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
Mexico City 4
Trieste 4
Washington 4
Agliè 3
Amman 3
Augusta 3
Berlin 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
Totale 3.090
Salva come PNG Salva come JPEG
Nome #
BIOCHAIN-AI: a platform for securely sharing and analysing microbiological data 212
BIOCHAIN: Towards a platform for securely sharing microbiological data 199
SEA: String Executability Analysis by Abstract Interpretation 167
A Machine Learning Approach for Source Code Similarity via Graph-Focused Features 166
A sound abstract interpreter for dynamic code 161
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 152
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval 141
Challenges of software verification 126
Speeding up static analysis with the split operator 125
Design and Implementation of Static Analyses for Tezos Smart Contracts 124
Abstract Domains for Type Juggling 123
An abstract domain for objects in dynamic programming languages 123
Unconstrained Variable Oracles for Faster Numeric Static Analyses 119
Improving dynamic code analysis by code abstraction 119
Completeness of Abstract Domains for String Analysis of JavaScript Programs 118
Completeness of string analysis for dynamic languages 117
Speeding up Static Analysis with the Split Operator 116
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 115
Relational String Abstract Domains 113
Tarsis: An effective automata‐based abstract domain for string analysis 111
Static analysis for dummies: Experiencing LiSA 111
Decoupling the Ascending and Descending Phases in Abstract Interpretation 110
Challenges of Software Verification 109
Welcome from the Chairs 109
Static analysis for ECMAscript string manipulation programs 108
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 107
Challenges of software verification: the past, the present, the future 105
Detection of Phantom Reads in Hyperledger Fabric 105
Twinning Automata and Regular Expressions for String Static Analysis 104
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 103
LiSA: A Generic Framework for Multilanguage Static Analysis 97
Information Flow Analysis for Detecting Non-Determinism in Blockchain 95
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 91
Static program analysis for string manipulation languages 85
Preface 79
“Fixing” the Specification of Widenings 77
PYRA: A high-level linter for data science software 74
Introducing Pyra: A High-Level Linter for Data Science Software 69
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact) 63
Teaching Through Practice: Advanced Static Analysis with LiSA 61
Lifting String Analysis Domains 58
Faster numeric static analyses with unconstrained variable oracles 57
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 32
Helping LLMs improve code generation using feedback from testing and static analysis 32
JLiSA: The Java Frontend of the Library for Static Analysis (Competition Contribution) 30
On the Verification of ML Systems and Models 6
Totale 4.824
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.240
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 17.240
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.480 202 207 321 240 328 141 291 152 264 203 85 46
2026/2027308 121 145 42 0 0 0 0 0 0 0 0 0
Totale 4.824