UNICA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 21
Titolo Data di pubblicazione Autore(i) Rivista Editore
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact 1-gen-2020 Bartoletti, Massimo; Carta, SALVATORE MARIO; Cimoli, Tiziana; Saia, Roberto FUTURE GENERATION COMPUTER SYSTEMS -
Fun with bitcoin smart contracts 1-gen-2018 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto - Springer
SoK: Unraveling bitcoin smart contracts 1-gen-2018 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana; Lande, Stefano; Zunino, Roberto - Springer
Blockchain for social good: a quantitative analysis 1-gen-2018 Bartoletti, Massimo; Pompianu, Livio; Cimoli, Tiziana; Serusi, Sergio - Association for Computing Machinery
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
A survey of attacks on Ethereum smart contracts (SoK) 1-gen-2017 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana - Springer
Timed session types 1-gen-2017 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio LOGICAL METHODS IN COMPUTER SCIENCE -
Contracts as games on event structures 1-gen-2016 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING -
A contract-oriented middleware 1-gen-2016 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio - Springer
Compliance in behavioural contracts: a brief survey 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto LECTURE NOTES IN COMPUTER SCIENCE Springer
Vicious circles in contracts and in logic 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; DI GIAMBERARDINO, Paolo; Zunino, R. SCIENCE OF COMPUTER PROGRAMMING -
Lending Petri nets 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE SCIENCE OF COMPUTER PROGRAMMING -
Compliance and Subtyping in Timed Session Types 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio - Springer
A note on two notions of compliance 1-gen-2014 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Circular causality in event structures 1-gen-2014 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. FUNDAMENTA INFORMATICAE -
A theory of agreements and protection 20-mag-2013 - - Università degli Studi di Cagliari
Contract agreement via logic 1-gen-2013 Bartoletti, Massimo; Cimoli, Tiziana; DI GIAMBERARDINO, Paolo; Zunino, R. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Lending Petri nets and contracts 1-gen-2013 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag
A Theory of agreements and protection 1-gen-2013 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, R. LECTURE NOTES IN COMPUTER SCIENCE -
Circular causality in event structures 1-gen-2012 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, Roberto - -
Mostrati risultati da 1 a 20 di 21
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