NEGRINI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.736
NA - Nord America 1.530
EU - Europa 1.393
SA - Sud America 152
AF - Africa 39
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 2
Totale 4.862
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.487
IT - Italia 881
SG - Singapore 511
VN - Vietnam 365
CN - Cina 316
HK - Hong Kong 147
BR - Brasile 112
DE - Germania 96
IN - India 85
JP - Giappone 69
RU - Federazione Russa 65
KR - Corea 64
NL - Olanda 52
FR - Francia 43
BD - Bangladesh 40
GB - Regno Unito 39
FI - Finlandia 36
IE - Irlanda 28
CA - Canada 25
ES - Italia 19
LV - Lettonia 19
PL - Polonia 19
SE - Svezia 19
ID - Indonesia 18
TW - Taiwan 17
AR - Argentina 15
IQ - Iraq 14
AT - Austria 13
MX - Messico 12
CH - Svizzera 10
IR - Iran 10
TR - Turchia 10
AU - Australia 9
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
HU - Ungheria 6
EC - Ecuador 5
MA - Marocco 5
RO - Romania 5
CO - Colombia 4
GR - Grecia 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
JM - Giamaica 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
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
UY - Uruguay 1
Totale 4.862
Salva come PNG Salva come JPEG
Città #
Ashburn 325
Singapore 247
San Jose 161
Council Bluffs 153
Venice 146
Hong Kong 124
Ho Chi Minh City 102
Dallas 94
Verona 89
Milan 81
Hanoi 78
Woodbridge 78
Beijing 58
Hefei 57
Seoul 57
New York 51
Treviso 48
Tokyo 41
Udine 37
Chandler 36
Los Angeles 36
Munich 36
Bengaluru 33
The Dalles 28
Parma 26
Boardman 25
Lauterbourg 23
Santa Clara 21
São Paulo 21
Bologna 20
Moscow 20
Dublin 19
Houston 19
Orem 18
Da Nang 17
Guangzhou 16
Seattle 16
Columbus 15
Frankfurt am Main 15
Warsaw 15
Amsterdam 13
Buffalo 13
Fairfield 13
Chennai 12
Jakarta 12
Haiphong 11
Lappeenranta 11
Manchester 11
Paris 10
Rome 10
San Benedetto Po 10
Brooklyn 9
Chicago 9
Jelgava 9
Kolkata 9
Kuala Lumpur 9
Montreal 9
Padova 9
Phoenix 9
Turku 9
Atlanta 8
Cotonou 8
Helsinki 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
Albignasego 6
Fiorano Modenese 6
Fuzhou 6
Jinan 6
Johnstown 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
Totale 2.957
Salva come PNG Salva come JPEG
Nome #
Information Flow Analysis for Detecting Non-Determinism in Blockchain 370
Automating ROS2 Security Policies Extraction through Static Analysis 280
LiSA: A Generic Framework for Multilanguage Static Analysis 279
Static analysis for dummies: experiencing LiSA 267
Twinning Automata and Regular Expressions for String Static Analysis 257
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 196
European Union Data Act and Blockchain Technology: Challenges and New Directions 190
Detection of Phantom Reads in Hyperledger Fabric 185
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 182
Teaching Through Practice: Advanced Static Analysis with LiSA 181
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA 178
SARL: OO Framework Specification for Static Analysis 177
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 168
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric 164
A generic framework for multilanguage analysis 158
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 157
MichelsonLiSA: A Static Analyzer for Tezos 150
Static Analysis of Data Transformations in Jupyter Notebooks 142
Inference of access policies through static analysis 134
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 134
Tarsis: An effective automata-based abstract domain for string analysis 133
Design and Implementation of Static Analyses for Tezos Smart Contracts 132
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) 120
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 118
Challenges of software verification 117
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables 105
An Overview of Termination in the Ethereum Blockchain 91
Don’t Panic: Error Handling Patterns in Go Smart Contracts and Blockchain Software 88
Whole-value analysis by abstract interpretation 57
Challenges of Software Verification (CSV’25) 10
Totale 4.920
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.798
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 13.798
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202113 0 0 0 0 0 0 0 0 0 0 0 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/20263.326 217 132 208 193 491 270 425 230 466 276 182 236
Totale 4.920