ARCERI, Vincenzo
 Distribuzione geografica
Continente #
EU - Europa 466
NA - Nord America 309
AS - Asia 88
AF - Africa 10
Continente sconosciuto - Info sul continente non disponibili 5
Totale 878
Nazione #
US - Stati Uniti d'America 307
IT - Italia 216
SE - Svezia 97
IE - Irlanda 78
CN - Cina 54
SG - Singapore 26
DE - Germania 21
FI - Finlandia 11
NL - Olanda 10
FR - Francia 7
AT - Austria 6
RO - Romania 6
CI - Costa d'Avorio 5
CZ - Repubblica Ceca 5
EU - Europa 5
ES - Italia 4
DZ - Algeria 3
HK - Hong Kong 3
CA - Canada 2
GB - Regno Unito 2
IN - India 2
NG - Nigeria 2
RU - Federazione Russa 2
TR - Turchia 2
BE - Belgio 1
KR - Corea 1
Totale 878
Città #
Chandler 105
Dublin 78
Parma 50
Ashburn 40
Shanghai 24
Milan 20
Boardman 19
Bologna 19
Singapore 17
Beijing 15
Chicago 14
Princeton 14
Frankfurt am Main 11
Helsinki 10
Amsterdam 8
Verona 7
Dalmine 6
Venice 6
Vienna 6
Wilmington 6
Abidjan 5
Fairfield 5
Reggio Emilia 5
Seattle 5
Suzzara 5
Chieti 4
Des Moines 4
Madrid 4
New York 4
Agliè 3
Brno 3
Cuggiono 3
Guangzhou 3
Norwalk 3
Salsomaggiore 3
Stockholm 3
Zibido San Giacomo 3
Ann Arbor 2
Antony 2
Arceto 2
Bonate Sotto 2
Bremen 2
Cadelbosco di Sopra 2
Fabbrico 2
Francofonte 2
Gorgonzola 2
Houston 2
Isola della Scala 2
Lagos 2
London 2
Los Angeles 2
Mantova 2
Marmirolo 2
Munich 2
Naples 2
Neviano degli Arduini 2
Novara 2
Nuremberg 2
Piacenza 2
Prague 2
Pune 2
Saronno 2
Sissa 2
Tai Po 2
Tlemcen 2
Trento 2
Trieste 2
Vigasio 2
West Jordan 2
Zhengzhou 2
Annaba 1
Baranzate 1
Berlin 1
Borås 1
Boynton Beach 1
Busseto 1
Fiesole 1
Fremont 1
Geislingen an der Steige 1
Genoa 1
Gorle 1
Gwanak-gu 1
Hong Kong 1
Istanbul 1
Legnaro 1
Lesmo 1
Livorno 1
Luzzara 1
Modena 1
Montreal 1
Nizhniy Novgorod 1
Noisy-le-grand 1
Osimo 1
Phoenix 1
Rimini 1
Rockville 1
Serra D'aiello 1
Traversetolo 1
Washington 1
Zanica 1
Totale 636
Nome #
BIOCHAIN-AI: a platform for securely sharing and analysing microbiological data 99
BIOCHAIN: Towards a platform for securely sharing microbiological data 65
Relational String Abstract Domains 54
Static analysis for dummies: Experiencing LiSA 42
SEA: String Executability Analysis by Abstract Interpretation 41
Abstract Domains for Type Juggling 40
A sound abstract interpreter for dynamic code 39
An abstract domain for objects in dynamic programming languages 38
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval 38
Static analysis for ECMAscript string manipulation programs 37
Twinning Automata and Regular Expressions for String Static Analysis 37
Decoupling the Ascending and Descending Phases in Abstract Interpretation 37
Improving dynamic code analysis by code abstraction 35
Completeness of string analysis for dynamic languages 32
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 31
null 31
LiSA: A Generic Framework for Multilanguage Static Analysis 27
Static program analysis for string manipulation languages 27
Completeness of Abstract Domains for String Analysis of JavaScript Programs 25
Speeding up Static Analysis with the Split Operator 24
“Fixing” the Specification of Widenings 23
Tarsis: An effective automata‐based abstract domain for string analysis 23
Challenges of Software Verification 20
Preface 20
Information Flow Analysis for Detecting Non-Determinism in Blockchain 13
Unconstrained Variable Oracles for Faster Numeric Static Analyses 12
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact) 8
Design and Implementation of Static Analyses for Tezos Smart Contracts 7
Lifting String Analysis Domains 7
A Machine Learning Approach for Source Code Similarity via Graph-Focused Features 3
Detection of Phantom Reads in Hyperledger Fabric 2
Totale 937
Categoria #
all - tutte 4.922
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 4.922


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/2024378 38 19 24 13 43 47 30 57 28 26 17 36
2024/202527 27 0 0 0 0 0 0 0 0 0 0 0
Totale 937