UNICA IRIS Institutional Research Information System

BARTOLETTI, MASSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 90.536
NA - Nord America 8.078
AS - Asia 3.448
SA - Sud America 480
AF - Africa 85
OC - Oceania 19
Continente sconosciuto - Info sul continente non disponibili 6
Totale 102.652
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 88.434
US - Stati Uniti d'America 7.983
SG - Singapore 1.396
CN - Cina 1.213
SE - Svezia 617
UA - Ucraina 415
BR - Brasile 392
VN - Vietnam 279
DE - Germania 265
GB - Regno Unito 179
FR - Francia 171
FI - Finlandia 165
IN - India 120
HK - Hong Kong 108
NL - Olanda 99
BD - Bangladesh 65
CA - Canada 50
KR - Corea 45
IQ - Iraq 38
RU - Federazione Russa 33
AR - Argentina 23
BE - Belgio 22
PL - Polonia 22
TR - Turchia 22
ZA - Sudafrica 22
MX - Messico 20
PK - Pakistan 19
MY - Malesia 18
UZ - Uzbekistan 18
AT - Austria 17
AU - Australia 17
CO - Colombia 16
IE - Irlanda 16
JP - Giappone 16
MA - Marocco 15
ES - Italia 12
TW - Taiwan 12
VE - Venezuela 12
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
CH - Svizzera 6
EG - Egitto 6
EU - Europa 6
HN - Honduras 6
SA - Arabia Saudita 6
HR - Croazia 5
JM - Giamaica 5
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
CR - Costa Rica 3
DK - Danimarca 3
DZ - Algeria 3
EE - Estonia 3
GE - Georgia 3
GR - Grecia 3
IR - Iran 3
KG - Kirghizistan 3
LT - Lituania 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
GT - Guatemala 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
BG - Bulgaria 1
KH - Cambogia 1
Totale 102.634
Salva come PNG Salva come JPEG
Città #
Cagliari 84.581
Uta 3.424
Fairfield 792
Singapore 741
Woodbridge 634
Ashburn 600
Chandler 551
Houston 466
San Jose 417
Wilmington 388
Dallas 382
Ann Arbor 360
Seattle 347
Boardman 318
Nyköping 276
Cambridge 261
Jacksonville 217
Beijing 210
Los Angeles 162
Shanghai 133
The Dalles 133
Dearborn 125
Santa Clara 120
Nanjing 112
Helsinki 104
Lauterbourg 96
Boston 92
Ho Chi Minh City 84
Hong Kong 80
Council Bluffs 65
Hefei 64
Naaldwijk 60
Hanoi 54
San Diego 51
Buffalo 48
New York 46
Dong Ket 42
Guangzhou 37
Hangzhou 37
Milan 36
São Paulo 36
Redwood City 34
Frankfurt am Main 33
Seoul 30
Shenyang 30
Atlanta 29
Chicago 29
Hebei 26
London 26
Pune 26
Orem 25
Phoenix 24
Jiaxing 21
Verona 21
Columbus 20
Amsterdam 19
Mountain View 19
Norwalk 19
Sassari 19
Tianjin 19
Brussels 18
Chennai 18
Redondo Beach 17
Brooklyn 16
Da Nang 16
Jinan 16
Lake Forest 16
Nanchang 16
Baghdad 15
Tashkent 15
Warsaw 15
Zhengzhou 15
Changsha 14
Dublin 14
Montreal 13
Nuremberg 13
Orange 13
Rome 13
Belo Horizonte 12
Düsseldorf 12
Vienna 12
Johannesburg 11
Kunming 11
Toronto 11
Shenzhen 10
Washington 10
Denver 9
Haiphong 9
Naples 9
Ningbo 9
Porto Alegre 9
Rio de Janeiro 9
Saint Petersburg 9
San Francisco 9
Tokyo 9
Amersfoort 8
Ankara 8
Auburn Hills 8
Campinas 8
Dhaka 8
Totale 97.734
Salva come PNG Salva come JPEG
Nome #
Cryptocurrency scams: analysis and perspectives 2.709
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact 2.655
Data mining for detecting Bitcoin Ponzi schemes 2.615
A note on two notions of compliance 2.258
A Formal Model of Bitcoin Transactions 2.018
Contracts as games on event structures 1.948
Timed session types 1.798
Compliance and Subtyping in Timed Session Types 1.795
Circular causality in event structures 1.774
Lending Petri nets and contracts 1.737
A contract-oriented middleware 1.717
Lending Petri nets 1.713
Models of circular causality 1.618
A Proof-of-Stake protocol for consensus on Bitcoin subchains 1.612
Contract-Oriented design of distributed applications: A tutorial 1.593
Contract-oriented programming with timed session types 1.562
A general framework for blockchain analytics 1.530
SoK: Unraveling bitcoin smart contracts 1.529
A survey of attacks on Ethereum smart contracts (SoK) 1.508
BitML: A calculus for bitcoin smart contracts 1.483
A Journey into Bitcoin Metadata 1.481
Verifiable abstractions for contract-oriented systems 1.479
An empirical analysis of smart contracts: platforms, applications, and design patterns 1.438
Blockchain for social good: a quantitative analysis 1.414
Fun with bitcoin smart contracts 1.375
Honesty by typing 1.367
An analysis of bitcoin OP_RETURN metadata 1.322
Constant-deposit multiparty lotteries on Bitcoin 1.302
Vicious circles in contracts and in logic 1.292
Combining behavioural types with security analysis 1.273
Progress-preserving refinements of CTA 1.266
Developing honest Java programs with Diogenes 1.238
Modelling and verifying contract-oriented systems in Maude 1.229
Compliance in behavioural contracts: a brief survey 1.209
Developing secure bitcoin contracts with BitML 1.197
Choreographies in the wild 1.163
Debits and Credits in Petri Nets and Linear Logic 1.154
Verifying Liquidity of Bitcoin Contracts 1.140
A semantic deconstruction of session types 1.123
Faderank: an incremental algorithm for ranking Twitter users 1.117
The LTS WorkBench 1.082
Renegotiation and recursion in bitcoin contracts 1.057
null 1.026
Model checking usage policies 1.020
Preface [ to: Proceedings 9th Interaction and Concurrency Experience] 999
null 997
On the decidability of honesty and of its variants 995
A true concurrent model of smart contracts executions 978
null 943
Bitcoin Covenants Unchained 883
A Sound Up-to- n, δ Bisimilarity for PCTL 880
Honesty by typing 810
Towards a linear contract logic 774
Contract-Oriented Computing in CO2 724
Stack inspection and secure program transformations 676
A theory of transaction parallelism in blockchains 665
An event-based model for contracts 656
Verifying liquidity of recursive Bitcoin contracts 654
Computationally sound Bitcoin tokens 652
A Formal Model of Algorand Smart Contracts 644
Towards a Theory of Decentralized Finance 644
Smart Contracts Contracts 642
SoK: Lending Pools in Decentralized Finance 626
History-based Access Control with Local Policies 625
Static enforcement of service deadlines 623
null 612
Local Policies for Resource Usage Analysis 605
Circular causality in event structures 584
Securing Java with local policies 581
Static analysis for stack inspection 579
null 578
Program Transformations under Dynamic Security Policies 569
A calculus of contracting processes 567
Formal Models of Bitcoin Contracts: A Survey 565
Checking risky events is enough for local policies 561
Enforcing Secure Service Composition 556
On the Realizability of Contracts in Dishonest Systems 520
Sound approximate and asymptotic probabilistic bisimulations for PCTL 512
A theory of Automated Market Makers in DeFi 507
L'orientamento ai servizi 505
Plans for service composition 491
Method inlining in the presence of stack inspection 479
Language-based security: access control and static analysis 454
Primitives for Contract-based Synchronization 348
Types and Effects for Secure Service Orchestration 347
Planning and Verifying Service Composition 327
Type and Effects for Resource Usage Analysis 324
A Theory of agreements and protection 324
Contracts in Distributed Systems 319
null 310
Secure Service Orchestration 304
Model checking usage policies 303
Contract agreement via logic 303
Tools and Verification 301
null 300
Jalapa: Securing Java with Local Policies 297
null 295
Usage automata 283
Hard Life with Weak Binders 282
null 268
Totale 98.086
Salva come PNG Salva come JPEG
Categoria #
all - tutte 145.165
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 145.165
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021901 0 0 0 0 0 0 0 0 0 0 0 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/20266.460 340 251 741 298 535 406 2.080 206 449 440 458 256
Totale 103.045