ARCERI, VINCENZO
 Distribuzione geografica
Continente #
NA - Nord America 560
EU - Europa 405
AS - Asia 175
AF - Africa 3
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.147
Nazione #
US - Stati Uniti d'America 555
IT - Italia 232
SG - Singapore 62
CN - Cina 59
DE - Germania 42
IE - Irlanda 23
HK - Hong Kong 20
SE - Svezia 17
IN - India 14
PL - Polonia 13
AT - Austria 11
GB - Regno Unito 11
UA - Ucraina 10
FI - Finlandia 9
FR - Francia 9
BE - Belgio 6
CY - Cipro 6
LV - Lettonia 6
RU - Federazione Russa 6
CA - Canada 5
ID - Indonesia 5
NL - Olanda 5
JP - Giappone 4
AU - Australia 3
GR - Grecia 2
KR - Corea 2
PT - Portogallo 2
TN - Tunisia 2
BD - Bangladesh 1
ES - Italia 1
EU - Europa 1
IR - Iran 1
SD - Sudan 1
TW - Taiwan 1
Totale 1.147
Città #
Woodbridge 159
Chandler 87
Singapore 46
Ashburn 38
Fairfield 34
Verona 33
Venice 24
Dublin 23
Milan 22
Hong Kong 20
Houston 18
Seattle 18
New York 16
Boardman 15
Ann Arbor 14
Vienna 11
Wilmington 11
Warsaw 10
Beijing 9
Jacksonville 9
San Mateo 9
Munich 7
Mülheim 7
San Benedetto Po 7
Andover 6
Boston 6
Fiorano Modenese 6
Helsinki 6
Jelgava 6
Limassol 6
Parma 6
Treviso 6
Frankfurt am Main 5
Irvine 5
Jakarta 5
Princeton 5
Altamura 4
Bremen 4
Cambridge 4
Jinan 4
Karlsruhe 4
Kolkata 4
Shenyang 4
Udine 4
Zhengzhou 4
Darmstadt 3
Den Haag 3
Guangzhou 3
Hebei 3
Lappeenranta 3
London 3
Nanjing 3
Naples 3
Ottawa 3
Passau 3
Pune 3
San Diego 3
Taizhou 3
Trento 3
Venezia 3
Bari 2
Bassano del Grappa 2
Bologna 2
Brescia 2
Chaidari 2
Chengdu 2
Chioggia 2
Cortina d'Ampezzo 2
Florence 2
Hounslow 2
Isola della Scala 2
Jiaxing 2
Kilburn 2
Koersel 2
Kyiv 2
Lancenigo-Villorba 2
Leuven 2
Lisbon 2
Los Angeles 2
Melbourne 2
Monfalcone 2
Montelupone 2
Moscow 2
Nuremberg 2
Padova 2
Paris 2
Rome 2
San Giorgio Ionico 2
Shanghai 2
Taiyuan 2
Tianjin 2
Washington 2
West Jordan 2
Bagnolo San Vito 1
Berlin 1
Canberra 1
Casoria 1
Charlotte 1
Cimadolmo 1
Civitanova Marche 1
Totale 869
Nome #
Completeness of Abstract Domains for String Analysis of JavaScript Programs 328
Twinning Automata and Regular Expressions for String Static Analysis 164
Static analysis for dummies: experiencing LiSA 141
Information Flow Analysis for Detecting Non-Determinism in Blockchain 137
Relational String Abstract Domains 95
LiSA: A Generic Framework for Multilanguage Static Analysis 83
Completeness of string analysis for dynamic languages 66
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 61
Detection of Phantom Reads in Hyperledger Fabric 25
Tarsis: An effective automata-based abstract domain for string analysis 22
Lifting String Analysis Domains 18
Preface 14
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 12
Challenges of software verification: the past, the present, the future 10
Teaching Through Practice: Advanced Static Analysis with LiSA 9
Totale 1.185
Categoria #
all - tutte 5.359
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 5.359


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202046 0 0 0 0 0 7 6 11 7 9 5 1
2020/2021139 3 1 13 2 8 2 29 9 14 16 23 19
2021/2022279 39 18 20 36 24 1 7 3 6 20 83 22
2022/2023265 13 20 3 24 33 51 3 18 44 5 30 21
2023/2024274 21 23 15 17 30 38 21 22 26 10 18 33
2024/2025182 12 23 53 51 43 0 0 0 0 0 0 0
Totale 1.185