NEGRINI, Luca
 Distribuzione geografica
Continente #
EU - Europa 458
NA - Nord America 278
AS - Asia 183
AF - Africa 4
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
SA - Sud America 1
Totale 928
Nazione #
IT - Italia 311
US - Stati Uniti d'America 273
SG - Singapore 69
CN - Cina 53
DE - Germania 32
HK - Hong Kong 17
IE - Irlanda 17
IN - India 15
ID - Indonesia 12
LV - Lettonia 12
SE - Svezia 12
FI - Finlandia 11
FR - Francia 9
NL - Olanda 9
AT - Austria 8
GB - Regno Unito 7
BE - Belgio 6
CY - Cipro 6
CA - Canada 5
CH - Svizzera 5
IR - Iran 4
PL - Polonia 4
AU - Australia 3
JP - Giappone 3
PT - Portogallo 3
RO - Romania 3
RU - Federazione Russa 3
BJ - Benin 2
GR - Grecia 2
KR - Corea 2
LU - Lussemburgo 2
TN - Tunisia 2
BR - Brasile 1
ES - Italia 1
EU - Europa 1
PH - Filippine 1
TW - Taiwan 1
UA - Ucraina 1
Totale 928
Città #
Woodbridge 78
Venice 69
Singapore 56
Verona 40
Chandler 36
Milan 26
Ashburn 17
Dublin 17
Hong Kong 14
Fairfield 13
Boardman 12
Houston 12
Jakarta 12
New York 12
Beijing 11
San Benedetto Po 10
Seattle 10
Jelgava 9
Helsinki 8
Munich 8
Vienna 8
Ann Arbor 7
Padova 7
Treviso 7
Bologna 6
Fiorano Modenese 6
Limassol 6
Frankfurt am Main 5
Jinan 5
Mülheim 5
Pieve di Soligo 5
Zurich 5
Boston 4
Darmstadt 4
Guangzhou 4
Kolkata 4
Paris 4
Parma 4
Pune 4
San Mateo 4
Udine 4
Zhengzhou 4
Brescia 3
Bucharest 3
Calatabiano 3
Dobele 3
Feltre 3
Fuzhou 3
Lappeenranta 3
Lisbon 3
London 3
Naples 3
Ottawa 3
Passau 3
Princeton 3
San Diego 3
Trento 3
Andover 2
Bari 2
Bassano del Grappa 2
Cazzago San Martino 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
Los Angeles 2
Luxembourg 2
Martinengo 2
Melbourne 2
Monfalcone 2
Montelupone 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
Chapel Hill 1
Totale 705
Nome #
Twinning Automata and Regular Expressions for String Static Analysis 166
Information Flow Analysis for Detecting Non-Determinism in Blockchain 158
Static analysis for dummies: experiencing LiSA 145
LiSA: A Generic Framework for Multilanguage Static Analysis 92
Automating ROS2 Security Policies Extraction through Static Analysis 86
SARL: OO Framework Specification for Static Analysis 86
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 65
Static Analysis of Data Transformations in Jupyter Notebooks 30
Detection of Phantom Reads in Hyperledger Fabric 26
MichelsonLiSA: A Static Analyzer for Tezos 25
Tarsis: An effective automata-based abstract domain for string analysis 23
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA 18
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 13
Teaching Through Practice: Advanced Static Analysis with LiSA 11
European Union Data Act and Blockchain Technology: Challenges and New Directions 10
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 5
A generic framework for multilanguage analysis 4
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables 1
Design and Implementation of Static Analyses for Tezos Smart Contracts 1
Totale 965
Categoria #
all - tutte 4.745
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 4.745


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/2025341 37 22 72 62 76 72 0 0 0 0 0 0
Totale 965