CIMOLI, TIZIANA
CIMOLI, TIZIANA
A contract-oriented middleware
2016-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio
A note on two notions of compliance
2014-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE
A survey of attacks on Ethereum smart contracts (SoK)
2017-01-01 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana
A theory of agreements and protection
2013-05-20
A Theory of agreements and protection
2013-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, R.
An event-based model for contracts
2012-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R.
Blockchain for social good: a quantitative analysis
2018-01-01 Bartoletti, Massimo; Pompianu, Livio; Cimoli, Tiziana; Serusi, Sergio
Circular causality in event structures
2014-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R.
Circular causality in event structures
2012-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, Roberto
Compliance and Subtyping in Timed Session Types
2015-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio
Compliance in behavioural contracts: a brief survey
2015-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto
Contract agreement via logic
2013-01-01 Bartoletti, Massimo; Cimoli, Tiziana; DI GIAMBERARDINO, Paolo; Zunino, R.
Contract-oriented programming with timed session types
2017-01-01 Atzei, N.; Bartoletti, M.; Cimoli, T.; Lande, S.; Murgia, M.; Podda, A. S.; Pompianu, L.
Contracts as games on event structures
2016-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R.
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
2020-01-01 Bartoletti, Massimo; Carta, SALVATORE MARIO; Cimoli, Tiziana; Saia, Roberto
Fun with bitcoin smart contracts
2018-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto
Lending Petri nets
2015-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE
Lending Petri nets and contracts
2013-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE
SoK: Unraveling bitcoin smart contracts
2018-01-01 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana; Lande, Stefano; Zunino, Roberto
Timed session types
2017-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio
| 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-2014 | Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. | FUNDAMENTA INFORMATICAE | - |
| Circular causality in event structures | 1-gen-2012 | Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, Roberto | - | - |
| 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 | - |