Zunino, Roberto
Zunino, Roberto
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.056 secondi).
Verifying liquidity of recursive Bitcoin contracts
2022-01-01 Bartoletti, M.; Lande, S.; Murgia, M.; Zunino, R.
A Formal Model of Algorand Smart Contracts
2021-01-01 Bartoletti, M.; Bracciali, A.; Lepore, C.; Scalas, A.; Zunino, R.
Bitcoin Covenants Unchained
2020-01-01 Bartoletti, M.; Lande, S.; Zunino, R.
Renegotiation and recursion in bitcoin contracts
2020-01-01 Bartoletti, M.; Murgia, M.; Zunino, R.
Formal Models of Bitcoin Contracts: A Survey
2019-01-01 Bartoletti, M; Zunino, R
A Formal Model of Bitcoin Transactions
2018-01-01 Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R.
Contract-Oriented design of distributed applications: A tutorial
2017-01-01 Atzei, N.; Bartoletti, M.; Murgia, M.; Tuosto, E.; Zunino, R.
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| 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 |
| Bitcoin Covenants Unchained | 1-gen-2020 | Bartoletti, M.; Lande, S.; Zunino, R. | - | Springer |
| Renegotiation and recursion in bitcoin contracts | 1-gen-2020 | Bartoletti, M.; Murgia, M.; Zunino, R. | - | Springer |
| Formal Models of Bitcoin Contracts: A Survey | 1-gen-2019 | Bartoletti, M; Zunino, R | FRONTIERS IN BLOCKCHAIN | - |
| A Formal Model of Bitcoin Transactions | 1-gen-2018 | Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R. | - | Springer |
| Contract-Oriented design of distributed applications: A tutorial | 1-gen-2017 | Atzei, N.; Bartoletti, M.; Murgia, M.; Tuosto, E.; Zunino, R. | - | River Publishers |