BARTOLETTI, MASSIMO

BARTOLETTI, MASSIMO  

DIPARTIMENTO DI MATEMATICA ED INFORMATICA  

Mostra records
Risultati 1 - 20 di 96 (tempo di esecuzione: 0.027 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
Sound approximate and asymptotic probabilistic bisimulations for PCTL 1-gen-2023 Bartoletti, M.; Murgia, M.; Zunino, R. LOGICAL METHODS IN COMPUTER SCIENCE -
A Sound Up-to- n, δ Bisimilarity for PCTL 1-gen-2022 Bartoletti, M.; Murgia, M.; Zunino, R. - Springer Science and Business Media Deutschland GmbH
A theory of Automated Market Makers in DeFi 1-gen-2022 Bartoletti, M.; Chiang, J. H. -Y.; Lluch-Lafuente, A. LOGICAL METHODS IN COMPUTER SCIENCE -
Verifying liquidity of recursive Bitcoin contracts 1-gen-2022 Bartoletti, M.; Lande, S.; Murgia, M.; Zunino, R. LOGICAL METHODS IN COMPUTER SCIENCE -
A Formal Model of Algorand Smart Contracts 1-gen-2021 Bartoletti, M.; Bracciali, A.; Lepore, C.; Scalas, A.; Zunino, R. - Springer Science and Business Media Deutschland GmbH
A Theory of Automated Market Makers in DeFi 1-gen-2021 Bartoletti, M.; Chiang, J. H. -Y.; Lluch-Lafuente, A. - Springer
A theory of transaction parallelism in blockchains 1-gen-2021 Bartoletti, M.; Galletta, L.; Murgia, M. LOGICAL METHODS IN COMPUTER SCIENCE -
Computationally sound Bitcoin tokens 1-gen-2021 Bartoletti, M.; Lande, S.; Zunino, R. - IEEE Computer Society
Cryptocurrency scams: analysis and perspectives 1-gen-2021 Bartoletti, M.; Lande, S.; Loddo, A.; Pompianu, L.; Serusi, S. IEEE ACCESS -
SoK: Lending Pools in Decentralized Finance 1-gen-2021 Bartoletti, M.; Chiang, J. H. -Y.; Lafuente, A. L. - Springer Science and Business Media Deutschland GmbH
Towards a Theory of Decentralized Finance 1-gen-2021 Bartoletti, M.; Chiang, J. H. -Y.; Lafuente, A. L. - Springer Science and Business Media Deutschland GmbH
A true concurrent model of smart contracts executions 1-gen-2020 Bartoletti, M.; Galletta, L.; Murgia, M. - Springer
Bitcoin Covenants Unchained 1-gen-2020 Bartoletti, M.; Lande, S.; Zunino, R. - Springer
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact 1-gen-2020 Bartoletti, Massimo; Carta, SALVATORE MARIO; Cimoli, Tiziana; Saia, Roberto FUTURE GENERATION COMPUTER SYSTEMS -
Renegotiation and recursion in bitcoin contracts 1-gen-2020 Bartoletti, M.; Murgia, M.; Zunino, R. - Springer
Smart Contracts Contracts 1-gen-2020 Bartoletti, M FRONTIERS IN BLOCKCHAIN -
A Journey into Bitcoin Metadata 1-gen-2019 Bartoletti, Massimo; Bellomy, Bryn; Pompianu, Livio JOURNAL OF GRID COMPUTING -
Developing secure bitcoin contracts with BitML 1-gen-2019 Atzei, N.; Bartoletti, M.; Lande, S.; Yoshida, N.; Zunino, R. - Association for Computing Machinery
Formal Models of Bitcoin Contracts: A Survey 1-gen-2019 Bartoletti, M; Zunino, R FRONTIERS IN BLOCKCHAIN -
Verifying Liquidity of Bitcoin Contracts 1-gen-2019 Bartoletti, M.; Zunino, R. - Springer