UNICA IRIS Institutional Research Information System

BARTOLETTI, MASSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 88.473
NA - Nord America 7.133
AS - Asia 2.459
SA - Sud America 409
AF - Africa 52
OC - Oceania 18
Continente sconosciuto - Info sul continente non disponibili 6
Totale 98.550
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 86.577
US - Stati Uniti d'America 7.079
CN - Cina 1.059
SG - Singapore 962
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 48
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
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
DO - Repubblica Dominicana 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
SN - Senegal 1
TH - Thailandia 1
TM - Turkmenistan 1
Totale 98.549
Salva come PNG Salva come JPEG
Città #
Cagliari 82.785
Uta 3.424
Fairfield 792
Woodbridge 634
Chandler 550
Ashburn 521
Singapore 473
Houston 465
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
The Dalles 99
Boston 91
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
Ho Chi Minh City 27
Frankfurt am Main 26
Hebei 26
New York 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.574
Salva come PNG Salva come JPEG
Nome #
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact 2.595
Cryptocurrency scams: analysis and perspectives 2.593
Data mining for detecting Bitcoin Ponzi schemes 2.563
A note on two notions of compliance 2.211
A Formal Model of Bitcoin Transactions 1.970
Contracts as games on event structures 1.916
Timed session types 1.766
Compliance and Subtyping in Timed Session Types 1.750
Circular causality in event structures 1.725
Lending Petri nets and contracts 1.696
Lending Petri nets 1.674
A contract-oriented middleware 1.668
Models of circular causality 1.588
A Proof-of-Stake protocol for consensus on Bitcoin subchains 1.565
Contract-Oriented design of distributed applications: A tutorial 1.558
Contract-oriented programming with timed session types 1.509
A general framework for blockchain analytics 1.489
SoK: Unraveling bitcoin smart contracts 1.487
A survey of attacks on Ethereum smart contracts (SoK) 1.458
BitML: A calculus for bitcoin smart contracts 1.449
Verifiable abstractions for contract-oriented systems 1.437
A Journey into Bitcoin Metadata 1.417
An empirical analysis of smart contracts: platforms, applications, and design patterns 1.401
Blockchain for social good: a quantitative analysis 1.369
Fun with bitcoin smart contracts 1.349
Honesty by typing 1.338
An analysis of bitcoin OP_RETURN metadata 1.282
Constant-deposit multiparty lotteries on Bitcoin 1.271
Vicious circles in contracts and in logic 1.256
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.151
Choreographies in the wild 1.128
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
Preface [ to: Proceedings 9th Interaction and Concurrency Experience] 970
Model checking usage policies 970
On the decidability of honesty and of its variants 968
null 943
A true concurrent model of smart contracts executions 941
Bitcoin Covenants Unchained 851
A Sound Up-to- n, δ Bisimilarity for PCTL 837
Honesty by typing 790
Towards a linear contract logic 729
Contract-Oriented Computing in CO2 690
Stack inspection and secure program transformations 630
A theory of transaction parallelism in blockchains 620
An event-based model for contracts 619
Computationally sound Bitcoin tokens 613
null 612
Towards a Theory of Decentralized Finance 610
Smart Contracts Contracts 607
SoK: Lending Pools in Decentralized Finance 606
A Formal Model of Algorand Smart Contracts 604
Verifying liquidity of recursive Bitcoin contracts 599
Static enforcement of service deadlines 596
History-based Access Control with Local Policies 584
Local Policies for Resource Usage Analysis 581
null 578
Static analysis for stack inspection 557
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 539
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
Sound approximate and asymptotic probabilistic bisimulations for PCTL 473
L'orientamento ai servizi 472
Plans for service composition 460
A theory of Automated Market Makers in DeFi 458
Method inlining in the presence of stack inspection 452
Language-based security: access control and static analysis 417
Types and Effects for Secure Service Orchestration 314
null 310
Primitives for Contract-based Synchronization 308
Contracts in Distributed Systems 306
null 300
A Theory of agreements and protection 299
null 295
Planning and Verifying Service Composition 289
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.606
Salva come PNG Salva come JPEG
Categoria #
all - tutte 137.093
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.093
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.346 340 251 741 298 535 181 0 0 0 0 0 0
Totale 98.931