NEGRINI, Luca
 Distribuzione geografica
Continente #
EU - Europa 331
NA - Nord America 273
AS - Asia 122
AF - Africa 4
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
SA - Sud America 1
Totale 735
Nazione #
US - Stati Uniti d'America 268
IT - Italia 210
CN - Cina 47
SG - Singapore 29
DE - Germania 25
HK - Hong Kong 17
IE - Irlanda 17
IN - India 15
LV - Lettonia 12
SE - Svezia 12
FI - Finlandia 11
AT - Austria 8
GB - Regno Unito 7
BE - Belgio 6
FR - Francia 6
CA - Canada 5
ID - Indonesia 5
PL - Polonia 4
AU - Australia 3
IR - Iran 3
JP - Giappone 3
PT - Portogallo 3
RU - Federazione Russa 3
BJ - Benin 2
GR - Grecia 2
KR - Corea 2
NL - Olanda 2
TN - Tunisia 2
BR - Brasile 1
CH - Svizzera 1
ES - Italia 1
EU - Europa 1
TW - Taiwan 1
UA - Ucraina 1
Totale 735
Città #
Woodbridge 78
Chandler 36
Verona 30
Milan 25
Singapore 18
Ashburn 17
Dublin 17
Venice 16
Hong Kong 14
Fairfield 13
Boardman 12
Houston 12
New York 12
Beijing 11
Jelgava 9
Helsinki 8
Seattle 8
Vienna 8
Ann Arbor 7
Fiorano Modenese 6
Treviso 6
Frankfurt am Main 5
Jakarta 5
Jinan 5
Mülheim 5
Pieve di Soligo 5
Bologna 4
Boston 4
Guangzhou 4
Kolkata 4
Pune 4
San Mateo 4
Udine 4
Zhengzhou 4
Brescia 3
Calatabiano 3
Darmstadt 3
Dobele 3
Feltre 3
Fuzhou 3
Lappeenranta 3
Lisbon 3
London 3
Naples 3
Ottawa 3
Padova 3
Passau 3
Princeton 3
San Diego 3
Trento 3
Andover 2
Bari 2
Bassano del Grappa 2
Chaidari 2
Chioggia 2
Cortina d'Ampezzo 2
Cotonou 2
Florence 2
Haikou 2
Hebei 2
Irvine 2
Isola della Scala 2
Karlsruhe 2
Kilburn 2
Koersel 2
Lancenigo-Villorba 2
Leuven 2
Melbourne 2
Monfalcone 2
Montelupone 2
Munich 2
Nanjing 2
Nuremberg 2
Rome 2
San Giorgio Ionico 2
San Paolo di Civitate 2
Shanghai 2
Shenyang 2
Taizhou 2
Toronto 2
Trieste 2
Warsaw 2
Altamura 1
Americana 1
Atlanta 1
Bagnolo San Vito 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
Totale 550
Nome #
Twinning Automata and Regular Expressions for String Static Analysis 161
Static analysis for dummies: experiencing LiSA 133
Information Flow Analysis for Detecting Non-Determinism in Blockchain 125
SARL: OO Framework Specification for Static Analysis 82
LiSA: A Generic Framework for Multilanguage Static Analysis 64
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 55
Automating ROS2 Security Policies Extraction through Static Analysis 48
Static Analysis of Data Transformations in Jupyter Notebooks 20
Tarsis: An effective automata-based abstract domain for string analysis 18
MichelsonLiSA: A Static Analyzer for Tezos 17
Detection of Phantom Reads in Hyperledger Fabric 16
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA 13
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 8
Teaching Through Practice: Advanced Static Analysis with LiSA 5
A generic framework for multilanguage analysis 2
Totale 767
Categoria #
all - tutte 3.869
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.869


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/2025143 37 22 72 12 0 0 0 0 0 0 0 0
Totale 767