A Journey into Bitcoin Metadata[J] JOURNAL OF GRID COMPUTING 2019(17) Bartoletti, Massimo Bellomy, Bryn Pompianu, Livio
VERIFYING LIQUIDITY OF RECURSIVE BITCOIN CONTRACTS[J] LOGICAL METHODS IN COMPUTER SCIENCE 2022(18) Bartoletti, Massimo Lande, Stefano Murgia, Maurizio Zunino, Roberto
A theory of transaction parallelism in blockchains[J] LOGICAL METHODS IN COMPUTER SCIENCE 2021(17) Bartoletti, Massimo Galletta, Letterio Murgia, Maurizio
