NEGRINI, LUCA
 Distribuzione geografica
Continente #
EU - Europa 264
NA - Nord America 261
AS - Asia 114
OC - Oceania 3
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 1
SA - Sud America 1
Totale 646
Nazione #
US - Stati Uniti d'America 256
IT - Italia 169
CN - Cina 45
SG - Singapore 23
DE - Germania 20
HK - Hong Kong 17
IE - Irlanda 16
IN - India 15
SE - Svezia 12
GB - Regno Unito 7
BE - Belgio 6
FI - Finlandia 6
FR - Francia 6
LV - Lettonia 6
CA - Canada 5
ID - Indonesia 5
AU - Australia 3
IR - Iran 3
JP - Giappone 3
PL - Polonia 3
PT - Portogallo 3
RU - Federazione Russa 3
GR - Grecia 2
KR - Corea 2
NL - Olanda 2
TN - Tunisia 2
AT - Austria 1
BR - Brasile 1
ES - Italia 1
EU - Europa 1
TW - Taiwan 1
UA - Ucraina 1
Totale 646
Città #
Woodbridge 78
Chandler 36
Verona 27
Milan 25
Ashburn 16
Dublin 16
Hong Kong 14
Fairfield 13
Singapore 13
Venice 13
Houston 12
New York 12
Beijing 11
Seattle 8
Ann Arbor 7
Jelgava 6
Frankfurt am Main 5
Jakarta 5
Jinan 5
Mülheim 5
Pieve di Soligo 5
Boston 4
Guangzhou 4
Helsinki 4
Kolkata 4
Pune 4
San Mateo 4
Udine 4
Zhengzhou 4
Bologna 3
Feltre 3
Fuzhou 3
Lisbon 3
London 3
Naples 3
Ottawa 3
Passau 3
Princeton 3
San Diego 3
Trento 3
Treviso 3
Andover 2
Bari 2
Bassano del Grappa 2
Brescia 2
Chaidari 2
Chioggia 2
Cortina d'Ampezzo 2
Florence 2
Haikou 2
Hebei 2
Irvine 2
Isola della Scala 2
Karlsruhe 2
Kilburn 2
Koersel 2
Lancenigo-Villorba 2
Lappeenranta 2
Leuven 2
Melbourne 2
Monfalcone 2
Montelupone 2
Nanjing 2
Nuremberg 2
Padova 2
San Giorgio Ionico 2
San Paolo di Civitate 2
Shanghai 2
Shenyang 2
Taizhou 2
Toronto 2
Warsaw 2
Altamura 1
Americana 1
Atlanta 1
Boardman 1
Bremen 1
Canberra 1
Casoria 1
Charlotte 1
Chicago 1
Cimadolmo 1
DeKalb 1
Den Haag 1
Eindhoven 1
Este 1
Fossalta di Portogruaro 1
Granada 1
Hangzhou 1
Jacksonville 1
Jiaxing 1
Las Vegas 1
Los Angeles 1
Marcon 1
Mogliano Veneto 1
Monza 1
Moscow 1
Ningbo 1
Palo del Colle 1
Paris 1
Totale 490
Nome #
Twinning Automata and Regular Expressions for String Static Analysis 160
Static analysis for dummies: experiencing LiSA 131
Information Flow Analysis for Detecting Non-Determinism in Blockchain 113
SARL: OO Framework Specification for Static Analysis 81
LiSA: A Generic Framework for Multilanguage Static Analysis 53
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 52
Automating ROS2 Security Policies Extraction through Static Analysis 28
Static Analysis of Data Transformations in Jupyter Notebooks 18
MichelsonLiSA: A Static Analyzer for Tezos 16
Tarsis: An effective automata-based abstract domain for string analysis 11
Detection of Phantom Reads in Hyperledger Fabric 10
Totale 673
Categoria #
all - tutte 3.395
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 3.395


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/2024249 21 19 16 16 27 31 25 19 21 6 16 32
2024/202549 37 12 0 0 0 0 0 0 0 0 0 0
Totale 673