ARCERI, Vincenzo
 Distribuzione geografica
Continente #
EU - Europa 604
NA - Nord America 514
AS - Asia 269
SA - Sud America 24
AF - Africa 11
Continente sconosciuto - Info sul continente non disponibili 5
Totale 1.427
Nazione #
US - Stati Uniti d'America 507
IT - Italia 281
SG - Singapore 166
SE - Svezia 97
IE - Irlanda 83
CN - Cina 65
DE - Germania 41
BR - Brasile 20
NL - Olanda 19
FR - Francia 15
RU - Federazione Russa 14
FI - Finlandia 12
TR - Turchia 12
AT - Austria 11
ID - Indonesia 7
RO - Romania 7
CA - Canada 5
CI - Costa d'Avorio 5
CZ - Repubblica Ceca 5
EU - Europa 5
HK - Hong Kong 5
ES - Italia 4
GB - Regno Unito 4
LT - Lituania 4
TH - Thailandia 4
AR - Argentina 3
BD - Bangladesh 3
BE - Belgio 2
CH - Svizzera 2
DZ - Algeria 2
IN - India 2
NG - Nigeria 2
AZ - Azerbaigian 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
EE - Estonia 1
IQ - Iraq 1
KR - Corea 1
LV - Lettonia 1
MA - Marocco 1
MY - Malesia 1
PL - Polonia 1
PY - Paraguay 1
TJ - Tagikistan 1
TN - Tunisia 1
Totale 1.427
Città #
Singapore 148
Santa Clara 114
Chandler 105
Parma 91
Dublin 83
Boardman 49
Ashburn 40
Milan 28
Shanghai 25
Bologna 17
Beijing 15
Frankfurt am Main 15
Chicago 14
Princeton 14
Amsterdam 12
Istanbul 12
Munich 12
Helsinki 10
Verona 9
Vienna 9
Marseille 8
Jakarta 7
Venice 7
Dalmine 6
Guangzhou 6
Nuremberg 6
Wilmington 6
Abidjan 5
Council Bluffs 5
Fairfield 5
Seattle 5
Suzzara 5
Des Moines 4
London 4
Madrid 4
Moscow 4
New York 4
Reggio Emilia 4
Agliè 3
Bangkok 3
Brno 3
Cava de' Tirreni 3
Dallas 3
Hong Kong 3
Los Angeles 3
Norwalk 3
Salsomaggiore 3
Stockholm 3
Zibido San Giacomo 3
Ann Arbor 2
Antony 2
Arceto 2
Assago 2
Bonate Sotto 2
Bremen 2
Cadelbosco di Sopra 2
Fabbrico 2
Fidenza 2
Fortaleza 2
Francofonte 2
Gorgonzola 2
Houston 2
Isola della Scala 2
Januária 2
Lagos 2
Mantova 2
Marmirolo 2
Montagnola 2
Naples 2
Neviano degli Arduini 2
Novara 2
Ottawa 2
Phoenix 2
Piacenza 2
Prague 2
Pune 2
Quattro Castella 2
Saronno 2
Sissa 2
Tai Po 2
Tlemcen 2
Trento 2
Trieste 2
Vigasio 2
West Jordan 2
Zhengzhou 2
Alvorada 1
Asunción 1
Avetrana 1
Baku 1
Baranzate 1
Berlin 1
Borås 1
Boynton Beach 1
Brussels 1
Buenos Aires 1
Busseto 1
Carapicuíba 1
Darmstadt 1
Dushanbe 1
Totale 1.038
Nome #
BIOCHAIN-AI: a platform for securely sharing and analysing microbiological data 120
BIOCHAIN: Towards a platform for securely sharing microbiological data 98
Relational String Abstract Domains 62
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval 61
SEA: String Executability Analysis by Abstract Interpretation 61
Static analysis for dummies: Experiencing LiSA 56
Completeness of string analysis for dynamic languages 54
A sound abstract interpreter for dynamic code 52
Abstract Domains for Type Juggling 51
An abstract domain for objects in dynamic programming languages 51
Static analysis for ECMAscript string manipulation programs 50
Decoupling the Ascending and Descending Phases in Abstract Interpretation 50
Tarsis: An effective automata‐based abstract domain for string analysis 49
Improving dynamic code analysis by code abstraction 47
Speeding up Static Analysis with the Split Operator 46
Twinning Automata and Regular Expressions for String Static Analysis 46
LiSA: A Generic Framework for Multilanguage Static Analysis 45
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 41
Completeness of Abstract Domains for String Analysis of JavaScript Programs 41
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 39
Challenges of Software Verification 37
“Fixing” the Specification of Widenings 37
A Machine Learning Approach for Source Code Similarity via Graph-Focused Features 36
Speeding up static analysis with the split operator 36
Static program analysis for string manipulation languages 36
Unconstrained Variable Oracles for Faster Numeric Static Analyses 31
Design and Implementation of Static Analyses for Tezos Smart Contracts 30
Preface 29
Information Flow Analysis for Detecting Non-Determinism in Blockchain 25
Detection of Phantom Reads in Hyperledger Fabric 22
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact) 19
Lifting String Analysis Domains 16
Teaching Through Practice: Advanced Static Analysis with LiSA 14
Challenges of software verification: the past, the present, the future 12
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 11
Welcome from the Chairs 1
Totale 1.512
Categoria #
all - tutte 7.611
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 7.611


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/2025631 27 54 104 68 139 117 67 55 0 0 0 0
Totale 1.512