UNICA IRIS Institutional Research Information System

BARTOLETTI, MASSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 80.176
NA - Nord America 5.947
AS - Asia 1.006
OC - Oceania 16
SA - Sud America 12
AF - Africa 11
Continente sconosciuto - Info sul continente non disponibili 6
Totale 87.174
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 78.627
US - Stati Uniti d'America 5.930
CN - Cina 683
SE - Svezia 477
UA - Ucraina 411
DE - Germania 196
SG - Singapore 161
GB - Regno Unito 139
FI - Finlandia 115
NL - Olanda 67
IN - India 52
VN - Vietnam 43
FR - Francia 34
BE - Belgio 19
RU - Federazione Russa 19
KR - Corea 16
AU - Australia 15
CA - Canada 15
IE - Irlanda 12
AT - Austria 10
MY - Malesia 10
HK - Hong Kong 9
JP - Giappone 8
BH - Bahrain 6
BR - Brasile 6
CZ - Repubblica Ceca 6
EU - Europa 6
PT - Portogallo 6
TW - Taiwan 6
CH - Svizzera 4
ES - Italia 4
HR - Croazia 4
HU - Ungheria 4
CO - Colombia 3
DK - Danimarca 3
MU - Mauritius 3
PL - Polonia 3
RS - Serbia 3
CI - Costa d'Avorio 2
EE - Estonia 2
IR - Iran 2
IS - Islanda 2
MX - Messico 2
PS - Palestinian Territory 2
TN - Tunisia 2
TR - Turchia 2
TZ - Tanzania 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AR - Argentina 1
BD - Bangladesh 1
CL - Cile 1
GR - Grecia 1
ID - Indonesia 1
IQ - Iraq 1
JO - Giordania 1
KE - Kenya 1
KH - Cambogia 1
LT - Lituania 1
LU - Lussemburgo 1
MD - Moldavia 1
ME - Montenegro 1
NG - Nigeria 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PE - Perù 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 87.174
Salva come PNG Salva come JPEG
Città #
Cagliari 75.930
Uta 2.429
Fairfield 792
Woodbridge 634
Chandler 550
Houston 465
Ashburn 414
Wilmington 384
Ann Arbor 360
Seattle 340
Boardman 312
Nyköping 276
Cambridge 261
Jacksonville 213
Dearborn 124
Shanghai 120
Nanjing 111
Singapore 106
Boston 85
Beijing 84
Naaldwijk 60
Helsinki 55
San Diego 50
Dong Ket 42
Guangzhou 34
Los Angeles 34
Redwood City 34
Hangzhou 29
Shenyang 29
Hebei 26
Pune 25
Jiaxing 20
Mountain View 19
Atlanta 18
Brussels 18
Norwalk 18
Sassari 18
Lake Forest 16
Verona 16
Nanchang 15
Jinan 14
London 14
New York 13
Orange 13
Tianjin 13
Changsha 12
Council Bluffs 12
Hefei 12
Milan 12
Zhengzhou 12
Chicago 11
Dublin 10
Kunming 10
Phoenix 10
Ningbo 9
Saint Petersburg 9
Washington 9
Auburn Hills 8
Sanluri 8
Toronto 8
Vienna 8
Wuhan 8
Nürnberg 7
Xian 7
Santa Clara 6
Shenzhen 6
Brno 5
Central 5
Chengdu 5
Hounslow 5
Olbia 5
Torino 5
Brisbane 4
Budapest 4
Irvine 4
Munich 4
Perugia 4
Redmond 4
San Francisco 4
Taizhou 4
Tappahannock 4
Zagreb 4
Baotou 3
Belgrade 3
Bogotá 3
Carbonia 3
Changchun 3
Cologne 3
Fuzhou 3
Hamburg 3
Indiana 3
Karlsruhe 3
Lyngby 3
L’Aquila 3
New Bedfont 3
Pierre 3
Porto Torres 3
Quartu Sant'elena 3
San Gavino Monreale 3
Taipei 3
Totale 84.951
Salva come PNG Salva come JPEG
Nome #
Data mining for detecting Bitcoin Ponzi schemes 2.452
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact 2.362
Cryptocurrency scams: analysis and perspectives 2.322
A note on two notions of compliance 2.083
A Formal Model of Bitcoin Transactions 1.831
Contracts as games on event structures 1.757
Timed session types 1.631
Compliance and Subtyping in Timed Session Types 1.608
Circular causality in event structures 1.604
Lending Petri nets and contracts 1.563
Lending Petri nets 1.546
A contract-oriented middleware 1.516
Models of circular causality 1.467
Contract-Oriented design of distributed applications: A tutorial 1.436
A Proof-of-Stake protocol for consensus on Bitcoin subchains 1.401
Contract-oriented programming with timed session types 1.364
A survey of attacks on Ethereum smart contracts (SoK) 1.357
SoK: Unraveling bitcoin smart contracts 1.337
A general framework for blockchain analytics 1.322
BitML: A calculus for bitcoin smart contracts 1.290
Verifiable abstractions for contract-oriented systems 1.284
An empirical analysis of smart contracts: platforms, applications, and design patterns 1.282
Blockchain for social good: a quantitative analysis 1.260
A Journey into Bitcoin Metadata 1.258
Fun with bitcoin smart contracts 1.228
Honesty by typing 1.176
An analysis of bitcoin OP_RETURN metadata 1.161
Constant-deposit multiparty lotteries on Bitcoin 1.155
Vicious circles in contracts and in logic 1.131
Progress-preserving refinements of CTA 1.120
Combining behavioural types with security analysis 1.105
Modelling and verifying contract-oriented systems in Maude 1.097
Developing honest Java programs with Diogenes 1.063
Compliance in behavioural contracts: a brief survey 1.049
Developing secure bitcoin contracts with BitML 1.035
null 1.026
Verifying Liquidity of Bitcoin Contracts 1.023
Choreographies in the wild 1.007
Faderank: an incremental algorithm for ranking Twitter users 987
Debits and Credits in Petri Nets and Linear Logic 970
A semantic deconstruction of session types 946
null 943
A Theory of Automated Market Makers in DeFi 926
The LTS WorkBench 917
Renegotiation and recursion in bitcoin contracts 908
On the decidability of honesty and of its variants 895
Model checking usage policies 870
Preface [ to: Proceedings 9th Interaction and Concurrency Experience] 866
A true concurrent model of smart contracts executions 790
Bitcoin Covenants Unchained 724
Honesty by typing 712
A Sound Up-to- n, δ Bisimilarity for PCTL 685
Towards a linear contract logic 624
null 612
Contract-Oriented Computing in CO2 600
null 578
Stack inspection and secure program transformations 538
Static enforcement of service deadlines 509
An event-based model for contracts 503
Local Policies for Resource Usage Analysis 496
Towards a Theory of Decentralized Finance 490
History-based Access Control with Local Policies 489
Smart Contracts Contracts 489
Static analysis for stack inspection 488
Program Transformations under Dynamic Security Policies 485
A Formal Model of Algorand Smart Contracts 478
Computationally sound Bitcoin tokens 476
SoK: Lending Pools in Decentralized Finance 466
A calculus of contracting processes 456
Verifying liquidity of recursive Bitcoin contracts 454
Securing Java with local policies 453
Formal Models of Bitcoin Contracts: A Survey 453
A theory of transaction parallelism in blockchains 450
Enforcing Secure Service Composition 450
Checking risky events is enough for local policies 442
On the Realizability of Contracts in Dishonest Systems 428
Circular causality in event structures 424
L'orientamento ai servizi 392
Plans for service composition 391
Method inlining in the presence of stack inspection 387
Language-based security: access control and static analysis 366
A theory of Automated Market Makers in DeFi 324
Sound approximate and asymptotic probabilistic bisimulations for PCTL 313
null 310
null 300
null 295
null 268
null 268
null 254
null 250
null 250
null 249
null 239
null 231
null 227
null 220
A Theory of agreements and protection 219
Types and Effects for Secure Service Orchestration 217
null 207
Contracts in Distributed Systems 207
Totale 84.563
Salva come PNG Salva come JPEG
Categoria #
all - tutte 114.679
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 114.679
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202012.888 0 0 0 353 5.182 3.441 1.799 606 346 411 297 453
2020/202118.571 603 647 977 5.996 4.004 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/202516.988 5.457 7.196 3.489 846 0 0 0 0 0 0 0 0
Totale 87.530