BRACCIALI, ANDREA

BRACCIALI, ANDREA  

DIPARTIMENTO DI MATEMATICA ED INFORMATICA  

Mostra records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.004 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)