Dissecting Ponzi schemes on Ethereum: Identification, analysis, and impact
Bartoletti, Massimo, Carta, Salvatore, Cimoli, Tiziana, Saia, Roberto
Published in Future generation computer systems (01.01.2020)
Published in Future generation computer systems (01.01.2020)
Get full text
Journal Article
Timed Session Types
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia
Published in Logical methods in computer science (01.01.2017)
Published in Logical methods in computer science (01.01.2017)
Get full text
Journal Article
A note on two notions of compliance
Bartoletti, Massimo, Cimoli, Tiziana, Pinna, G. Michele
Published in Electronic proceedings in theoretical computer science (26.10.2014)
Published in Electronic proceedings in theoretical computer science (26.10.2014)
Get full text
Journal Article
Contract agreements via logic
Bartoletti, Massimo, Cimoli, Tiziana, Di Giamberardino, Paolo, Zunino, Roberto
Published in Electronic proceedings in theoretical computer science (15.10.2013)
Published in Electronic proceedings in theoretical computer science (15.10.2013)
Get full text
Journal Article
An event-based model for contracts
Bartoletti, Massimo, Cimoli, Tiziana, Pinna, G. Michele, Zunino, Roberto
Published in Electronic proceedings in theoretical computer science (23.02.2013)
Published in Electronic proceedings in theoretical computer science (23.02.2013)
Get full text
Journal Article
Lending Petri nets
Bartoletti, Massimo, Cimoli, Tiziana, Pinna, G. Michele
Published in Science of computer programming (15.11.2015)
Published in Science of computer programming (15.11.2015)
Get full text
Journal Article
Compliance in Behavioural Contracts: A Brief Survey
Bartoletti, Massimo, Cimoli, Tiziana, Zunino, Roberto
Published in Programming Languages with Applications to Biology and Security (01.01.2015)
Published in Programming Languages with Applications to Biology and Security (01.01.2015)
Get full text
Book Chapter
Vicious circles in contracts and in logic
Bartoletti, Massimo, Cimoli, Tiziana, Di Giamberardino, Paolo, Zunino, Roberto
Published in Science of computer programming (01.10.2015)
Published in Science of computer programming (01.10.2015)
Get full text
Journal Article
Circular Causality in Event Structures
Bartoletti, Massimo, Cimoli, Tiziana, Pinna, G. Michele, Zunino, Roberto
Published in Fundamenta informaticae (2014)
Published in Fundamenta informaticae (2014)
Get full text
Journal Article
Contracts as games on event structures
Bartoletti, Massimo, Cimoli, Tiziana, Michele Pinna, G., Zunino, Roberto
Published in Journal of logical and algebraic methods in programming (01.04.2016)
Published in Journal of logical and algebraic methods in programming (01.04.2016)
Get full text
Journal Article
A Contract-Oriented Middleware
Bartoletti, Massimo, Cimoli, Tiziana, Murgia, Maurizio, Podda, Alessandro Sebastian, Pompianu, Livio
Published in Formal Aspects of Component Software (2016)
Published in Formal Aspects of Component Software (2016)
Get full text
Book Chapter
Lending Petri Nets and Contracts
Bartoletti, Massimo, Cimoli, Tiziana, Pinna, G. Michele
Published in Fundamentals of Software Engineering (2013)
Published in Fundamentals of Software Engineering (2013)
Get full text
Book Chapter
Blockchain for social good: a quantitative analysis
Bartoletti, Massimo, Cimoli, Tiziana, Pompianu, Livio, Serusi, Sergio
Published in arXiv.org (02.11.2018)
Published in arXiv.org (02.11.2018)
Get full text
Paper
Journal Article
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
Bartoletti, Massimo, Carta, Salvatore, Cimoli, Tiziana, Saia, Roberto
Year of Publication 10.03.2017
Year of Publication 10.03.2017
Get full text
Journal Article