UNICA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 96
Titolo Data di pubblicazione Autore(i) Rivista Editore
Blockchain for social good: a quantitative analysis 1-gen-2018 Bartoletti, Massimo; Pompianu, Livio; Cimoli, Tiziana; Serusi, Sergio - Association for Computing Machinery
Fun with bitcoin smart contracts 1-gen-2018 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto - Springer
BitML: A calculus for bitcoin smart contracts 1-gen-2018 Bartoletti, Massimo; Zunino, Roberto - ACM
SoK: Unraveling bitcoin smart contracts 1-gen-2018 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana; Lande, Stefano; Zunino, Roberto - Springer
Data mining for detecting Bitcoin Ponzi schemes 1-gen-2018 Bartoletti, Massimo; Pes, Barbara; Serusi, Sergio - IEEE
A Formal Model of Bitcoin Transactions 1-gen-2018 Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R. - Springer
Progress-preserving refinements of CTA 1-gen-2018 Bartoletti, Massimo; Bocchi, Laura; Murgia, Maurizio - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
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
Contract-oriented programming with timed session types 1-gen-2017 Atzei, N.; Bartoletti, M.; Cimoli, T.; Lande, S.; Murgia, M.; Podda, A. S.; Pompianu, L. - River Publishers
Verifiable abstractions for contract-oriented systems 1-gen-2017 Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING -
A general framework for blockchain analytics 1-gen-2017 Bartoletti, Massimo; Lande, Stefano; Pompianu, Livio; Bracciali, Andrea - Association for Computing Machinery (ACM)
Contract-Oriented design of distributed applications: A tutorial 1-gen-2017 Atzei, N.; Bartoletti, M.; Murgia, M.; Tuosto, E.; Zunino, R. - River Publishers
A survey of attacks on Ethereum smart contracts (SoK) 1-gen-2017 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana - Springer
An analysis of bitcoin OP_RETURN metadata 1-gen-2017 Bartoletti, Massimo; Pompianu, Livio - Springer
Constant-deposit multiparty lotteries on Bitcoin 1-gen-2017 Bartoletti, Massimo; Zunino, Roberto LECTURE NOTES IN COMPUTER SCIENCE Springer
An empirical analysis of smart contracts: platforms, applications, and design patterns 1-gen-2017 Bartoletti, Massimo; Pompianu, Livio - Springer
Timed session types 1-gen-2017 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio LOGICAL METHODS IN COMPUTER SCIENCE -
On the decidability of honesty and of its variants 1-gen-2016 Bartoletti, Massimo; Zunino, Roberto LECTURE NOTES IN COMPUTER SCIENCE Springer Verlag
Developing honest Java programs with Diogenes 1-gen-2016 Atzei, Nicola; Bartoletti, Massimo LECTURE NOTES IN COMPUTER SCIENCE Springer
Preface [ to: Proceedings 9th Interaction and Concurrency Experience] 1-gen-2016 Bartoletti, Massimo; Henrio, Ludovic; Knight, Sophia; Vieira, Hugo Torres ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE Open Publishing Association
Mostrati risultati da 21 a 40 di 96
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile