Massimo Bartoletti

Identifiers

• name variant Massimo Bartoletti 0.60 · backfill

Papers (11)

1. KindHML: formal verification of smart contracts based on Hennessy-Milner logic cs.CR · 2026 · author #1
2. Blockchain for social good: a quantitative analysis cs.CY · 2018 · author #1
3. Data mining for detecting Bitcoin Ponzi schemes cs.CR · 2018 · author #1
4. A general framework for blockchain analytics cs.CR · 2017 · author #1
5. An empirical analysis of smart contracts: platforms, applications, and design patterns cs.CR · 2017 · author #1
6. An analysis of Bitcoin OP_RETURN metadata cs.CR · 2017 · author #1
7. Proceedings 9th Interaction and Concurrency Experience cs.PL · 2016 · author #1
8. Combining behavioural types with security analysis cs.PL · 2015 · author #1
9. Contract agreements via logic cs.LO · 2013 · author #1
10. Honesty by Typing cs.PL · 2012 · author #1
11. On the realizability of contracts in dishonest systems cs.PL · 2012 · author #1

Mentions

• 1211.2609 #1 · backfill · confidence 0.70 Massimo Bartoletti
• 1201.6188 #1 · backfill · confidence 0.70 Massimo Bartoletti

Frequent Coauthors

• Livio Pompianu 4 shared papers
• Roberto Zunino 3 shared papers
• Emilio Tuosto 2 shared papers
• Hugo Torres Vieira 2 shared papers
• Sergio Serusi 2 shared papers
• Tiziana Cimoli 2 shared papers
• Alceste Scalas 1 shared papers
• Andrea Bracciali 1 shared papers
• Angelo Ferrando 1 shared papers
• Barbara Pes 1 shared papers
• Bernardo Toninho 1 shared papers
• Enrico Lipparini 1 shared papers
• Ilaria Castellani 1 shared papers
• Jorge A. P\'erez 1 shared papers
• Jovanka Pantovic 1 shared papers
• Ludovic Henrio 1 shared papers
• Mariangiola Dezani-Ciancaglini 1 shared papers
• Paolo Di Giamberardino 1 shared papers
• Peter Thiemann 1 shared papers
• Pierre-Malo Deni\'elou 1 shared papers