NEGRINI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.671
EU - Europa 1.315
NA - Nord America 1.224
SA - Sud America 150
AF - Africa 38
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.408
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.188
IT - Italia 818
SG - Singapore 497
VN - Vietnam 361
CN - Cina 312
HK - Hong Kong 145
BR - Brasile 111
DE - Germania 92
IN - India 83
JP - Giappone 67
RU - Federazione Russa 65
KR - Corea 63
NL - Olanda 50
FR - Francia 43
GB - Regno Unito 39
FI - Finlandia 36
IE - Irlanda 28
CA - Canada 21
PL - Polonia 19
SE - Svezia 19
ID - Indonesia 18
LV - Lettonia 17
TW - Taiwan 17
AR - Argentina 15
ES - Italia 14
IQ - Iraq 14
AT - Austria 13
BD - Bangladesh 12
MX - Messico 11
CH - Svizzera 10
IR - Iran 10
TR - Turchia 9
VE - Venezuela 9
AU - Australia 8
BJ - Benin 8
PH - Filippine 8
TH - Thailandia 8
UA - Ucraina 8
PK - Pakistan 7
ZA - Sudafrica 7
BE - Belgio 6
CY - Cipro 6
HU - Ungheria 6
LT - Lituania 6
EC - Ecuador 5
MA - Marocco 5
RO - Romania 5
GR - Grecia 4
MY - Malesia 4
NP - Nepal 4
PT - Portogallo 4
SI - Slovenia 4
UZ - Uzbekistan 4
CL - Cile 3
CO - Colombia 3
EG - Egitto 3
JO - Giordania 3
MZ - Mozambico 3
NG - Nigeria 3
AE - Emirati Arabi Uniti 2
CR - Costa Rica 2
DZ - Algeria 2
JM - Giamaica 2
KE - Kenya 2
KW - Kuwait 2
KZ - Kazakistan 2
LU - Lussemburgo 2
PS - Palestinian Territory 2
PY - Paraguay 2
RS - Serbia 2
SY - Repubblica araba siriana 2
TN - Tunisia 2
AL - Albania 1
AZ - Azerbaigian 1
BG - Bulgaria 1
BH - Bahrain 1
BO - Bolivia 1
CG - Congo 1
CI - Costa d'Avorio 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
EU - Europa 1
IL - Israele 1
LB - Libano 1
MN - Mongolia 1
MV - Maldive 1
NZ - Nuova Zelanda 1
OM - Oman 1
QA - Qatar 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
UY - Uruguay 1
Totale 4.408
Salva come PNG Salva come JPEG
Città #
Ashburn 293
Singapore 241
Venice 141
San Jose 138
Hong Kong 122
Ho Chi Minh City 98
Dallas 90
Verona 88
Hanoi 78
Woodbridge 78
Milan 75
Hefei 57
Beijing 56
Seoul 56
Treviso 48
New York 41
Tokyo 40
Chandler 36
Munich 36
Bengaluru 33
Council Bluffs 31
Los Angeles 31
Udine 30
The Dalles 28
Parma 24
Lauterbourg 23
São Paulo 21
Bologna 20
Moscow 20
Boardman 19
Dublin 19
Houston 18
Orem 18
Santa Clara 18
Da Nang 17
Guangzhou 16
Frankfurt am Main 15
Warsaw 15
Seattle 14
Amsterdam 13
Fairfield 13
Buffalo 12
Chennai 12
Jakarta 12
Haiphong 11
Lappeenranta 11
Manchester 11
Paris 10
San Benedetto Po 10
Brooklyn 9
Chicago 9
Jelgava 9
Kolkata 9
Padova 9
Rome 9
Turku 9
Atlanta 8
Cotonou 8
Helsinki 8
Hải Dương 8
Montreal 8
Phoenix 8
San Diego 8
Vienna 8
Amherst 7
Ann Arbor 7
Boston 7
London 7
Naples 7
Torre di Fine 7
Trento 7
Albignasego 6
Fiorano Modenese 6
Fuzhou 6
Jinan 6
Limassol 6
Redondo Beach 6
Shanghai 6
Taichung 6
Turin 6
Zhengzhou 6
Zurich 6
Ankara 5
Baghdad 5
Bovolone 5
Budapest 5
Camponogara 5
Can Tho 5
Denver 5
Galway 5
Harbin 5
Mülheim 5
Nanjing 5
Nha Trang 5
Nuremberg 5
Pieve di Soligo 5
Quận Ba 5
Riga 5
Tampere 5
Thái Nguyên 5
Totale 2.689
Salva come PNG Salva come JPEG
Nome #
Information Flow Analysis for Detecting Non-Determinism in Blockchain 330
Automating ROS2 Security Policies Extraction through Static Analysis 272
LiSA: A Generic Framework for Multilanguage Static Analysis 253
Static analysis for dummies: experiencing LiSA 249
Twinning Automata and Regular Expressions for String Static Analysis 244
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 188
Detection of Phantom Reads in Hyperledger Fabric 176
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 175
Teaching Through Practice: Advanced Static Analysis with LiSA 170
European Union Data Act and Blockchain Technology: Challenges and New Directions 169
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA 169
SARL: OO Framework Specification for Static Analysis 164
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric 150
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 145
A generic framework for multilanguage analysis 145
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 144
MichelsonLiSA: A Static Analyzer for Tezos 141
Static Analysis of Data Transformations in Jupyter Notebooks 133
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 126
Tarsis: An effective automata-based abstract domain for string analysis 126
Design and Implementation of Static Analyses for Tezos Smart Contracts 117
Inference of access policies through static analysis 115
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) 103
Challenges of software verification 102
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables 94
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 82
Don’t Panic: Error Handling Patterns in Go Smart Contracts and Blockchain Software 77
An Overview of Termination in the Ethereum Blockchain 73
Whole-value analysis by abstract interpretation 33
Totale 4.465
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.285
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 12.285
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202147 0 0 0 0 0 0 0 0 0 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/2025970 37 22 72 62 76 81 121 44 147 134 110 64
2025/20262.871 217 132 208 193 491 270 425 230 466 239 0 0
Totale 4.465