Faderank: An Incremental Algorithm for Ranking Twitter Users. - Massimo Bartoletti; Stefano Lande; Alessandro Massa (WISE (2), 2016)

A general framework for blockchain analytics. - Massimo Bartoletti; Stefano Lande; Livio Pompianu; Andrea Bracciali (SERIAL@Middleware, 2017)

A general framework for Bitcoin analytics. - Massimo Bartoletti; Andrea Bracciali; Stefano Lande; Livio Pompianu (CoRR, 2017)

A formal model of Bitcoin transactions. - Nicola Atzei; Massimo Bartoletti; Stefano Lande; Roberto Zunino (IACR Cryptol. ePrint Arch., 2017)

A Proof-of-Stake protocol for consensus on Bitcoin subchains. - Massimo Bartoletti; Stefano Lande; Alessandro Sebastian Podda (IACR Cryptol. ePrint Arch., 2017)

SoK: unraveling Bitcoin smart contracts. - Nicola Atzei; Massimo Bartoletti; Tiziana Cimoli; Stefano Lande; Roberto Zunino (IACR Cryptol. ePrint Arch., 2018)

Developing secure bitcoin contracts with BitML. - Nicola Atzei; Massimo Bartoletti; Stefano Lande; Nobuko Yoshida; Roberto Zunino (ESEC/SIGSOFT FSE, 2019)

Bitcoin Covenants Unchained. - Massimo Bartoletti; Stefano Lande; Roberto Zunino (ISoLA (3), 2020)

Verification of recursive Bitcoin contracts. - Massimo Bartoletti; Stefano Lande; Maurizio Murgia 001; Roberto Zunino (CoRR, 2020)

Computationally sound Bitcoin tokens. - Massimo Bartoletti; Stefano Lande; Roberto Zunino (CSF, 2021)

Cryptocurrency Scams: Analysis and Perspectives. - Massimo Bartoletti; Stefano Lande; Andrea Loddo; Livio Pompianu; Sergio Serusi (IEEE Access, 2021)

Verifying liquidity of recursive Bitcoin contracts. - Massimo Bartoletti; Stefano Lande; Maurizio Murgia 001; Roberto Zunino (Log. Methods Comput. Sci., 2022)