NEGRINI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.773
AS - Asia 1.767
EU - Europa 1.469
SA - Sud America 157
Continente sconosciuto - Info sul continente non disponibili 61
AF - Africa 39
OC - Oceania 12
Totale 5.278
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.718
IT - Italia 932
SG - Singapore 514
VN - Vietnam 367
CN - Cina 321
HK - Hong Kong 148
BR - Brasile 114
DE - Germania 97
IN - India 87
JP - Giappone 69
RU - Federazione Russa 65
KR - Corea 64
BD - Bangladesh 57
NL - Olanda 53
FR - Francia 45
GB - Regno Unito 40
FI - Finlandia 38
CA - Canada 33
SE - Svezia 32
IE - Irlanda 28
ES - Italia 20
LV - Lettonia 20
PL - Polonia 20
ID - Indonesia 18
TW - Taiwan 18
AR - Argentina 16
IQ - Iraq 14
AT - Austria 13
MX - Messico 12
AU - Australia 11
CH - Svizzera 10
IR - Iran 10
TR - Turchia 10
VE - Venezuela 10
MY - Malesia 9
PK - Pakistan 9
BJ - Benin 8
PH - Filippine 8
TH - Thailandia 8
UA - Ucraina 8
BE - Belgio 7
LT - Lituania 7
ZA - Sudafrica 7
CY - Cipro 6
EC - Ecuador 6
HU - Ungheria 6
JM - Giamaica 5
MA - Marocco 5
PT - Portogallo 5
RO - Romania 5
CO - Colombia 4
CR - Costa Rica 4
GR - Grecia 4
NG - Nigeria 4
NP - Nepal 4
SI - Slovenia 4
UZ - Uzbekistan 4
CL - Cile 3
EG - Egitto 3
JO - Giordania 3
MZ - Mozambico 3
AE - Emirati Arabi Uniti 2
DZ - Algeria 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
GG - Guernsey 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
SX - ???statistics.table.value.countryCode.SX??? 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 5.219
Salva come PNG Salva come JPEG
Città #
Ashburn 372
Singapore 247
San Jose 184
Council Bluffs 167
Venice 159
Hong Kong 124
Ho Chi Minh City 102
Dallas 98
Verona 91
Milan 86
Hanoi 80
Woodbridge 78
Beijing 60
Hefei 57
Seoul 57
New York 54
Treviso 49
Tokyo 41
Los Angeles 39
Udine 37
Chandler 36
Munich 36
Bengaluru 33
Santa Clara 31
Parma 29
The Dalles 29
Boardman 25
Lauterbourg 23
Houston 22
São Paulo 21
Bologna 20
Moscow 20
Dublin 19
Orem 18
Da Nang 17
Columbus 16
Guangzhou 16
Seattle 16
Warsaw 16
Frankfurt am Main 15
Buffalo 14
Amsterdam 13
Fairfield 13
Chennai 12
Chicago 12
Jakarta 12
Rome 12
Haiphong 11
Lappeenranta 11
Manchester 11
Paris 11
Brooklyn 10
Helsinki 10
Jelgava 10
Montreal 10
San Benedetto Po 10
Atlanta 9
Kolkata 9
Kuala Lumpur 9
Padova 9
Phoenix 9
Turku 9
Cotonou 8
Hải Dương 8
Naples 8
San Diego 8
Trento 8
Vienna 8
Amherst 7
Ann Arbor 7
Boston 7
London 7
Riga 7
Torre di Fine 7
Turin 7
Albignasego 6
Denver 6
Fiorano Modenese 6
Fuzhou 6
Jinan 6
Johnstown 6
Limassol 6
Redondo Beach 6
Shanghai 6
Taichung 6
Toronto 6
Zhengzhou 6
Zurich 6
Ankara 5
Baghdad 5
Bovolone 5
Budapest 5
Camponogara 5
Can Tho 5
Florence 5
Galway 5
Harbin 5
Memphis 5
Mülheim 5
Nanjing 5
Totale 3.111
Salva come PNG Salva come JPEG
Nome #
Information Flow Analysis for Detecting Non-Determinism in Blockchain 392
Automating ROS2 Security Policies Extraction through Static Analysis 295
LiSA: A Generic Framework for Multilanguage Static Analysis 290
Static analysis for dummies: experiencing LiSA 280
Twinning Automata and Regular Expressions for String Static Analysis 262
European Union Data Act and Blockchain Technology: Challenges and New Directions 212
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 206
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA 197
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric 197
Detection of Phantom Reads in Hyperledger Fabric 193
Teaching Through Practice: Advanced Static Analysis with LiSA 188
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 188
A generic framework for multilanguage analysis 187
SARL: OO Framework Specification for Static Analysis 185
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 177
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 165
MichelsonLiSA: A Static Analyzer for Tezos 155
Static Analysis of Data Transformations in Jupyter Notebooks 147
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 143
Tarsis: An effective automata-based abstract domain for string analysis 143
Inference of access policies through static analysis 139
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) 138
Design and Implementation of Static Analyses for Tezos Smart Contracts 136
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 132
Challenges of software verification 129
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables 110
Don’t Panic: Error Handling Patterns in Go Smart Contracts and Blockchain Software 101
An Overview of Termination in the Ethereum Blockchain 99
Whole-value analysis by abstract interpretation 66
Challenges of Software Verification (CSV’25) 26
Totale 5.278
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.302
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 15.302
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022124 0 0 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/20263.332 217 132 208 193 491 270 425 230 466 276 182 242
2026/2027352 162 150 40 0 0 0 0 0 0 0 0 0
Totale 5.278