BRACCIALI, ANDREA
BRACCIALI, ANDREA
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 secondi).
Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
---|---|---|---|---|
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 general framework for blockchain analytics | 1-gen-2017 | Bartoletti, Massimo; Lande, Stefano; Pompianu, Livio; Bracciali, Andrea | - | Association for Computing Machinery (ACM) |