CIMOLI, TIZIANA

CIMOLI, TIZIANA  

Mostra records
Risultati 1 - 20 di 21 (tempo di esecuzione: 0.03 secondi).
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 -
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
SoK: Unraveling bitcoin smart contracts 1-gen-2018 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana; Lande, Stefano; Zunino, Roberto - Springer
A survey of attacks on Ethereum smart contracts (SoK) 1-gen-2017 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana - 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
Timed session types 1-gen-2017 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio LOGICAL METHODS IN COMPUTER SCIENCE -
A contract-oriented middleware 1-gen-2016 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio - Springer
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 -
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
Lending Petri nets 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE SCIENCE OF COMPUTER PROGRAMMING -
Vicious circles in contracts and in logic 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; DI GIAMBERARDINO, Paolo; Zunino, R. SCIENCE OF COMPUTER PROGRAMMING -
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 1-gen-2013 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, R. LECTURE NOTES IN COMPUTER SCIENCE -
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
An event-based model for contracts 1-gen-2012 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -