NEGRINI, LUCA
 Distribuzione geografica
Continente #
NA - Nord America 248
EU - Europa 209
AS - Asia 89
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
SA - Sud America 1
Totale 551
Nazione #
US - Stati Uniti d'America 243
IT - Italia 123
CN - Cina 45
DE - Germania 20
IE - Irlanda 16
IN - India 15
HK - Hong Kong 14
SE - Svezia 12
SG - Singapore 7
BE - Belgio 6
GB - Regno Unito 6
LV - Lettonia 6
CA - Canada 5
FR - Francia 4
FI - Finlandia 3
IR - Iran 3
JP - Giappone 3
PL - Polonia 3
RU - Federazione Russa 3
GR - Grecia 2
PT - Portogallo 2
TN - Tunisia 2
AU - Australia 1
BR - Brasile 1
ES - Italia 1
EU - Europa 1
KR - Corea 1
NL - Olanda 1
TW - Taiwan 1
UA - Ucraina 1
Totale 551
Città #
Woodbridge 78
Chandler 36
Verona 25
Ashburn 16
Dublin 16
Milan 16
Hong Kong 14
Fairfield 13
Houston 12
New York 12
Beijing 11
Seattle 8
Ann Arbor 7
Venice 7
Jelgava 6
Frankfurt am Main 5
Jinan 5
Mülheim 5
Boston 4
Guangzhou 4
Kolkata 4
Pune 4
San Mateo 4
Udine 4
Zhengzhou 4
Fuzhou 3
Naples 3
Ottawa 3
Passau 3
Princeton 3
San Diego 3
Trento 3
Andover 2
Bari 2
Chaidari 2
Chioggia 2
Florence 2
Haikou 2
Hebei 2
Helsinki 2
Irvine 2
Isola della Scala 2
Karlsruhe 2
Kilburn 2
Koersel 2
Lancenigo-Villorba 2
Leuven 2
Lisbon 2
London 2
Monfalcone 2
Montelupone 2
Nanjing 2
Nuremberg 2
Padova 2
San Paolo di Civitate 2
Shanghai 2
Shenyang 2
Taizhou 2
Toronto 2
Warsaw 2
Altamura 1
Americana 1
Boardman 1
Bologna 1
Bremen 1
Canberra 1
Casoria 1
Chicago 1
Den Haag 1
Este 1
Fossalta di Portogruaro 1
Granada 1
Hangzhou 1
Jacksonville 1
Jiaxing 1
Lappeenranta 1
Las Vegas 1
Marcon 1
Moscow 1
Ningbo 1
Palo del Colle 1
Paris 1
Redmond 1
San Giuliano Milanese 1
Senago 1
Seoul 1
Siena 1
Taiyuan 1
Tehran 1
Tianjin 1
Treviso 1
Venezia 1
Vittorio Veneto 1
Washington 1
Wilmington 1
Wuhan 1
Yokohama 1
Totale 434
Nome #
Twinning Automata and Regular Expressions for String Static Analysis 156
Static analysis for dummies: experiencing LiSA 123
Information Flow Analysis for Detecting Non-Determinism in Blockchain 95
SARL: OO Framework Specification for Static Analysis 77
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 48
LiSA: A Generic Framework for Multilanguage Static Analysis 46
Static Analysis of Data Transformations in Jupyter Notebooks 15
MichelsonLiSA: A Static Analyzer for Tezos 13
Tarsis: An effective automata-based abstract domain for string analysis 3
Totale 576
Categoria #
all - tutte 2.870
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 2.870


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202155 0 0 0 0 0 0 0 1 7 16 18 13
2021/2022168 27 17 17 26 15 1 5 3 0 8 39 10
2022/2023152 4 8 0 10 14 27 2 11 22 4 25 25
2023/2024201 21 19 16 16 27 31 25 19 21 6 0 0
Totale 576