IRIS
ARCERI, Vincenzo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.100
NA - Nord America 1.090
EU - Europa 859
SA - Sud America 206
AF - Africa 69
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 1
Totale 3.331
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.057
SG - Singapore 534
IT - Italia 350
CN - Cina 236
BR - Brasile 164
SE - Svezia 105
HK - Hong Kong 98
VN - Vietnam 88
IE - Irlanda 83
DE - Germania 69
RU - Federazione Russa 69
NL - Olanda 60
IN - India 50
ZA - Sudafrica 46
GB - Regno Unito 24
CA - Canada 23
FI - Finlandia 22
FR - Francia 20
TR - Turchia 20
KR - Corea 19
AR - Argentina 18
AT - Austria 15
IQ - Iraq 11
ID - Indonesia 9
PL - Polonia 9
BD - Bangladesh 8
CI - Costa d'Avorio 8
ES - Italia 7
RO - Romania 7
CZ - Repubblica Ceca 6
EC - Ecuador 6
CO - Colombia 5
EU - Europa 5
LT - Lituania 5
MX - Messico 5
JP - Giappone 4
TH - Thailandia 4
VE - Venezuela 4
CH - Svizzera 3
DZ - Algeria 3
IR - Iran 3
MA - Marocco 3
TN - Tunisia 3
AZ - Azerbaigian 2
BE - Belgio 2
BO - Bolivia 2
CL - Cile 2
CR - Costa Rica 2
EG - Egitto 2
NG - Nigeria 2
PE - Perù 2
PY - Paraguay 2
TJ - Tagikistan 2
TW - Taiwan 2
AE - Emirati Arabi Uniti 1
AF - Afghanistan, Repubblica islamica di 1
AO - Angola 1
AU - Australia 1
BH - Bahrain 1
DO - Repubblica Dominicana 1
EE - Estonia 1
GE - Georgia 1
GT - Guatemala 1
IL - Israele 1
KE - Kenya 1
LB - Libano 1
LV - Lettonia 1
MY - Malesia 1
QA - Qatar 1
SA - Arabia Saudita 1
TT - Trinidad e Tobago 1
UA - Ucraina 1
UY - Uruguay 1
UZ - Uzbekistan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 3.331
Salva come PNG Salva come JPEG
Città #
Singapore 321
Ashburn 231
Santa Clara 119
Dallas 118
Parma 110
Chandler 105
Hong Kong 96
Hefei 86
Dublin 83
Boardman 72
Johannesburg 44
Bengaluru 34
Ho Chi Minh City 33
Beijing 32
Milan 32
Munich 29
Moscow 27
Shanghai 26
Los Angeles 25
Bologna 22
New York 22
Hanoi 18
Seoul 18
São Paulo 17
Frankfurt am Main 16
Chicago 15
Princeton 14
Verona 14
Amsterdam 13
Helsinki 12
Istanbul 12
Des Moines 11
London 11
Montreal 11
Stockholm 11
Vienna 10
Columbus 9
Abidjan 8
Marseille 8
Nuremberg 8
Salt Lake City 8
Turku 8
Warsaw 8
Buffalo 7
Guangzhou 7
Haiphong 7
Jakarta 7
Seattle 7
Venice 7
Ankara 6
Boston 6
Dalmine 6
Pozzuolo Martesana 6
Wilmington 6
Atlanta 5
Baghdad 5
Brooklyn 5
Council Bluffs 5
Fairfield 5
Mumbai 5
Phoenix 5
Reggio Emilia 5
Rio de Janeiro 5
San Francisco 5
Suzzara 5
Chennai 4
Da Nang 4
Düsseldorf 4
Fortaleza 4
Houston 4
Madrid 4
Orem 4
Tokyo 4
Toronto 4
Agliè 3
Augusta 3
Bangkok 3
Biên Hòa 3
Brno 3
Cava de' Tirreni 3
City of London 3
Denver 3
Duque de Caxias 3
Goiânia 3
Hải Dương 3
Jundiaí 3
Manchester 3
Mexico City 3
Modena 3
Norwalk 3
Poplar 3
Salsomaggiore 3
San Jose 3
Tehran 3
The Dalles 3
Turin 3
Zibido San Giacomo 3
Ann Arbor 2
Antony 2
Arceto 2
Totale 2.165
Salva come PNG Salva come JPEG
Nome #
BIOCHAIN-AI: a platform for securely sharing and analysing microbiological data 186
BIOCHAIN: Towards a platform for securely sharing microbiological data 163
SEA: String Executability Analysis by Abstract Interpretation 126
A Machine Learning Approach for Source Code Similarity via Graph-Focused Features 118
A sound abstract interpreter for dynamic code 115
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval 101
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 99
Abstract Domains for Type Juggling 99
Design and Implementation of Static Analyses for Tezos Smart Contracts 98
Challenges of software verification 96
An abstract domain for objects in dynamic programming languages 95
Speeding up Static Analysis with the Split Operator 94
Improving dynamic code analysis by code abstraction 93
Tarsis: An effective automata‐based abstract domain for string analysis 92
Decoupling the Ascending and Descending Phases in Abstract Interpretation 92
Relational String Abstract Domains 91
Static analysis for dummies: Experiencing LiSA 90
Completeness of string analysis for dynamic languages 89
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 88
Unconstrained Variable Oracles for Faster Numeric Static Analyses 87
Speeding up static analysis with the split operator 86
Welcome from the Chairs 84
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 83
Completeness of Abstract Domains for String Analysis of JavaScript Programs 83
Static analysis for ECMAscript string manipulation programs 78
Challenges of Software Verification 76
Challenges of software verification: the past, the present, the future 75
LiSA: A Generic Framework for Multilanguage Static Analysis 75
Detection of Phantom Reads in Hyperledger Fabric 74
Twinning Automata and Regular Expressions for String Static Analysis 72
Information Flow Analysis for Detecting Non-Determinism in Blockchain 70
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 66
Static program analysis for string manipulation languages 66
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 64
“Fixing” the Specification of Widenings 59
Preface 55
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact) 43
Teaching Through Practice: Advanced Static Analysis with LiSA 39
Lifting String Analysis Domains 33
Introducing Pyra: A High-Level Linter for Data Science Software 30
Totale 3.423
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.791
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 12.791
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/20261.387 202 207 321 240 328 89 0 0 0 0 0 0
Totale 3.423