UNICA IRIS Institutional Research Information System

BARTOLETTI, MASSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 90.763
NA - Nord America 8.301
AS - Asia 3.462
SA - Sud America 485
Continente sconosciuto - Info sul continente non disponibili 400
AF - Africa 85
OC - Oceania 19
Totale 103.515
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 88.654
US - Stati Uniti d'America 8.192
SG - Singapore 1.403
CN - Cina 1.218
SE - Svezia 617
UA - Ucraina 415
BR - Brasile 393
VN - Vietnam 279
DE - Germania 266
GB - Regno Unito 179
FR - Francia 172
FI - Finlandia 165
IN - India 120
HK - Hong Kong 110
NL - Olanda 99
BD - Bangladesh 65
CA - Canada 55
KR - Corea 45
IQ - Iraq 38
RU - Federazione Russa 33
PL - Polonia 25
AR - Argentina 24
BE - Belgio 22
MX - Messico 22
TR - Turchia 22
ZA - Sudafrica 22
PK - Pakistan 19
MY - Malesia 18
UZ - Uzbekistan 18
AT - Austria 17
AU - Australia 17
CO - Colombia 17
IE - Irlanda 16
JP - Giappone 16
MA - Marocco 15
ES - Italia 14
TW - Taiwan 12
VE - Venezuela 12
CL - Cile 10
EC - Ecuador 9
ID - Indonesia 9
TN - Tunisia 9
HN - Honduras 8
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
SA - Arabia Saudita 6
HR - Croazia 5
JM - Giamaica 5
BO - Bolivia 4
CR - Costa Rica 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
CI - Costa d'Avorio 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
TT - Trinidad e Tobago 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
NI - Nicaragua 2
PR - Porto Rico 2
SK - Slovacchia (Repubblica Slovacca) 2
TZ - Tanzania 2
BA - Bosnia-Erzegovina 1
Totale 103.102
Salva come PNG Salva come JPEG
Città #
Cagliari 84.787
Uta 3.424
Fairfield 792
Singapore 744
Woodbridge 634
Ashburn 614
Chandler 551
Houston 466
San Jose 423
Wilmington 388
Dallas 383
Ann Arbor 360
Seattle 347
Boardman 319
Nyköping 276
Cambridge 261
Jacksonville 217
Beijing 215
Los Angeles 166
Council Bluffs 144
The Dalles 138
Shanghai 133
Santa Clara 127
Dearborn 125
Nanjing 112
Helsinki 104
Lauterbourg 96
Boston 92
Ho Chi Minh City 84
Hong Kong 82
Hefei 64
Naaldwijk 60
Hanoi 54
San Diego 51
Buffalo 49
New York 49
Dong Ket 42
Guangzhou 37
Hangzhou 37
Milan 37
São Paulo 36
Columbus 35
Redwood City 34
Frankfurt am Main 33
Chicago 32
Atlanta 30
Seoul 30
Shenyang 30
Hebei 26
London 26
Phoenix 26
Pune 26
Orem 25
Jiaxing 21
Verona 21
Amsterdam 19
Mountain View 19
Norwalk 19
Sassari 19
Tianjin 19
Brussels 18
Chennai 18
Brooklyn 17
Redondo Beach 17
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 98.094
Salva come PNG Salva come JPEG
Nome #
Cryptocurrency scams: analysis and perspectives 2.717
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact 2.656
Data mining for detecting Bitcoin Ponzi schemes 2.618
A note on two notions of compliance 2.261
A Formal Model of Bitcoin Transactions 2.022
Contracts as games on event structures 1.949
Timed session types 1.801
Compliance and Subtyping in Timed Session Types 1.798
Circular causality in event structures 1.782
Lending Petri nets and contracts 1.743
Lending Petri nets 1.719
A contract-oriented middleware 1.718
Models of circular causality 1.625
A Proof-of-Stake protocol for consensus on Bitcoin subchains 1.615
Contract-Oriented design of distributed applications: A tutorial 1.598
Contract-oriented programming with timed session types 1.564
A general framework for blockchain analytics 1.535
SoK: Unraveling bitcoin smart contracts 1.533
A survey of attacks on Ethereum smart contracts (SoK) 1.520
BitML: A calculus for bitcoin smart contracts 1.507
A Journey into Bitcoin Metadata 1.491
Verifiable abstractions for contract-oriented systems 1.490
An empirical analysis of smart contracts: platforms, applications, and design patterns 1.441
Blockchain for social good: a quantitative analysis 1.416
Fun with bitcoin smart contracts 1.376
Honesty by typing 1.370
An analysis of bitcoin OP_RETURN metadata 1.326
Constant-deposit multiparty lotteries on Bitcoin 1.304
Vicious circles in contracts and in logic 1.293
Combining behavioural types with security analysis 1.275
Progress-preserving refinements of CTA 1.271
Developing honest Java programs with Diogenes 1.242
Modelling and verifying contract-oriented systems in Maude 1.229
Compliance in behavioural contracts: a brief survey 1.210
Developing secure bitcoin contracts with BitML 1.204
Choreographies in the wild 1.167
Debits and Credits in Petri Nets and Linear Logic 1.164
Verifying Liquidity of Bitcoin Contracts 1.147
A semantic deconstruction of session types 1.123
Faderank: an incremental algorithm for ranking Twitter users 1.121
The LTS WorkBench 1.088
Renegotiation and recursion in bitcoin contracts 1.060
null 1.026
Model checking usage policies 1.026
On the decidability of honesty and of its variants 999
Preface [ to: Proceedings 9th Interaction and Concurrency Experience] 999
null 997
A true concurrent model of smart contracts executions 984
null 943
Bitcoin Covenants Unchained 891
A Sound Up-to- n, δ Bisimilarity for PCTL 881
Honesty by typing 811
Towards a linear contract logic 775
Contract-Oriented Computing in CO2 726
Stack inspection and secure program transformations 682
A theory of transaction parallelism in blockchains 673
An event-based model for contracts 659
Verifying liquidity of recursive Bitcoin contracts 657
Computationally sound Bitcoin tokens 656
Towards a Theory of Decentralized Finance 653
A Formal Model of Algorand Smart Contracts 650
Smart Contracts Contracts 647
SoK: Lending Pools in Decentralized Finance 633
History-based Access Control with Local Policies 628
Static enforcement of service deadlines 627
null 612
Local Policies for Resource Usage Analysis 607
Circular causality in event structures 592
Securing Java with local policies 591
Static analysis for stack inspection 581
null 578
Program Transformations under Dynamic Security Policies 572
A calculus of contracting processes 571
Formal Models of Bitcoin Contracts: A Survey 567
Checking risky events is enough for local policies 563
Enforcing Secure Service Composition 559
On the Realizability of Contracts in Dishonest Systems 521
Sound approximate and asymptotic probabilistic bisimulations for PCTL 515
A theory of Automated Market Makers in DeFi 509
L'orientamento ai servizi 506
Plans for service composition 493
Method inlining in the presence of stack inspection 482
Language-based security: access control and static analysis 457
Primitives for Contract-based Synchronization 351
Types and Effects for Secure Service Orchestration 350
Planning and Verifying Service Composition 331
A Theory of agreements and protection 328
Type and Effects for Resource Usage Analysis 325
Contracts in Distributed Systems 323
null 310
Secure Service Orchestration 307
Model checking usage policies 307
Tools and Verification 304
Contract agreement via logic 304
Jalapa: Securing Java with Local Policies 302
null 300
null 295
Usage automata 287
Hard Life with Weak Binders 287
Call-by-contract for service discovery, orchestration and recovery 271
Totale 98.470
Salva come PNG Salva come JPEG
Categoria #
all - tutte 147.993
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 147.993
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20224.731 0 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.476 340 251 741 298 535 406 2.080 206 449 440 458 272
2026/2027454 114 340 0 0 0 0 0 0 0 0 0 0
Totale 103.515