E-LIB Suche - Ergebnisse für: Cimoli, Tiziana

1

Contract-Oriented Programming with Timed Session Types:

, In: Behavioural Types,

Atzei, Nicola ; Bartoletti, Massimo ; Cimoli, Tiziana... - p. 27-48 , 2022

2

Dissecting Ponzi schemes on Ethereum: Identification, analy..:

Bartoletti, Massimo ; Carta, Salvatore ; Cimoli, Tiziana.
Future Generation Computer Systems. 102 (2020) - p. 259-277 , 2020

Link: https://doi.org/10.1016/..

3

Fun with Bitcoin Smart Contracts:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice,

Bartoletti, Massimo ; Cimoli, Tiziana ; Zunino, Roberto - p. 432-449 , 2018

Link: https://doi.org/10.1007/..

4

SoK: Unraveling Bitcoin Smart Contracts:

, In: Lecture Notes in Computer Science; Principles of Security and Trust,

Atzei, Nicola ; Bartoletti, Massimo ; Cimoli, Tiziana.. - p. 217-242 , 2018

Link: https://doi.org/10.1007/..

5

Blockchain for social good : a quantitative analysis:

, In: Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good,

Bartoletti, Massimo ; Cimoli, Tiziana ; Pompianu, Livio. - p. 37-42 , 2018

Link: https://dl.acm.org/doi/1..

6

Contracts as games on event structures:

Bartoletti, Massimo ; Cimoli, Tiziana ; Michele Pinna, G..
Journal of Logical and Algebraic Methods in Programming. 85 (2016) 3 - p. 399-424 , 2016

Link: https://doi.org/10.1016/..

7

Lending Petri nets:

Bartoletti, Massimo ; Cimoli, Tiziana ; Pinna, G. Michele
Science of Computer Programming. 112 (2015) - p. 75-101 , 2015

Link: https://doi.org/10.1016/..

8

Vicious circles in contracts and in logic:

Bartoletti, Massimo ; Cimoli, Tiziana ; Di Giamberardino, Paolo.
Science of Computer Programming. 109 (2015) - p. 61-95 , 2015

Link: https://doi.org/10.1016/..

9

Dissecting Ponzi schemes on Ethereum: identification, analy..:

BARTOLETTI, MASSIMO ; CARTA, SALVATORE MARIO ; CIMOLI, TIZIANA.
info:eu-repo/semantics/altIdentifier/wos/WOS:000501936300022. , 2020

Link: http://hdl.handle.net/11..

10

SoK: Unraveling bitcoin smart contracts:

Atzei, Nicola ; Bartoletti, Massimo ; Cimoli, Tiziana..
info:eu-repo/semantics/altIdentifier/isbn/9783319897219. , 2018

Link: http://hdl.handle.net/11..

11

SoK: Unraveling bitcoin smart contracts:

Atzei, Nicola ; Bartoletti, Massimo ; Cimoli, Tiziana..
info:eu-repo/semantics/altIdentifier/isbn/9783319897219. , 2018

Link: http://hdl.handle.net/11..

12

Blockchain for social good: a quantitative analysis:

Bartoletti, Massimo ; Cimoli, Tiziana ; Pompianu, Livio.
http://arxiv.org/abs/1811.03424. , 2018

Link: http://arxiv.org/abs/181..

13

Timed Session Types:

Bartoletti, Massimo ; Cimoli, Tiziana ; Murgia, Maurizio
http://arxiv.org/abs/1710.05388. , 2017

Link: http://arxiv.org/abs/171..

14

Dissecting Ponzi schemes on Ethereum: identification, analy..:

Bartoletti, Massimo ; Carta, Salvatore ; Cimoli, Tiziana.
http://arxiv.org/abs/1703.03779. , 2017

Link: http://arxiv.org/abs/170..

15

Contracts as games on event structures:

Bartoletti, Massimo ; Cimoli, Tiziana ; Pinna, G. Michele.
info:eu-repo/semantics/altIdentifier/wos/WOS:000374355700003. , 2016

Link: http://hdl.handle.net/11..