UNICA IRIS Institutional Research Information System

BARTOLETTI, MASSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 91.057
NA - Nord America 8.776
AS - Asia 3.469
SA - Sud America 494
Continente sconosciuto - Info sul continente non disponibili 405
AF - Africa 85
OC - Oceania 19
Totale 104.305
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 88.913
US - Stati Uniti d'America 8.641
SG - Singapore 1.403
CN - Cina 1.220
SE - Svezia 635
UA - Ucraina 415
BR - Brasile 400
VN - Vietnam 279
DE - Germania 268
GB - Regno Unito 190
FR - Francia 172
FI - Finlandia 165
IN - India 120
HK - Hong Kong 110
NL - Olanda 100
CA - Canada 76
BD - Bangladesh 66
KR - Corea 45
IQ - Iraq 38
RU - Federazione Russa 33
AR - Argentina 25
PL - Polonia 25
BE - Belgio 22
MX - Messico 22
TR - Turchia 22
ZA - Sudafrica 22
PK - Pakistan 20
MY - Malesia 18
UZ - Uzbekistan 18
AT - Austria 17
AU - Australia 17
CO - Colombia 17
JP - Giappone 17
IE - Irlanda 16
MA - Marocco 15
ES - Italia 14
TW - Taiwan 12
VE - Venezuela 12
ID - Indonesia 11
CL - Cile 10
EC - Ecuador 10
HN - Honduras 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
CH - Svizzera 6
EG - Egitto 6
EU - Europa 6
JM - Giamaica 6
SA - Arabia Saudita 6
EE - Estonia 5
HR - Croazia 5
HU - Ungheria 5
BO - Bolivia 4
CR - Costa Rica 4
DO - Repubblica Dominicana 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
CI - Costa d'Avorio 3
DK - Danimarca 3
DZ - Algeria 3
GE - Georgia 3
GR - Grecia 3
GT - Guatemala 3
IR - Iran 3
KG - Kirghizistan 3
LT - Lituania 3
MD - Moldavia 3
MU - Mauritius 3
NI - Nicaragua 3
NO - Norvegia 3
NP - Nepal 3
OM - Oman 3
TT - Trinidad e Tobago 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
ML - Mali 2
PR - Porto Rico 2
SK - Slovacchia (Repubblica Slovacca) 2
TZ - Tanzania 2
BA - Bosnia-Erzegovina 1
Totale 103.886
Salva come PNG Salva come JPEG
Città #
Cagliari 84.932
Uta 3.424
Fairfield 792
Singapore 744
Ashburn 707
Woodbridge 634
Chandler 551
San Jose 477
Houston 469
Dallas 389
Wilmington 389
Ann Arbor 360
Seattle 348
Boardman 319
Nyköping 276
Cambridge 261
Beijing 217
Jacksonville 217
Los Angeles 174
Council Bluffs 145
Santa Clara 139
The Dalles 138
Shanghai 133
Dearborn 126
Nanjing 112
Helsinki 104
Lauterbourg 96
New York 94
Boston 93
Staranzano 93
Ho Chi Minh City 84
Hong Kong 82
Hefei 64
Naaldwijk 60
Hanoi 54
Buffalo 52
San Diego 51
Dong Ket 42
Milan 38
Chicago 37
Columbus 37
Guangzhou 37
Hangzhou 37
Phoenix 36
São Paulo 36
Redwood City 34
Frankfurt am Main 33
Atlanta 31
Seoul 30
Shenyang 30
Orem 29
Hebei 26
London 26
Pune 26
Jiaxing 21
Verona 21
Sassari 20
Amsterdam 19
Mountain View 19
Norwalk 19
Tianjin 19
Toronto 19
Brooklyn 18
Brussels 18
Chennai 18
Montreal 17
Redondo Beach 17
Da Nang 16
Jinan 16
Lake Forest 16
Nanchang 16
Baghdad 15
Rome 15
Tashkent 15
Warsaw 15
Zhengzhou 15
Changsha 14
Dublin 14
Denver 13
Nuremberg 13
Orange 13
Belo Horizonte 12
Düsseldorf 12
Naples 12
Vienna 12
Dundalk 11
Johannesburg 11
Kunming 11
San Francisco 11
Rio de Janeiro 10
Shenzhen 10
Tokyo 10
Washington 10
Haiphong 9
Las Vegas 9
Ningbo 9
Porto Alegre 9
Saint Petersburg 9
Amersfoort 8
Ankara 8
Totale 98.609
Salva come PNG Salva come JPEG
Nome #
Cryptocurrency scams: analysis and perspectives 2.730
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact 2.664
Data mining for detecting Bitcoin Ponzi schemes 2.621
A note on two notions of compliance 2.266
A Formal Model of Bitcoin Transactions 2.031
Contracts as games on event structures 1.955
Timed session types 1.810
Compliance and Subtyping in Timed Session Types 1.807
Circular causality in event structures 1.790
Lending Petri nets and contracts 1.748
Lending Petri nets 1.727
A contract-oriented middleware 1.724
Models of circular causality 1.640
A Proof-of-Stake protocol for consensus on Bitcoin subchains 1.619
Contract-Oriented design of distributed applications: A tutorial 1.609
Contract-oriented programming with timed session types 1.572
A general framework for blockchain analytics 1.548
SoK: Unraveling bitcoin smart contracts 1.540
A survey of attacks on Ethereum smart contracts (SoK) 1.538
BitML: A calculus for bitcoin smart contracts 1.516
A Journey into Bitcoin Metadata 1.502
Verifiable abstractions for contract-oriented systems 1.499
An empirical analysis of smart contracts: platforms, applications, and design patterns 1.447
Blockchain for social good: a quantitative analysis 1.421
Fun with bitcoin smart contracts 1.383
Honesty by typing 1.376
An analysis of bitcoin OP_RETURN metadata 1.331
Constant-deposit multiparty lotteries on Bitcoin 1.306
Vicious circles in contracts and in logic 1.295
Progress-preserving refinements of CTA 1.279
Combining behavioural types with security analysis 1.278
Developing honest Java programs with Diogenes 1.248
Modelling and verifying contract-oriented systems in Maude 1.238
Compliance in behavioural contracts: a brief survey 1.215
Developing secure bitcoin contracts with BitML 1.211
Choreographies in the wild 1.172
Debits and Credits in Petri Nets and Linear Logic 1.168
Verifying Liquidity of Bitcoin Contracts 1.154
A semantic deconstruction of session types 1.131
Faderank: an incremental algorithm for ranking Twitter users 1.124
The LTS WorkBench 1.092
Renegotiation and recursion in bitcoin contracts 1.069
Model checking usage policies 1.035
null 1.026
Preface [ to: Proceedings 9th Interaction and Concurrency Experience] 1.003
On the decidability of honesty and of its variants 1.002
null 997
A true concurrent model of smart contracts executions 996
null 943
Bitcoin Covenants Unchained 895
A Sound Up-to- n, δ Bisimilarity for PCTL 886
Honesty by typing 815
Towards a linear contract logic 779
Contract-Oriented Computing in CO2 731
Stack inspection and secure program transformations 685
A theory of transaction parallelism in blockchains 682
Verifying liquidity of recursive Bitcoin contracts 670
Computationally sound Bitcoin tokens 665
An event-based model for contracts 662
A Formal Model of Algorand Smart Contracts 661
Towards a Theory of Decentralized Finance 660
Smart Contracts Contracts 656
SoK: Lending Pools in Decentralized Finance 643
History-based Access Control with Local Policies 632
Static enforcement of service deadlines 630
Circular causality in event structures 614
null 612
Local Policies for Resource Usage Analysis 612
Securing Java with local policies 602
Static analysis for stack inspection 584
A calculus of contracting processes 579
null 578
Program Transformations under Dynamic Security Policies 577
Formal Models of Bitcoin Contracts: A Survey 577
Checking risky events is enough for local policies 566
Enforcing Secure Service Composition 564
On the Realizability of Contracts in Dishonest Systems 527
Sound approximate and asymptotic probabilistic bisimulations for PCTL 523
A theory of Automated Market Makers in DeFi 518
L'orientamento ai servizi 513
Plans for service composition 495
Method inlining in the presence of stack inspection 484
Language-based security: access control and static analysis 460
Types and Effects for Secure Service Orchestration 357
Primitives for Contract-based Synchronization 354
Planning and Verifying Service Composition 333
Type and Effects for Resource Usage Analysis 333
A Theory of agreements and protection 332
Contracts in Distributed Systems 329
Model checking usage policies 312
Secure Service Orchestration 310
null 310
Tools and Verification 307
Jalapa: Securing Java with Local Policies 305
Contract agreement via logic 305
null 300
Usage automata 296
null 295
Hard Life with Weak Binders 290
Call-by-contract for service discovery, orchestration and recovery 273
Totale 99.074
Salva come PNG Salva come JPEG
Categoria #
all - tutte 150.540
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 150.540
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20224.200 0 0 0 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/20266.476 340 251 741 298 535 406 2.080 206 449 440 458 272
2026/20271.244 114 417 507 206 0 0 0 0 0 0 0 0
Totale 104.305