IRIS
ARCERI, Vincenzo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.721
AS - Asia 1.509
EU - Europa 1.055
SA - Sud America 246
Continente sconosciuto - Info sul continente non disponibili 106
AF - Africa 94
OC - Oceania 3
Totale 4.734
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.668
SG - Singapore 607
IT - Italia 415
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 61
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 10
ES - Italia 10
EC - Ecuador 9
PL - Polonia 9
CI - Costa d'Avorio 8
JP - Giappone 8
MX - Messico 8
RO - Romania 8
CZ - Repubblica Ceca 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
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
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.634
Salva come PNG Salva come JPEG
Città #
Singapore 358
San Jose 326
Ashburn 282
Hong Kong 144
Santa Clara 125
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
Bologna 23
Chicago 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
Venice 12
Des Moines 11
London 11
Phoenix 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
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
Quito 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.022
Salva come PNG Salva come JPEG
Nome #
BIOCHAIN-AI: a platform for securely sharing and analysing microbiological data 211
BIOCHAIN: Towards a platform for securely sharing microbiological data 198
A Machine Learning Approach for Source Code Similarity via Graph-Focused Features 165
SEA: String Executability Analysis by Abstract Interpretation 164
A sound abstract interpreter for dynamic code 157
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 149
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval 139
Challenges of software verification 124
Design and Implementation of Static Analyses for Tezos Smart Contracts 122
Speeding up static analysis with the split operator 122
An abstract domain for objects in dynamic programming languages 121
Abstract Domains for Type Juggling 120
Unconstrained Variable Oracles for Faster Numeric Static Analyses 117
Improving dynamic code analysis by code abstraction 117
Completeness of string analysis for dynamic languages 115
Completeness of Abstract Domains for String Analysis of JavaScript Programs 115
Speeding up Static Analysis with the Split Operator 114
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 114
Relational String Abstract Domains 112
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 109
Welcome from the Chairs 107
Challenges of Software Verification 106
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 106
Static analysis for ECMAscript string manipulation programs 106
Detection of Phantom Reads in Hyperledger Fabric 104
Challenges of software verification: the past, the present, the future 103
Twinning Automata and Regular Expressions for String Static Analysis 102
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 101
LiSA: A Generic Framework for Multilanguage Static Analysis 96
Information Flow Analysis for Detecting Non-Determinism in Blockchain 93
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 89
Static program analysis for string manipulation languages 84
Preface 77
“Fixing” the Specification of Widenings 75
PYRA: A high-level linter for data science software 70
Introducing Pyra: A High-Level Linter for Data Science Software 67
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact) 62
Teaching Through Practice: Advanced Static Analysis with LiSA 61
Lifting String Analysis Domains 57
Faster numeric static analyses with unconstrained variable oracles 53
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 30
Helping LLMs improve code generation using feedback from testing and static analysis 30
JLiSA: The Java Frontend of the Library for Static Analysis (Competition Contribution) 25
On the Verification of ML Systems and Models 3
Totale 4.734
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.883
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 16.883
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/2027218 121 97 0 0 0 0 0 0 0 0 0 0
Totale 4.734