UNICA IRIS Institutional Research Information System

BARTOLETTI, MASSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 88.411
NA - Nord America 7.119
AS - Asia 2.398
SA - Sud America 406
AF - Africa 51
OC - Oceania 18
Continente sconosciuto - Info sul continente non disponibili 6
Totale 98.409
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 86.520
US - Stati Uniti d'America 7.067
CN - Cina 1.054
SG - Singapore 920
SE - Svezia 608
UA - Ucraina 415
BR - Brasile 353
DE - Germania 244
GB - Regno Unito 165
FI - Finlandia 119
VN - Vietnam 115
NL - Olanda 97
IN - India 75
FR - Francia 72
HK - Hong Kong 48
KR - Corea 44
CA - Canada 30
RU - Federazione Russa 30
BD - Bangladesh 23
BE - Belgio 21
PL - Polonia 19
AT - Austria 17
AU - Australia 16
MX - Messico 16
AR - Argentina 15
IE - Irlanda 14
ZA - Sudafrica 14
TR - Turchia 13
UZ - Uzbekistan 12
ES - Italia 11
IQ - Iraq 11
JP - Giappone 10
MA - Marocco 10
MY - Malesia 10
TW - Taiwan 10
CO - Colombia 8
BH - Bahrain 7
CZ - Repubblica Ceca 7
EC - Ecuador 7
PK - Pakistan 7
PT - Portogallo 7
PY - Paraguay 7
TN - Tunisia 7
EU - Europa 6
PE - Perù 6
HR - Croazia 5
VE - Venezuela 5
CH - Svizzera 4
EG - Egitto 4
HU - Ungheria 4
JO - Giordania 4
KE - Kenya 4
RS - Serbia 4
AZ - Azerbaigian 3
CI - Costa d'Avorio 3
CL - Cile 3
DK - Danimarca 3
EE - Estonia 3
GR - Grecia 3
ID - Indonesia 3
IL - Israele 3
IR - Iran 3
KG - Kirghizistan 3
MU - Mauritius 3
PS - Palestinian Territory 3
RO - Romania 3
SA - Arabia Saudita 3
AE - Emirati Arabi Uniti 2
AM - Armenia 2
BO - Bolivia 2
DO - Repubblica Dominicana 2
HN - Honduras 2
IS - Islanda 2
LA - Repubblica Popolare Democratica del Laos 2
LT - Lituania 2
MD - Moldavia 2
NO - Norvegia 2
SK - Slovacchia (Repubblica Slovacca) 2
TZ - Tanzania 2
AL - Albania 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
CR - Costa Rica 1
GA - Gabon 1
GE - Georgia 1
JM - Giamaica 1
KH - Cambogia 1
KW - Kuwait 1
LK - Sri Lanka 1
LU - Lussemburgo 1
LV - Lettonia 1
ME - Montenegro 1
ML - Mali 1
NG - Nigeria 1
NP - Nepal 1
NZ - Nuova Zelanda 1
OM - Oman 1
SN - Senegal 1
TH - Thailandia 1
TM - Turkmenistan 1
Totale 98.408
Salva come PNG Salva come JPEG
Città #
Cagliari 82.730
Uta 3.424
Fairfield 792
Woodbridge 634
Chandler 550
Ashburn 520
Houston 465
Singapore 431
Wilmington 384
Dallas 376
Ann Arbor 360
Seattle 345
Boardman 315
Nyköping 276
Cambridge 261
Jacksonville 213
Beijing 199
Shanghai 129
Dearborn 124
Los Angeles 112
Nanjing 112
Santa Clara 106
Boston 91
The Dalles 90
Hefei 64
Naaldwijk 60
Helsinki 58
San Diego 50
Buffalo 42
Dong Ket 42
Hong Kong 36
Guangzhou 35
São Paulo 35
Redwood City 34
Hangzhou 33
Milan 31
Seoul 30
Shenyang 30
Atlanta 27
Council Bluffs 27
Frankfurt am Main 26
Hebei 26
New York 26
Pune 26
Ho Chi Minh City 25
London 24
Chicago 23
Jiaxing 21
Mountain View 19
Sassari 19
Amsterdam 18
Brussels 18
Norwalk 18
Columbus 17
Phoenix 17
Redondo Beach 17
Verona 17
Hanoi 16
Lake Forest 16
Nanchang 16
Tianjin 16
Jinan 15
Warsaw 15
Zhengzhou 14
Brooklyn 13
Changsha 13
Orange 13
Belo Horizonte 12
Dublin 12
Düsseldorf 12
Vienna 12
Kunming 10
Montreal 10
Tashkent 10
Johannesburg 9
Ningbo 9
Nuremberg 9
Saint Petersburg 9
Toronto 9
Washington 9
Amersfoort 8
Ankara 8
Auburn Hills 8
Campinas 8
Chennai 8
Porto Alegre 8
Rio de Janeiro 8
Rome 8
San Francisco 8
Sanluri 8
Trento 8
Wuhan 8
Curitiba 7
Denver 7
Lauterbourg 7
Munich 7
Nürnberg 7
Xian 7
Elk Grove Village 6
Hounslow 6
Totale 94.459
Salva come PNG Salva come JPEG
Nome #
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact 2.595
Cryptocurrency scams: analysis and perspectives 2.584
Data mining for detecting Bitcoin Ponzi schemes 2.560
A note on two notions of compliance 2.211
A Formal Model of Bitcoin Transactions 1.968
Contracts as games on event structures 1.916
Timed session types 1.760
Compliance and Subtyping in Timed Session Types 1.749
Circular causality in event structures 1.725
Lending Petri nets and contracts 1.696
Lending Petri nets 1.674
A contract-oriented middleware 1.664
Models of circular causality 1.588
A Proof-of-Stake protocol for consensus on Bitcoin subchains 1.563
Contract-Oriented design of distributed applications: A tutorial 1.556
Contract-oriented programming with timed session types 1.508
SoK: Unraveling bitcoin smart contracts 1.485
A general framework for blockchain analytics 1.483
A survey of attacks on Ethereum smart contracts (SoK) 1.456
BitML: A calculus for bitcoin smart contracts 1.443
Verifiable abstractions for contract-oriented systems 1.434
A Journey into Bitcoin Metadata 1.417
An empirical analysis of smart contracts: platforms, applications, and design patterns 1.399
Blockchain for social good: a quantitative analysis 1.368
Fun with bitcoin smart contracts 1.346
Honesty by typing 1.337
An analysis of bitcoin OP_RETURN metadata 1.279
Constant-deposit multiparty lotteries on Bitcoin 1.271
Vicious circles in contracts and in logic 1.255
Combining behavioural types with security analysis 1.239
Progress-preserving refinements of CTA 1.227
Developing honest Java programs with Diogenes 1.195
Modelling and verifying contract-oriented systems in Maude 1.188
Compliance in behavioural contracts: a brief survey 1.151
Developing secure bitcoin contracts with BitML 1.150
Choreographies in the wild 1.127
Verifying Liquidity of Bitcoin Contracts 1.109
Debits and Credits in Petri Nets and Linear Logic 1.096
A semantic deconstruction of session types 1.086
Faderank: an incremental algorithm for ranking Twitter users 1.086
The LTS WorkBench 1.038
null 1.026
Renegotiation and recursion in bitcoin contracts 1.018
null 997
Model checking usage policies 969
Preface [ to: Proceedings 9th Interaction and Concurrency Experience] 968
On the decidability of honesty and of its variants 966
null 943
A true concurrent model of smart contracts executions 941
Bitcoin Covenants Unchained 846
A Sound Up-to- n, δ Bisimilarity for PCTL 836
Honesty by typing 790
Towards a linear contract logic 729
Contract-Oriented Computing in CO2 689
Stack inspection and secure program transformations 630
A theory of transaction parallelism in blockchains 619
An event-based model for contracts 618
null 612
Towards a Theory of Decentralized Finance 609
Computationally sound Bitcoin tokens 608
Smart Contracts Contracts 607
SoK: Lending Pools in Decentralized Finance 604
A Formal Model of Algorand Smart Contracts 602
Static enforcement of service deadlines 596
Verifying liquidity of recursive Bitcoin contracts 593
History-based Access Control with Local Policies 584
Local Policies for Resource Usage Analysis 581
null 578
Static analysis for stack inspection 556
Program Transformations under Dynamic Security Policies 552
Circular causality in event structures 545
Formal Models of Bitcoin Contracts: A Survey 541
A calculus of contracting processes 538
Securing Java with local policies 536
Enforcing Secure Service Composition 529
Checking risky events is enough for local policies 511
On the Realizability of Contracts in Dishonest Systems 493
L'orientamento ai servizi 472
Sound approximate and asymptotic probabilistic bisimulations for PCTL 470
Plans for service composition 460
A theory of Automated Market Makers in DeFi 455
Method inlining in the presence of stack inspection 452
Language-based security: access control and static analysis 416
Types and Effects for Secure Service Orchestration 314
null 310
Primitives for Contract-based Synchronization 307
Contracts in Distributed Systems 304
null 300
A Theory of agreements and protection 299
null 295
Planning and Verifying Service Composition 288
Type and Effects for Resource Usage Analysis 287
Secure Service Orchestration 285
Model checking usage policies 269
Contract agreement via logic 269
null 268
null 268
Jalapa: Securing Java with Local Policies 263
Tools and Verification 254
null 254
Totale 94.501
Salva come PNG Salva come JPEG
Categoria #
all - tutte 136.817
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 136.817
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20216.344 0 0 0 0 0 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/202526.043 5.457 7.196 3.489 3.020 2.058 1.802 1.738 185 276 272 277 273
2025/20262.205 340 251 741 298 535 40 0 0 0 0 0 0
Totale 98.790