UNICA IRIS Institutional Research Information System

BARTOLETTI, MASSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 88.504
NA - Nord America 7.143
AS - Asia 2.591
SA - Sud America 409
AF - Africa 52
OC - Oceania 18
Continente sconosciuto - Info sul continente non disponibili 6
Totale 98.723
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 86.608
US - Stati Uniti d'America 7.088
SG - Singapore 1.086
CN - Cina 1.062
SE - Svezia 608
UA - Ucraina 415
BR - Brasile 355
DE - Germania 249
GB - Regno Unito 165
VN - Vietnam 126
FI - Finlandia 119
NL - Olanda 97
IN - India 76
FR - Francia 72
HK - Hong Kong 52
KR - Corea 44
CA - Canada 30
RU - Federazione Russa 30
BD - Bangladesh 24
BE - Belgio 21
PL - Polonia 19
AT - Austria 17
MX - Messico 17
AU - Australia 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
PK - Pakistan 8
TN - Tunisia 8
BH - Bahrain 7
CZ - Repubblica Ceca 7
EC - Ecuador 7
PT - Portogallo 7
PY - Paraguay 7
EU - Europa 6
PE - Perù 6
VE - Venezuela 6
HR - Croazia 5
CH - Svizzera 4
DO - Repubblica Dominicana 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
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
PH - Filippine 1
SN - Senegal 1
TH - Thailandia 1
Totale 98.721
Salva come PNG Salva come JPEG
Città #
Cagliari 82.815
Uta 3.424
Fairfield 792
Woodbridge 634
Chandler 550
Ashburn 522
Singapore 492
Houston 465
Wilmington 384
Dallas 376
Ann Arbor 360
Seattle 345
Boardman 315
Nyköping 276
Cambridge 261
Jacksonville 213
Beijing 199
Shanghai 130
Dearborn 124
Los Angeles 112
Nanjing 112
Santa Clara 107
The Dalles 103
Boston 91
Hefei 64
Naaldwijk 60
Helsinki 58
San Diego 50
Buffalo 42
Dong Ket 42
Hong Kong 37
Guangzhou 35
São Paulo 35
Redwood City 34
Hangzhou 33
Milan 31
Seoul 30
Shenyang 30
Council Bluffs 29
Atlanta 27
Ho Chi Minh City 27
New York 27
Frankfurt am Main 26
Hebei 26
Pune 26
London 24
Chicago 23
Jiaxing 21
Hanoi 19
Mountain View 19
Sassari 19
Amsterdam 18
Brussels 18
Norwalk 18
Columbus 17
Phoenix 17
Redondo Beach 17
Tianjin 17
Verona 17
Jinan 16
Lake Forest 16
Nanchang 16
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
Bremen 7
Curitiba 7
Denver 7
Lauterbourg 7
Munich 7
Nürnberg 7
Xian 7
Dhaka 6
Totale 94.634
Salva come PNG Salva come JPEG
Nome #
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact 2.596
Cryptocurrency scams: analysis and perspectives 2.594
Data mining for detecting Bitcoin Ponzi schemes 2.564
A note on two notions of compliance 2.212
A Formal Model of Bitcoin Transactions 1.971
Contracts as games on event structures 1.917
Timed session types 1.767
Compliance and Subtyping in Timed Session Types 1.751
Circular causality in event structures 1.729
Lending Petri nets and contracts 1.698
Lending Petri nets 1.677
A contract-oriented middleware 1.669
Models of circular causality 1.589
A Proof-of-Stake protocol for consensus on Bitcoin subchains 1.566
Contract-Oriented design of distributed applications: A tutorial 1.559
Contract-oriented programming with timed session types 1.510
A general framework for blockchain analytics 1.491
SoK: Unraveling bitcoin smart contracts 1.489
A survey of attacks on Ethereum smart contracts (SoK) 1.459
BitML: A calculus for bitcoin smart contracts 1.451
Verifiable abstractions for contract-oriented systems 1.439
A Journey into Bitcoin Metadata 1.423
An empirical analysis of smart contracts: platforms, applications, and design patterns 1.402
Blockchain for social good: a quantitative analysis 1.371
Fun with bitcoin smart contracts 1.350
Honesty by typing 1.339
An analysis of bitcoin OP_RETURN metadata 1.283
Constant-deposit multiparty lotteries on Bitcoin 1.272
Vicious circles in contracts and in logic 1.258
Combining behavioural types with security analysis 1.241
Progress-preserving refinements of CTA 1.229
Developing honest Java programs with Diogenes 1.196
Modelling and verifying contract-oriented systems in Maude 1.189
Compliance in behavioural contracts: a brief survey 1.153
Developing secure bitcoin contracts with BitML 1.152
Choreographies in the wild 1.130
Verifying Liquidity of Bitcoin Contracts 1.110
Debits and Credits in Petri Nets and Linear Logic 1.097
A semantic deconstruction of session types 1.087
Faderank: an incremental algorithm for ranking Twitter users 1.087
The LTS WorkBench 1.041
null 1.026
Renegotiation and recursion in bitcoin contracts 1.020
null 997
Model checking usage policies 972
Preface [ to: Proceedings 9th Interaction and Concurrency Experience] 971
On the decidability of honesty and of its variants 969
null 943
A true concurrent model of smart contracts executions 942
Bitcoin Covenants Unchained 853
A Sound Up-to- n, δ Bisimilarity for PCTL 838
Honesty by typing 791
Towards a linear contract logic 730
Contract-Oriented Computing in CO2 691
Stack inspection and secure program transformations 635
A theory of transaction parallelism in blockchains 621
An event-based model for contracts 620
Computationally sound Bitcoin tokens 614
null 612
Towards a Theory of Decentralized Finance 612
Smart Contracts Contracts 608
SoK: Lending Pools in Decentralized Finance 607
A Formal Model of Algorand Smart Contracts 605
Verifying liquidity of recursive Bitcoin contracts 601
Static enforcement of service deadlines 598
History-based Access Control with Local Policies 586
Local Policies for Resource Usage Analysis 582
null 578
Static analysis for stack inspection 558
Program Transformations under Dynamic Security Policies 553
Circular causality in event structures 548
Formal Models of Bitcoin Contracts: A Survey 543
A calculus of contracting processes 541
Securing Java with local policies 540
Enforcing Secure Service Composition 531
Checking risky events is enough for local policies 513
On the Realizability of Contracts in Dishonest Systems 495
Sound approximate and asymptotic probabilistic bisimulations for PCTL 474
L'orientamento ai servizi 474
Plans for service composition 462
A theory of Automated Market Makers in DeFi 459
Method inlining in the presence of stack inspection 455
Language-based security: access control and static analysis 419
Types and Effects for Secure Service Orchestration 316
null 310
Primitives for Contract-based Synchronization 310
Contracts in Distributed Systems 307
A Theory of agreements and protection 300
null 300
null 295
Planning and Verifying Service Composition 293
Type and Effects for Resource Usage Analysis 288
Secure Service Orchestration 287
Model checking usage policies 271
Contract agreement via logic 270
null 268
null 268
Jalapa: Securing Java with Local Policies 265
Tools and Verification 257
null 254
Totale 94.754
Salva come PNG Salva come JPEG
Categoria #
all - tutte 137.575
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 137.575
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.520 340 251 741 298 535 355 0 0 0 0 0 0
Totale 99.105