BARTOLETTI, MASSIMO

BARTOLETTI, MASSIMO  

DIPARTIMENTO DI MATEMATICA ED INFORMATICA  

Mostra records
Risultati 1 - 20 di 96 (tempo di esecuzione: 0.021 secondi).
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