BARTOLETTI, MASSIMO
 Distribuzione geografica
Continente #
EU - Europa 62.950
NA - Nord America 5.723
AS - Asia 825
OC - Oceania 15
SA - Sud America 12
AF - Africa 6
Continente sconosciuto - Info sul continente non disponibili 6
Totale 69.537
Nazione #
IT - Italia 61.464
US - Stati Uniti d'America 5.706
CN - Cina 591
SE - Svezia 427
UA - Ucraina 411
DE - Germania 191
GB - Regno Unito 139
FI - Finlandia 114
SG - Singapore 76
NL - Olanda 67
IN - India 49
VN - Vietnam 43
FR - Francia 34
BE - Belgio 19
RU - Federazione Russa 19
KR - Corea 16
CA - Canada 15
AU - Australia 14
IE - Irlanda 11
AT - Austria 10
MY - Malesia 10
HK - Hong Kong 9
JP - Giappone 8
BH - Bahrain 6
BR - Brasile 6
EU - Europa 6
PT - Portogallo 6
TW - Taiwan 5
CH - Svizzera 4
HR - Croazia 4
HU - Ungheria 4
CO - Colombia 3
DK - Danimarca 3
ES - Italia 3
MU - Mauritius 3
PL - Polonia 3
RS - Serbia 3
EE - Estonia 2
IR - Iran 2
IS - Islanda 2
MX - Messico 2
PS - Palestinian Territory 2
TN - Tunisia 2
TR - Turchia 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AR - Argentina 1
BD - Bangladesh 1
CL - Cile 1
CZ - Repubblica Ceca 1
GR - Grecia 1
ID - Indonesia 1
IQ - Iraq 1
JO - Giordania 1
KH - Cambogia 1
LT - Lituania 1
LU - Lussemburgo 1
MD - Moldavia 1
ME - Montenegro 1
NG - Nigeria 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PE - Perù 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 69.537
Città #
Cagliari 61.198
Fairfield 792
Woodbridge 634
Chandler 550
Houston 465
Ashburn 413
Wilmington 384
Ann Arbor 360
Seattle 340
Nyköping 276
Cambridge 261
Jacksonville 213
Dearborn 124
Boardman 114
Nanjing 110
Shanghai 92
Boston 85
Beijing 75
Naaldwijk 60
Helsinki 54
San Diego 50
Dong Ket 42
Redwood City 34
Singapore 33
Hangzhou 29
Shenyang 29
Hebei 26
Guangzhou 25
Pune 25
Los Angeles 20
Mountain View 19
Atlanta 18
Brussels 18
Jiaxing 18
Norwalk 18
Sassari 18
Lake Forest 16
Verona 16
Nanchang 15
Jinan 14
London 14
New York 13
Orange 13
Tianjin 13
Changsha 12
Hefei 12
Milan 12
Zhengzhou 12
Chicago 11
Council Bluffs 10
Kunming 10
Phoenix 10
Dublin 9
Ningbo 9
Saint Petersburg 9
Washington 9
Auburn Hills 8
Sanluri 8
Toronto 8
Vienna 8
Nürnberg 7
Xian 7
Wuhan 6
Central 5
Chengdu 5
Hounslow 5
Olbia 5
Shenzhen 5
Torino 5
Budapest 4
Irvine 4
Perugia 4
Redmond 4
Taizhou 4
Tappahannock 4
Zagreb 4
Baotou 3
Belgrade 3
Bogotá 3
Brisbane 3
Carbonia 3
Changchun 3
Cologne 3
Indiana 3
Karlsruhe 3
Lyngby 3
L’Aquila 3
New Bedfont 3
Pierre 3
Porto Torres 3
Quartu Sant'elena 3
San Francisco 3
San Gavino Monreale 3
Taipei 3
Trento 3
Amsterdam 2
Augusta 2
Bremen 2
Broxburn 2
Capoterra 2
Totale 67.438
Nome #
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact 2.181
Data mining for detecting Bitcoin Ponzi schemes 1.727
Contracts as games on event structures 1.587
Circular causality in event structures 1.482
Compliance and Subtyping in Timed Session Types 1.462
Lending Petri nets and contracts 1.435
A note on two notions of compliance 1.397
A contract-oriented middleware 1.380
Lending Petri nets 1.375
Models of circular causality 1.370
A survey of attacks on Ethereum smart contracts (SoK) 1.232
Contract-oriented programming with timed session types 1.218
A Proof-of-Stake protocol for consensus on Bitcoin subchains 1.215
SoK: Unraveling bitcoin smart contracts 1.163
A general framework for blockchain analytics 1.144
Blockchain for social good: a quantitative analysis 1.138
An empirical analysis of smart contracts: platforms, applications, and design patterns 1.130
Verifiable abstractions for contract-oriented systems 1.119
Timed session types 1.095
Fun with bitcoin smart contracts 1.075
A Journey into Bitcoin Metadata 1.050
An analysis of bitcoin OP_RETURN metadata 1.038
Modelling and verifying contract-oriented systems in Maude 1.036
null 1.026
A Formal Model of Bitcoin Transactions 1.024
BitML: A calculus for bitcoin smart contracts 1.014
Progress-preserving refinements of CTA 1.012
Vicious circles in contracts and in logic 997
Constant-deposit multiparty lotteries on Bitcoin 974
Contract-Oriented design of distributed applications: A tutorial 949
Developing secure bitcoin contracts with BitML 944
null 943
Compliance in behavioural contracts: a brief survey 928
Honesty by typing 923
Verifying Liquidity of Bitcoin Contracts 899
Developing honest Java programs with Diogenes 894
Faderank: an incremental algorithm for ranking Twitter users 857
Debits and Credits in Petri Nets and Linear Logic 842
The LTS WorkBench 829
A semantic deconstruction of session types 807
Choreographies in the wild 800
Model checking usage policies 787
On the decidability of honesty and of its variants 775
Preface [ to: Proceedings 9th Interaction and Concurrency Experience] 695
Honesty by typing 653
Combining behavioural types with security analysis 627
null 612
null 578
Renegotiation and recursion in bitcoin contracts 513
Bitcoin Covenants Unchained 504
Cryptocurrency scams: analysis and perspectives 494
Towards a linear contract logic 492
Contract-Oriented Computing in CO2 484
A true concurrent model of smart contracts executions 466
A Theory of Automated Market Makers in DeFi 465
Stack inspection and secure program transformations 443
Static analysis for stack inspection 409
Program Transformations under Dynamic Security Policies 398
History-based Access Control with Local Policies 390
Local Policies for Resource Usage Analysis 389
A calculus of contracting processes 383
Securing Java with local policies 378
Static enforcement of service deadlines 378
On the Realizability of Contracts in Dishonest Systems 377
Checking risky events is enough for local policies 367
A Formal Model of Algorand Smart Contracts 363
Formal Models of Bitcoin Contracts: A Survey 359
Enforcing Secure Service Composition 358
A Sound Up-to- n, δ Bisimilarity for PCTL 355
Towards a Theory of Decentralized Finance 348
An event-based model for contracts 339
Smart Contracts Contracts 334
Computationally sound Bitcoin tokens 325
Language-based security: access control and static analysis 322
Verifying liquidity of recursive Bitcoin contracts 322
L'orientamento ai servizi 313
Plans for service composition 313
null 310
null 300
Method inlining in the presence of stack inspection 296
null 295
Circular causality in event structures 292
SoK: Lending Pools in Decentralized Finance 289
null 268
null 268
null 254
null 250
null 250
null 249
A theory of transaction parallelism in blockchains 246
null 239
null 231
null 227
null 220
null 207
A theory of Automated Market Makers in DeFi 193
null 174
Sound approximate and asymptotic probabilistic bisimulations for PCTL 135
Jalapa: Securing Java with Local Policies 130
ν-Types for Effects and Freshness Analysis 129
Totale 68.271
Categoria #
all - tutte 93.876
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 93.876


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019305 0 0 0 0 0 0 0 0 0 0 0 305
2019/202014.258 738 503 129 353 5.182 3.441 1.799 606 346 411 297 453
2020/202118.571 603 647 977 5.996 4.004 1.651 1.650 895 227 529 491 901
2021/20225.244 513 188 343 376 395 259 280 456 518 830 526 560
2022/202311.844 754 1.743 1.238 867 695 1.160 712 784 837 964 1.356 734
2023/202412.217 438 408 333 708 1.227 2.041 2.279 992 595 922 1.728 546
Totale 69.891