NEGRINI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.763
NA - Nord America 1.717
EU - Europa 1.458
SA - Sud America 154
Continente sconosciuto - Info sul continente non disponibili 60
AF - Africa 39
OC - Oceania 11
Totale 5.202
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.664
IT - Italia 924
SG - Singapore 514
VN - Vietnam 367
CN - Cina 318
HK - Hong Kong 148
BR - Brasile 113
DE - Germania 96
IN - India 87
JP - Giappone 69
RU - Federazione Russa 65
KR - Corea 64
BD - Bangladesh 57
NL - Olanda 53
FR - Francia 44
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 17
AR - Argentina 15
IQ - Iraq 14
AT - Austria 13
MX - Messico 12
AU - Australia 10
CH - Svizzera 10
IR - Iran 10
TR - Turchia 10
MY - Malesia 9
PK - Pakistan 9
VE - Venezuela 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
MA - Marocco 5
RO - Romania 5
CO - Colombia 4
GR - Grecia 4
JM - Giamaica 4
NG - Nigeria 4
NP - Nepal 4
PT - Portogallo 4
SI - Slovenia 4
UZ - Uzbekistan 4
CL - Cile 3
CR - Costa Rica 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.144
Salva come PNG Salva come JPEG
Città #
Ashburn 371
Singapore 247
San Jose 173
Council Bluffs 167
Venice 158
Hong Kong 124
Ho Chi Minh City 102
Dallas 96
Verona 91
Milan 84
Hanoi 80
Woodbridge 78
Beijing 59
Hefei 57
Seoul 57
New York 52
Treviso 49
Tokyo 41
Los Angeles 39
Udine 37
Chandler 36
Munich 36
Bengaluru 33
Parma 29
Santa Clara 29
The Dalles 28
Boardman 25
Lauterbourg 23
Houston 21
São Paulo 21
Bologna 20
Moscow 20
Dublin 19
Orem 18
Da Nang 17
Guangzhou 16
Seattle 16
Warsaw 16
Columbus 15
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
Galway 5
Harbin 5
Memphis 5
Mülheim 5
Nanjing 5
Nha Trang 5
Totale 3.086
Salva come PNG Salva come JPEG
Nome #
Information Flow Analysis for Detecting Non-Determinism in Blockchain 387
Automating ROS2 Security Policies Extraction through Static Analysis 292
LiSA: A Generic Framework for Multilanguage Static Analysis 287
Static analysis for dummies: experiencing LiSA 275
Twinning Automata and Regular Expressions for String Static Analysis 262
European Union Data Act and Blockchain Technology: Challenges and New Directions 206
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 204
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric 195
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA 194
Detection of Phantom Reads in Hyperledger Fabric 190
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 188
Teaching Through Practice: Advanced Static Analysis with LiSA 187
SARL: OO Framework Specification for Static Analysis 182
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 176
A generic framework for multilanguage analysis 172
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 164
MichelsonLiSA: A Static Analyzer for Tezos 154
Static Analysis of Data Transformations in Jupyter Notebooks 146
Tarsis: An effective automata-based abstract domain for string analysis 142
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 141
Inference of access policies through static analysis 139
Design and Implementation of Static Analyses for Tezos Smart Contracts 136
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) 134
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 130
Challenges of software verification 126
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 97
An Overview of Termination in the Ethereum Blockchain 97
Whole-value analysis by abstract interpretation 65
Challenges of Software Verification (CSV’25) 24
Totale 5.202
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.946
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 14.946
Salva come PNG Salva come JPEG


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