BARTOLETTI, MASSIMO
BARTOLETTI, MASSIMO
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
A calculus of contracting processes
2010-01-01 Bartoletti, Massimo; Roberto, Zunino
A contract-oriented middleware
2016-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio
A Formal Model of Algorand Smart Contracts
2021-01-01 Bartoletti, M.; Bracciali, A.; Lepore, C.; Scalas, A.; Zunino, R.
A Formal Model of Bitcoin Transactions
2018-01-01 Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R.
A general framework for blockchain analytics
2017-01-01 Bartoletti, Massimo; Lande, Stefano; Pompianu, Livio; Bracciali, Andrea
A Journey into Bitcoin Metadata
2019-01-01 Bartoletti, Massimo; Bellomy, Bryn; Pompianu, Livio
A note on two notions of compliance
2014-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE
A Proof-of-Stake protocol for consensus on Bitcoin subchains
2017-01-01 Bartoletti, Massimo; Lande, Stefano; Podda, Alessandro Sebastian
A semantic deconstruction of session types
2014-01-01 Bartoletti, Massimo; Scalas, Alceste; Zunino, R.
A Sound Up-to- n, δ Bisimilarity for PCTL
2022-01-01 Bartoletti, M.; Murgia, M.; Zunino, R.
A survey of attacks on Ethereum smart contracts (SoK)
2017-01-01 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana
A Theory of agreements and protection
2013-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, R.
A Theory of Automated Market Makers in DeFi
2021-01-01 Bartoletti, M.; Chiang, J. H. -Y.; Lluch-Lafuente, A.
A theory of Automated Market Makers in DeFi
2022-01-01 Bartoletti, M.; Chiang, J. H. -Y.; Lluch-Lafuente, A.
A theory of transaction parallelism in blockchains
2021-01-01 Bartoletti, M.; Galletta, L.; Murgia, M.
A true concurrent model of smart contracts executions
2020-01-01 Bartoletti, M.; Galletta, L.; Murgia, M.
An analysis of bitcoin OP_RETURN metadata
2017-01-01 Bartoletti, Massimo; Pompianu, Livio
An empirical analysis of smart contracts: platforms, applications, and design patterns
2017-01-01 Bartoletti, Massimo; Pompianu, Livio
An event-based model for contracts
2012-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R.
Bitcoin Covenants Unchained
2020-01-01 Bartoletti, M.; Lande, S.; Zunino, R.
Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
---|---|---|---|---|
A calculus of contracting processes | 1-gen-2010 | Bartoletti, Massimo; Roberto, Zunino | - | Institute of Electrical and Electronics Engineers (IEEE) |
A contract-oriented middleware | 1-gen-2016 | Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio | - | Springer |
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 Formal Model of Bitcoin Transactions | 1-gen-2018 | Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R. | - | Springer |
A general framework for blockchain analytics | 1-gen-2017 | Bartoletti, Massimo; Lande, Stefano; Pompianu, Livio; Bracciali, Andrea | - | Association for Computing Machinery (ACM) |
A Journey into Bitcoin Metadata | 1-gen-2019 | Bartoletti, Massimo; Bellomy, Bryn; Pompianu, Livio | JOURNAL OF GRID COMPUTING | - |
A note on two notions of compliance | 1-gen-2014 | Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - |
A Proof-of-Stake protocol for consensus on Bitcoin subchains | 1-gen-2017 | Bartoletti, Massimo; Lande, Stefano; Podda, Alessandro Sebastian | LECTURE NOTES IN COMPUTER SCIENCE | Springer |
A semantic deconstruction of session types | 1-gen-2014 | Bartoletti, Massimo; Scalas, Alceste; Zunino, R. | LECTURE NOTES IN COMPUTER SCIENCE | Springer |
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 survey of attacks on Ethereum smart contracts (SoK) | 1-gen-2017 | Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana | - | Springer |
A Theory of agreements and protection | 1-gen-2013 | Bartoletti, Massimo; Cimoli, Tiziana; Zunino, R. | LECTURE NOTES IN COMPUTER SCIENCE | - |
A Theory of Automated Market Makers in DeFi | 1-gen-2021 | Bartoletti, M.; Chiang, J. H. -Y.; Lluch-Lafuente, A. | - | Springer |
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 | - |
A theory of transaction parallelism in blockchains | 1-gen-2021 | Bartoletti, M.; Galletta, L.; Murgia, M. | LOGICAL METHODS IN COMPUTER SCIENCE | - |
A true concurrent model of smart contracts executions | 1-gen-2020 | Bartoletti, M.; Galletta, L.; Murgia, M. | - | Springer |
An analysis of bitcoin OP_RETURN metadata | 1-gen-2017 | Bartoletti, Massimo; Pompianu, Livio | - | Springer |
An empirical analysis of smart contracts: platforms, applications, and design patterns | 1-gen-2017 | Bartoletti, Massimo; Pompianu, Livio | - | Springer |
An event-based model for contracts | 1-gen-2012 | Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - |
Bitcoin Covenants Unchained | 1-gen-2020 | Bartoletti, M.; Lande, S.; Zunino, R. | - | Springer |