BARTOLETTI, MASSIMO
 Distribuzione geografica
Continente #
EU - Europa 2.960
NA - Nord America 1.747
AS - Asia 749
AF - Africa 78
SA - Sud America 38
OC - Oceania 34
Continente sconosciuto - Info sul continente non disponibili 4
Totale 5.610
Nazione #
IT - Italia 2.173
US - Stati Uniti d'America 1.636
CN - Cina 268
DE - Germania 159
GB - Regno Unito 136
IN - India 108
CA - Canada 90
FR - Francia 90
HK - Hong Kong 82
RU - Federazione Russa 56
NL - Olanda 48
VN - Vietnam 38
AU - Australia 33
ID - Indonesia 29
UA - Ucraina 29
SG - Singapore 26
RO - Romania 25
JP - Giappone 23
FI - Finlandia 22
BE - Belgio 20
MY - Malesia 20
NG - Nigeria 20
BR - Brasile 19
ES - Italia 19
KR - Corea 19
CZ - Repubblica Ceca 18
IE - Irlanda 18
IR - Iran 18
MX - Messico 17
TR - Turchia 17
PL - Polonia 16
TW - Taiwan 16
ZA - Sudafrica 16
AE - Emirati Arabi Uniti 15
AT - Austria 15
DK - Danimarca 15
HU - Ungheria 13
PK - Pakistan 13
IL - Israele 12
PH - Filippine 11
SE - Svezia 11
GR - Grecia 10
CH - Svizzera 8
LB - Libano 8
TH - Thailandia 8
TN - Tunisia 8
SI - Slovenia 7
AR - Argentina 6
LT - Lituania 6
SC - Seychelles 6
SK - Slovacchia (Repubblica Slovacca) 6
BG - Bulgaria 5
CL - Cile 5
BJ - Benin 4
CO - Colombia 4
EE - Estonia 4
EG - Egitto 4
GE - Georgia 4
KE - Kenya 4
PT - Portogallo 4
RW - Ruanda 4
DZ - Algeria 3
HR - Croazia 3
IS - Islanda 3
LU - Lussemburgo 3
LV - Lettonia 3
MD - Moldavia 3
NO - Norvegia 3
VE - Venezuela 3
CI - Costa d'Avorio 2
ET - Etiopia 2
EU - Europa 2
GH - Ghana 2
IM - Isola di Man 2
JM - Giamaica 2
KZ - Kazakistan 2
LK - Sri Lanka 2
LY - Libia 2
MT - Malta 2
SA - Arabia Saudita 2
A1 - Anonimo 1
AL - Albania 1
AZ - Azerbaigian 1
BD - Bangladesh 1
BY - Bielorussia 1
FO - Isole Faroe 1
GI - Gibilterra 1
IQ - Iraq 1
JO - Giordania 1
KH - Cambogia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
OM - Oman 1
PR - Porto Rico 1
RS - Serbia 1
SN - Senegal 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 5.610
Città #
Cagliari 1.936
Ashburn 152
Fairfield 123
Santa Cruz 96
Buffalo 83
Houston 81
Woodbridge 80
Seattle 77
Columbus 57
Wilmington 48
Cambridge 47
Chicago 43
Ann Arbor 32
Guangzhou 31
Mumbai 31
Shenyang 31
Dong Ket 29
Frankfurt am Main 29
San Diego 24
University Park 24
Rome 23
Shanghai 23
Birmingham 22
New York 22
Changsha 21
Helsinki 21
Las Vegas 19
Singapore 19
Beijing 18
Central 18
Mountain View 17
Paris 17
Toronto 17
London 16
Nanjing 15
Los Angeles 14
Montreal 14
Saint Catharines 14
Hangzhou 13
Phoenix 12
Taipei 12
Beaconsfield 11
Bengaluru 11
Moscow 11
Ottawa 11
Brisbane 10
Council Bluffs 10
Dallas 10
Dublin 10
Milan 10
Naaldwijk 10
Ninove 10
Saint Petersburg 10
Amsterdam 9
Atlanta 9
Chennai 9
Jakarta 9
San Francisco 9
Vienna 9
Hoorn 8
Lagos 8
Melbourne 8
Boardman 7
Bucharest 7
Gessate 7
Harbin 7
Herndon 7
Jinan 7
Kuala Lumpur 7
Muizenberg 7
Nanchang 7
Tokyo 7
Abu Dhabi 6
Changchun 6
Clearwater 6
Gurgaon 6
Hebei 6
Henderson 6
Kongens Lyngby 6
San Jose 6
San Mateo 6
Sydney 6
Wanchai 6
Wroclaw 6
Antibes 5
Athens 5
Berlin 5
Hefei 5
Hyderabad 5
Kunming 5
La Maddalena 5
Mansfield 5
Petaling Jaya 5
Queens 5
Washington 5
West Lafayette 5
Wuhan 5
Yangzhou 5
Yongin-si 5
Ajjavara 4
Totale 3.844
Nome #
A Journey into Bitcoin Metadata, file e2f56ed8-35bd-3eaf-e053-3a05fe0a5d97 1.381
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact, file e2f56ed8-a4ef-3eaf-e053-3a05fe0a5d97 569
Cryptocurrency scams: analysis and perspectives, file e2f56eda-3a51-3eaf-e053-3a05fe0a5d97 528
Lending Petri nets and contracts, file e2f56ed3-c422-3eaf-e053-3a05fe0a5d97 432
SoK: Unraveling bitcoin smart contracts, file e2f56ed7-b5f3-3eaf-e053-3a05fe0a5d97 367
Modelling and verifying contract-oriented systems in Maude, file e2f56ed3-f3f3-3eaf-e053-3a05fe0a5d97 349
A note on two notions of compliance, file e2f56ed5-f96f-3eaf-e053-3a05fe0a5d97 324
Debits and Credits in Petri Nets and Linear Logic, file e2f56ed3-f301-3eaf-e053-3a05fe0a5d97 295
Model checking usage policies, file e2f56ed4-e115-3eaf-e053-3a05fe0a5d97 265
Timed session types, file e2f56ed7-7db0-3eaf-e053-3a05fe0a5d97 250
Honesty by typing, file e2f56ed3-ec2e-3eaf-e053-3a05fe0a5d97 241
Verifying Liquidity of Bitcoin Contracts, file e2f56ed8-7ed9-3eaf-e053-3a05fe0a5d97 214
Securing Java with local policies, file e2f56ed3-832b-3eaf-e053-3a05fe0a5d97 159
Smart Contracts Contracts, file e2f56ed9-f1f8-3eaf-e053-3a05fe0a5d97 56
A theory of Automated Market Makers in DeFi, file 7d7a9d60-2b5a-4e72-9d03-145a918b500a 50
Formal Models of Bitcoin Contracts: A Survey, file e2f56eda-2814-3eaf-e053-3a05fe0a5d97 38
Verifying liquidity of recursive Bitcoin contracts, file e2f56eda-93b7-3eaf-e053-3a05fe0a5d97 20
A semantic deconstruction of session types, file e2f56ed3-ec2f-3eaf-e053-3a05fe0a5d97 17
Sound approximate and asymptotic probabilistic bisimulations for PCTL, file 3314b8b3-1b4d-4469-b633-d57fd7bb442c 12
Circular causality in event structures, file e2f56ed8-7fa0-3eaf-e053-3a05fe0a5d97 11
Vicious circles in contracts and in logic, file e2f56ed4-365a-3eaf-e053-3a05fe0a5d97 9
The LTS WorkBench, file e2f56ed3-e982-3eaf-e053-3a05fe0a5d97 8
Data mining for detecting Bitcoin Ponzi schemes, file e2f56ed8-59b2-3eaf-e053-3a05fe0a5d97 8
SoK: Lending Pools in Decentralized Finance, file e2f56eda-8c8d-3eaf-e053-3a05fe0a5d97 8
Honesty by typing, file e2f56ed6-986b-3eaf-e053-3a05fe0a5d97 7
A theory of transaction parallelism in blockchains, file 4c38bc2c-750e-44ad-bf57-cbf67c434ead 6
Formalizing Automated Market Makers in the Lean 4 Theorem Prover, file 6345555b-f798-4896-b2c3-2887c0c5684f 6
A Sound Up-to- n, δ Bisimilarity for PCTL, file 844308e4-fe11-4c50-86cc-5ea8d3211576 6
A contract-oriented middleware, file e2f56ed4-ed92-3eaf-e053-3a05fe0a5d97 6
Towards a Theory of Decentralized Finance, file e2f56eda-8ccd-3eaf-e053-3a05fe0a5d97 6
Contracts as games on event structures, file e2f56ed4-f40f-3eaf-e053-3a05fe0a5d97 5
Verifiable abstractions for contract-oriented systems, file e2f56ed5-9f02-3eaf-e053-3a05fe0a5d97 5
A Journey into Bitcoin Metadata, file e2f56ed9-08e9-3eaf-e053-3a05fe0a5d97 5
null, file e2f56ed3-9553-3eaf-e053-3a05fe0a5d97 4
On the decidability of honesty and of its variants, file e2f56ed5-956f-3eaf-e053-3a05fe0a5d97 4
A survey of attacks on Ethereum smart contracts (SoK), file e2f56ed6-9a9a-3eaf-e053-3a05fe0a5d97 4
Combining behavioural types with security analysis, file e2f56ed4-f0b7-3eaf-e053-3a05fe0a5d97 3
Preface [ to: Proceedings 9th Interaction and Concurrency Experience], file e2f56ed5-9efb-3eaf-e053-3a05fe0a5d97 3
A Proof-of-Stake protocol for consensus on Bitcoin subchains, file e2f56ed7-7dad-3eaf-e053-3a05fe0a5d97 3
BitML: A calculus for bitcoin smart contracts, file e2f56ed7-cde1-3eaf-e053-3a05fe0a5d97 3
A Formal Model of Algorand Smart Contracts, file e2f56eda-6733-3eaf-e053-3a05fe0a5d97 3
Towards Benchmarking of Solidity Verification Tools, file f901d038-498b-4aac-ae15-256a2a2acb3e 3
A calculus of contracting processes, file e2f56ed3-8570-3eaf-e053-3a05fe0a5d97 2
Compliance and Subtyping in Timed Session Types, file e2f56ed3-f225-3eaf-e053-3a05fe0a5d97 2
Lending Petri nets, file e2f56ed4-fb0d-3eaf-e053-3a05fe0a5d97 2
Developing honest Java programs with Diogenes, file e2f56ed5-953c-3eaf-e053-3a05fe0a5d97 2
Faderank: an incremental algorithm for ranking Twitter users, file e2f56ed5-a9f6-3eaf-e053-3a05fe0a5d97 2
Compliance in behavioural contracts: a brief survey, file e2f56ed5-fc14-3eaf-e053-3a05fe0a5d97 2
Models of circular causality, file e2f56ed5-fc59-3eaf-e053-3a05fe0a5d97 2
An analysis of bitcoin OP_RETURN metadata, file e2f56ed7-2afb-3eaf-e053-3a05fe0a5d97 2
Blockchain for social good: a quantitative analysis, file e2f56ed8-59b4-3eaf-e053-3a05fe0a5d97 2
Contract-Oriented design of distributed applications: A tutorial, file e2f56ed8-96f5-3eaf-e053-3a05fe0a5d97 2
Contract-oriented programming with timed session types, file e2f56ed8-9adf-3eaf-e053-3a05fe0a5d97 2
A Theory of Automated Market Makers in DeFi, file e2f56ed9-c96d-3eaf-e053-3a05fe0a5d97 2
null, file e2f56ed3-8487-3eaf-e053-3a05fe0a5d97 1
null, file e2f56ed3-8561-3eaf-e053-3a05fe0a5d97 1
null, file e2f56ed3-8622-3eaf-e053-3a05fe0a5d97 1
null, file e2f56ed3-86e1-3eaf-e053-3a05fe0a5d97 1
null, file e2f56ed3-8837-3eaf-e053-3a05fe0a5d97 1
null, file e2f56ed3-8868-3eaf-e053-3a05fe0a5d97 1
null, file e2f56ed3-bd62-3eaf-e053-3a05fe0a5d97 1
Choreographies in the wild, file e2f56ed4-3517-3eaf-e053-3a05fe0a5d97 1
Circular causality in event structures, file e2f56ed5-a1cd-3eaf-e053-3a05fe0a5d97 1
Static enforcement of service deadlines, file e2f56ed6-0000-3eaf-e053-3a05fe0a5d97 1
null, file e2f56ed6-0074-3eaf-e053-3a05fe0a5d97 1
An empirical analysis of smart contracts: platforms, applications, and design patterns, file e2f56ed7-52ee-3eaf-e053-3a05fe0a5d97 1
A general framework for blockchain analytics, file e2f56ed7-707f-3eaf-e053-3a05fe0a5d97 1
Constant-deposit multiparty lotteries on Bitcoin, file e2f56ed7-7081-3eaf-e053-3a05fe0a5d97 1
Progress-preserving refinements of CTA, file e2f56ed7-dd2a-3eaf-e053-3a05fe0a5d97 1
Fun with bitcoin smart contracts, file e2f56ed8-2464-3eaf-e053-3a05fe0a5d97 1
Developing secure bitcoin contracts with BitML, file e2f56ed8-84d3-3eaf-e053-3a05fe0a5d97 1
A Formal Model of Bitcoin Transactions, file e2f56ed8-a325-3eaf-e053-3a05fe0a5d97 1
A true concurrent model of smart contracts executions, file e2f56ed9-94fc-3eaf-e053-3a05fe0a5d97 1
Bitcoin Covenants Unchained, file e2f56ed9-ad96-3eaf-e053-3a05fe0a5d97 1
Renegotiation and recursion in bitcoin contracts, file e2f56ed9-ae8b-3eaf-e053-3a05fe0a5d97 1
Computationally sound Bitcoin tokens, file e2f56eda-301c-3eaf-e053-3a05fe0a5d97 1
Totale 5.739
Categoria #
all - tutte 9.863
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 9.863


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201949 0 0 0 0 0 0 0 0 0 0 0 49
2019/2020760 50 27 16 40 203 176 89 31 41 25 29 33
2020/20211.612 39 50 24 518 406 82 102 75 92 89 70 65
2021/20221.081 85 87 62 95 95 91 80 88 82 82 154 80
2022/2023919 75 53 139 104 66 45 59 73 130 44 75 56
2023/2024810 42 33 60 46 130 79 54 32 40 80 100 114
Totale 5.739