UNICA IRIS Institutional Research Information System

BARTOLETTI, MASSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 87.752
NA - Nord America 6.152
AS - Asia 1.397
SA - Sud America 168
AF - Africa 26
OC - Oceania 16
Continente sconosciuto - Info sul continente non disponibili 6
Totale 95.517
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 86.111
US - Stati Uniti d'America 6.132
CN - Cina 696
SE - Svezia 514
SG - Singapore 485
UA - Ucraina 414
DE - Germania 206
BR - Brasile 146
GB - Regno Unito 141
FI - Finlandia 118
NL - Olanda 75
IN - India 54
VN - Vietnam 44
FR - Francia 40
HK - Hong Kong 23
RU - Federazione Russa 22
BE - Belgio 20
KR - Corea 17
AT - Austria 15
AU - Australia 15
CA - Canada 15
IE - Irlanda 14
MY - Malesia 10
JP - Giappone 8
BD - Bangladesh 7
BH - Bahrain 7
CZ - Repubblica Ceca 7
ES - Italia 7
TW - Taiwan 7
UZ - Uzbekistan 7
EU - Europa 6
PT - Portogallo 6
ZA - Sudafrica 6
AR - Argentina 5
HR - Croazia 5
TN - Tunisia 5
TR - Turchia 5
CH - Svizzera 4
CO - Colombia 4
HU - Ungheria 4
PE - Perù 4
RS - Serbia 4
CI - Costa d'Avorio 3
DK - Danimarca 3
EE - Estonia 3
MU - Mauritius 3
MX - Messico 3
PL - Polonia 3
AM - Armenia 2
AZ - Azerbaigian 2
BO - Bolivia 2
EC - Ecuador 2
GR - Grecia 2
IQ - Iraq 2
IR - Iran 2
IS - Islanda 2
KE - Kenya 2
KG - Kirghizistan 2
LA - Repubblica Popolare Democratica del Laos 2
MA - Marocco 2
NO - Norvegia 2
PK - Pakistan 2
PS - Palestinian Territory 2
PY - Paraguay 2
RO - Romania 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
TZ - Tanzania 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
CL - Cile 1
DO - Repubblica Dominicana 1
EG - Egitto 1
GA - Gabon 1
GE - Georgia 1
ID - Indonesia 1
IL - Israele 1
JM - Giamaica 1
JO - Giordania 1
KH - Cambogia 1
KW - Kuwait 1
LK - Sri Lanka 1
LT - Lituania 1
LU - Lussemburgo 1
LV - Lettonia 1
MD - Moldavia 1
ME - Montenegro 1
NG - Nigeria 1
NZ - Nuova Zelanda 1
TM - Turkmenistan 1
Totale 95.517
Salva come PNG Salva come JPEG
Città #
Cagliari 82.399
Uta 3.367
Fairfield 792
Woodbridge 634
Chandler 550
Houston 465
Ashburn 416
Wilmington 384
Ann Arbor 360
Seattle 340
Boardman 314
Nyköping 276
Cambridge 261
Singapore 246
Jacksonville 213
Dearborn 124
Shanghai 121
Nanjing 111
Santa Clara 96
Boston 85
Beijing 84
Naaldwijk 60
Helsinki 57
San Diego 50
Los Angeles 45
Dong Ket 42
Guangzhou 35
Redwood City 34
Hangzhou 31
Milan 29
Shenyang 29
Council Bluffs 27
Hebei 26
Pune 25
Jiaxing 20
Atlanta 19
Mountain View 19
Sassari 19
Brussels 18
Norwalk 18
The Dalles 17
Verona 17
Lake Forest 16
London 15
Nanchang 15
Jinan 14
New York 13
Orange 13
Tianjin 13
Changsha 12
Dublin 12
Hefei 12
São Paulo 12
Vienna 12
Zhengzhou 12
Chicago 11
Hong Kong 11
Kunming 10
Phoenix 10
Ningbo 9
Saint Petersburg 9
Washington 9
Auburn Hills 8
Sanluri 8
Toronto 8
Trento 8
Wuhan 8
Nuremberg 7
Nürnberg 7
Tashkent 7
Xian 7
Amsterdam 6
Belo Horizonte 6
Munich 6
Shenzhen 6
Brno 5
Central 5
Chengdu 5
Hounslow 5
Madrid 5
Olbia 5
Porto Alegre 5
Reggio Emilia 5
Rome 5
Torino 5
Zagreb 5
Belgrade 4
Brisbane 4
Budapest 4
Frankfurt am Main 4
Irvine 4
Johannesburg 4
Perugia 4
Redmond 4
Ribeirão Preto 4
San Francisco 4
Taizhou 4
Tappahannock 4
Villacidro 4
Abidjan 3
Totale 92.717
Salva come PNG Salva come JPEG
Nome #
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact 2.539
Data mining for detecting Bitcoin Ponzi schemes 2.534
Cryptocurrency scams: analysis and perspectives 2.504
A note on two notions of compliance 2.174
A Formal Model of Bitcoin Transactions 1.940
Contracts as games on event structures 1.877
Timed session types 1.728
Compliance and Subtyping in Timed Session Types 1.721
Circular causality in event structures 1.694
Lending Petri nets and contracts 1.668
A contract-oriented middleware 1.640
Lending Petri nets 1.635
Models of circular causality 1.570
A Proof-of-Stake protocol for consensus on Bitcoin subchains 1.537
Contract-Oriented design of distributed applications: A tutorial 1.529
Contract-oriented programming with timed session types 1.480
A general framework for blockchain analytics 1.457
SoK: Unraveling bitcoin smart contracts 1.455
A survey of attacks on Ethereum smart contracts (SoK) 1.426
Verifiable abstractions for contract-oriented systems 1.412
BitML: A calculus for bitcoin smart contracts 1.408
A Journey into Bitcoin Metadata 1.381
An empirical analysis of smart contracts: platforms, applications, and design patterns 1.379
Blockchain for social good: a quantitative analysis 1.347
Fun with bitcoin smart contracts 1.319
Honesty by typing 1.317
An analysis of bitcoin OP_RETURN metadata 1.260
Constant-deposit multiparty lotteries on Bitcoin 1.256
Combining behavioural types with security analysis 1.226
Vicious circles in contracts and in logic 1.223
Progress-preserving refinements of CTA 1.200
Developing honest Java programs with Diogenes 1.173
Modelling and verifying contract-oriented systems in Maude 1.166
Compliance in behavioural contracts: a brief survey 1.121
Developing secure bitcoin contracts with BitML 1.117
Choreographies in the wild 1.098
Verifying Liquidity of Bitcoin Contracts 1.095
Debits and Credits in Petri Nets and Linear Logic 1.072
Faderank: an incremental algorithm for ranking Twitter users 1.063
A semantic deconstruction of session types 1.055
null 1.026
The LTS WorkBench 1.009
null 997
Renegotiation and recursion in bitcoin contracts 991
Preface [ to: Proceedings 9th Interaction and Concurrency Experience] 953
On the decidability of honesty and of its variants 949
Model checking usage policies 948
null 943
A true concurrent model of smart contracts executions 914
Bitcoin Covenants Unchained 811
A Sound Up-to- n, δ Bisimilarity for PCTL 800
Honesty by typing 768
Towards a linear contract logic 697
Contract-Oriented Computing in CO2 670
null 612
Stack inspection and secure program transformations 607
An event-based model for contracts 587
Smart Contracts Contracts 586
Static enforcement of service deadlines 581
null 578
A theory of transaction parallelism in blockchains 577
Towards a Theory of Decentralized Finance 576
History-based Access Control with Local Policies 570
A Formal Model of Algorand Smart Contracts 567
Local Policies for Resource Usage Analysis 565
SoK: Lending Pools in Decentralized Finance 565
Verifying liquidity of recursive Bitcoin contracts 560
Computationally sound Bitcoin tokens 558
Static analysis for stack inspection 544
Program Transformations under Dynamic Security Policies 528
Circular causality in event structures 523
A calculus of contracting processes 513
Formal Models of Bitcoin Contracts: A Survey 512
Enforcing Secure Service Composition 511
Securing Java with local policies 503
Checking risky events is enough for local policies 491
On the Realizability of Contracts in Dishonest Systems 469
L'orientamento ai servizi 452
Plans for service composition 437
Method inlining in the presence of stack inspection 431
Sound approximate and asymptotic probabilistic bisimulations for PCTL 422
A theory of Automated Market Makers in DeFi 405
Language-based security: access control and static analysis 396
null 310
null 300
null 295
Types and Effects for Secure Service Orchestration 289
Contracts in Distributed Systems 281
Primitives for Contract-based Synchronization 276
A Theory of agreements and protection 272
Secure Service Orchestration 270
null 268
null 268
Planning and Verifying Service Composition 262
Type and Effects for Resource Usage Analysis 259
null 254
Model checking usage policies 252
null 250
null 250
null 249
Totale 92.103
Salva come PNG Salva come JPEG
Categoria #
all - tutte 128.696
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 128.696
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.161 0 0 0 0 0 0 0 0 0 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.868 438 408 333 708 1.227 2.041 2.279 992 595 922 1.728 1.197
2024/202525.347 5.457 7.196 3.489 3.020 2.058 1.802 1.738 185 276 126 0 0
Totale 95.889