CIMOLI, TIZIANA

CIMOLI, TIZIANA  

Mostra records
Risultati 1 - 20 di 21 (tempo di esecuzione: 0.019 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
A contract-oriented middleware 1-gen-2016 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 -
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 20-mag-2013 - - Università degli Studi di Cagliari
A Theory of agreements and protection 1-gen-2013 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, R. LECTURE NOTES IN COMPUTER SCIENCE -
An event-based model for contracts 1-gen-2012 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Blockchain for social good: a quantitative analysis 1-gen-2018 Bartoletti, Massimo; Pompianu, Livio; Cimoli, Tiziana; Serusi, Sergio - Association for Computing Machinery
Circular causality in event structures 1-gen-2012 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, Roberto - -
Circular causality in event structures 1-gen-2014 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. FUNDAMENTA INFORMATICAE -
Compliance and Subtyping in Timed Session Types 1-gen-2015 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
Contract agreement via logic 1-gen-2013 Bartoletti, Massimo; Cimoli, Tiziana; DI GIAMBERARDINO, Paolo; Zunino, R. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
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
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 -
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
Lending Petri nets 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE SCIENCE OF COMPUTER PROGRAMMING -
Lending Petri nets and contracts 1-gen-2013 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag
SoK: Unraveling bitcoin smart contracts 1-gen-2018 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana; Lande, Stefano; Zunino, Roberto - Springer
Timed session types 1-gen-2017 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio LOGICAL METHODS IN COMPUTER SCIENCE -