UNICA IRIS Institutional Research Information System

BARTOLETTI, MASSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 90.234
NA - Nord America 7.723
AS - Asia 3.415
SA - Sud America 478
AF - Africa 85
OC - Oceania 19
Continente sconosciuto - Info sul continente non disponibili 6
Totale 101.960
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 88.149
US - Stati Uniti d'America 7.657
SG - Singapore 1.393
CN - Cina 1.210
SE - Svezia 613
UA - Ucraina 415
BR - Brasile 392
VN - Vietnam 278
DE - Germania 263
GB - Regno Unito 179
FR - Francia 166
FI - Finlandia 165
IN - India 120
HK - Hong Kong 108
NL - Olanda 99
KR - Corea 44
BD - Bangladesh 42
IQ - Iraq 38
CA - Canada 35
RU - Federazione Russa 33
AR - Argentina 23
BE - Belgio 22
TR - Turchia 22
ZA - Sudafrica 22
MX - Messico 19
PK - Pakistan 19
PL - Polonia 19
MY - Malesia 18
UZ - Uzbekistan 18
AT - Austria 17
AU - Australia 17
IE - Irlanda 16
JP - Giappone 15
MA - Marocco 15
CO - Colombia 14
ES - Italia 12
VE - Venezuela 12
TW - Taiwan 11
CL - Cile 9
EC - Ecuador 9
ID - Indonesia 9
TN - Tunisia 9
PT - Portogallo 8
BH - Bahrain 7
CZ - Repubblica Ceca 7
KE - Kenya 7
PE - Perù 7
PH - Filippine 7
PY - Paraguay 7
EG - Egitto 6
EU - Europa 6
SA - Arabia Saudita 6
HR - Croazia 5
CH - Svizzera 4
DO - Repubblica Dominicana 4
HU - Ungheria 4
IL - Israele 4
JO - Giordania 4
PS - Palestinian Territory 4
RO - Romania 4
RS - Serbia 4
SN - Senegal 4
TH - Thailandia 4
AE - Emirati Arabi Uniti 3
AM - Armenia 3
AZ - Azerbaigian 3
BO - Bolivia 3
CI - Costa d'Avorio 3
DK - Danimarca 3
DZ - Algeria 3
EE - Estonia 3
GE - Georgia 3
GR - Grecia 3
HN - Honduras 3
IR - Iran 3
KG - Kirghizistan 3
MD - Moldavia 3
MU - Mauritius 3
NO - Norvegia 3
NP - Nepal 3
OM - Oman 3
AL - Albania 2
BY - Bielorussia 2
ET - Etiopia 2
GA - Gabon 2
IS - Islanda 2
KZ - Kazakistan 2
LA - Repubblica Popolare Democratica del Laos 2
LK - Sri Lanka 2
LT - Lituania 2
ML - Mali 2
SK - Slovacchia (Repubblica Slovacca) 2
TZ - Tanzania 2
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
CR - Costa Rica 1
GT - Guatemala 1
JM - Giamaica 1
KH - Cambogia 1
KW - Kuwait 1
Totale 101.944
Salva come PNG Salva come JPEG
Città #
Cagliari 84.328
Uta 3.424
Fairfield 792
Singapore 738
Woodbridge 634
Ashburn 584
Chandler 550
Houston 466
Wilmington 384
Dallas 378
Ann Arbor 360
Seattle 345
San Jose 337
Boardman 318
Nyköping 276
Cambridge 261
Jacksonville 213
Beijing 207
Los Angeles 139
Shanghai 133
The Dalles 133
Dearborn 124
Santa Clara 114
Nanjing 112
Helsinki 104
Lauterbourg 96
Boston 92
Ho Chi Minh City 83
Hong Kong 80
Hefei 64
Naaldwijk 60
Hanoi 54
San Diego 51
Buffalo 42
Dong Ket 42
Guangzhou 37
Hangzhou 37
Council Bluffs 36
New York 36
São Paulo 36
Milan 35
Redwood City 34
Frankfurt am Main 33
Seoul 30
Shenyang 30
Atlanta 28
Hebei 26
London 26
Pune 26
Chicago 25
Orem 25
Jiaxing 21
Verona 20
Amsterdam 19
Columbus 19
Mountain View 19
Phoenix 19
Sassari 19
Tianjin 19
Brussels 18
Chennai 18
Norwalk 18
Redondo Beach 17
Da Nang 16
Jinan 16
Lake Forest 16
Nanchang 16
Baghdad 15
Brooklyn 15
Tashkent 15
Warsaw 15
Zhengzhou 15
Changsha 14
Dublin 14
Nuremberg 13
Orange 13
Belo Horizonte 12
Düsseldorf 12
Montreal 12
Vienna 12
Johannesburg 11
Kunming 11
Rome 11
Shenzhen 10
Toronto 10
Haiphong 9
Ningbo 9
Porto Alegre 9
Rio de Janeiro 9
Saint Petersburg 9
San Francisco 9
Tokyo 9
Washington 9
Amersfoort 8
Ankara 8
Auburn Hills 8
Campinas 8
Denver 8
Dhaka 8
Manchester 8
Totale 97.266
Salva come PNG Salva come JPEG
Nome #
Cryptocurrency scams: analysis and perspectives 2.669
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact 2.647
Data mining for detecting Bitcoin Ponzi schemes 2.608
A note on two notions of compliance 2.251
A Formal Model of Bitcoin Transactions 2.009
Contracts as games on event structures 1.944
Timed session types 1.792
Compliance and Subtyping in Timed Session Types 1.787
Circular causality in event structures 1.763
Lending Petri nets and contracts 1.731
Lending Petri nets 1.706
A contract-oriented middleware 1.704
Models of circular causality 1.611
A Proof-of-Stake protocol for consensus on Bitcoin subchains 1.609
Contract-Oriented design of distributed applications: A tutorial 1.588
Contract-oriented programming with timed session types 1.556
A general framework for blockchain analytics 1.523
SoK: Unraveling bitcoin smart contracts 1.522
A survey of attacks on Ethereum smart contracts (SoK) 1.498
BitML: A calculus for bitcoin smart contracts 1.479
Verifiable abstractions for contract-oriented systems 1.472
A Journey into Bitcoin Metadata 1.466
An empirical analysis of smart contracts: platforms, applications, and design patterns 1.434
Blockchain for social good: a quantitative analysis 1.407
Fun with bitcoin smart contracts 1.369
Honesty by typing 1.365
An analysis of bitcoin OP_RETURN metadata 1.314
Constant-deposit multiparty lotteries on Bitcoin 1.299
Vicious circles in contracts and in logic 1.287
Combining behavioural types with security analysis 1.269
Progress-preserving refinements of CTA 1.260
Developing honest Java programs with Diogenes 1.236
Modelling and verifying contract-oriented systems in Maude 1.223
Developing secure bitcoin contracts with BitML 1.192
Compliance in behavioural contracts: a brief survey 1.185
Choreographies in the wild 1.158
Debits and Credits in Petri Nets and Linear Logic 1.144
Verifying Liquidity of Bitcoin Contracts 1.137
A semantic deconstruction of session types 1.120
Faderank: an incremental algorithm for ranking Twitter users 1.111
The LTS WorkBench 1.081
Renegotiation and recursion in bitcoin contracts 1.051
null 1.026
Model checking usage policies 1.013
null 997
On the decidability of honesty and of its variants 994
Preface [ to: Proceedings 9th Interaction and Concurrency Experience] 994
A true concurrent model of smart contracts executions 972
null 943
Bitcoin Covenants Unchained 879
A Sound Up-to- n, δ Bisimilarity for PCTL 874
Honesty by typing 809
Towards a linear contract logic 765
Contract-Oriented Computing in CO2 717
Stack inspection and secure program transformations 669
A theory of transaction parallelism in blockchains 655
An event-based model for contracts 651
Verifying liquidity of recursive Bitcoin contracts 644
Computationally sound Bitcoin tokens 643
Smart Contracts Contracts 638
Towards a Theory of Decentralized Finance 636
A Formal Model of Algorand Smart Contracts 634
Static enforcement of service deadlines 622
History-based Access Control with Local Policies 622
SoK: Lending Pools in Decentralized Finance 621
null 612
Local Policies for Resource Usage Analysis 600
null 578
Static analysis for stack inspection 577
Circular causality in event structures 575
Securing Java with local policies 569
A calculus of contracting processes 565
Program Transformations under Dynamic Security Policies 564
Formal Models of Bitcoin Contracts: A Survey 558
Enforcing Secure Service Composition 555
Checking risky events is enough for local policies 535
On the Realizability of Contracts in Dishonest Systems 517
Sound approximate and asymptotic probabilistic bisimulations for PCTL 504
L'orientamento ai servizi 503
A theory of Automated Market Makers in DeFi 493
Plans for service composition 489
Method inlining in the presence of stack inspection 475
Language-based security: access control and static analysis 452
Types and Effects for Secure Service Orchestration 345
Primitives for Contract-based Synchronization 339
Planning and Verifying Service Composition 323
Type and Effects for Resource Usage Analysis 321
A Theory of agreements and protection 321
Contracts in Distributed Systems 317
null 310
Secure Service Orchestration 301
Model checking usage policies 300
null 300
Tools and Verification 298
null 295
Contract agreement via logic 295
Jalapa: Securing Java with Local Policies 294
Usage automata 282
Hard Life with Weak Binders 277
null 268
Totale 97.502
Salva come PNG Salva come JPEG
Categoria #
all - tutte 142.249
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 142.249
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.392 0 0 0 0 0 0 0 0 0 0 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/202526.043 5.457 7.196 3.489 3.020 2.058 1.802 1.738 185 276 272 277 273
2025/20265.764 340 251 741 298 535 406 2.080 206 449 440 18 0
Totale 102.349