An event-based model for contracts - Massimo Bartoletti; Tiziana Cimoli; G. Michele Pinna; Roberto Zunino (PLACES, 2012)

Lending Petri Nets and Contracts. - Massimo Bartoletti; Tiziana Cimoli; G. Michele Pinna (FSEN, 2013)

A Theory of Agreements and Protection. - Massimo Bartoletti; Tiziana Cimoli; Roberto Zunino (POST, 2013)

Contract agreements via logic. - Massimo Bartoletti; Tiziana Cimoli; Paolo Di Giamberardino; Roberto Zunino (ICE, 2013)

A note on two notions of compliance. - Massimo Bartoletti; Tiziana Cimoli; G. Michele Pinna (ICE, 2014)

Circular Causality in Event Structures. - Massimo Bartoletti; Tiziana Cimoli; G. Michele Pinna; Roberto Zunino (Fundam. Informaticae, 2014)

Compliance in Behavioural Contracts: A Brief Survey. - Massimo Bartoletti; Tiziana Cimoli; Roberto Zunino (Programming Languages with Applications to Biology and Security, 2015)

A Contract-Oriented Middleware. - Massimo Bartoletti; Tiziana Cimoli; Maurizio Murgia 001; Alessandro Sebastian Podda; Livio Pompianu (FACS, 2015)

Compliance and Subtyping in Timed Session Types. - Massimo Bartoletti; Tiziana Cimoli; Maurizio Murgia 001; Alessandro Sebastian Podda; Livio Pompianu (FORTE, 2015)

Models of Circular Causality. - Massimo Bartoletti; Tiziana Cimoli; G. Michele Pinna; Roberto Zunino (ICDCIT, 2015)

Vicious circles in contracts and in logic. - Massimo Bartoletti; Tiziana Cimoli; Paolo Di Giamberardino; Roberto Zunino (Sci. Comput. Program., 2015)

Lending Petri nets. - Massimo Bartoletti; Tiziana Cimoli; G. Michele Pinna (Sci. Comput. Program., 2015)

A survey of attacks on Ethereum smart contracts. - Nicola Atzei; Massimo Bartoletti; Tiziana Cimoli (IACR Cryptol. ePrint Arch., 2016)

Contracts as games on event structures. - Massimo Bartoletti; Tiziana Cimoli; G. Michele Pinna; Roberto Zunino (J. Log. Algebraic Methods Program., 2016)

A Survey of Attacks on Ethereum Smart Contracts (SoK). - Nicola Atzei; Massimo Bartoletti; Tiziana Cimoli (POST, 2017)

Timed Session Types. - Massimo Bartoletti; Tiziana Cimoli; Maurizio Murgia 001 (Log. Methods Comput. Sci., 2017)

Blockchain for social good: a quantitative analysis. - Massimo Bartoletti; Tiziana Cimoli; Livio Pompianu; Sergio Serusi (GOODTECHS, 2018)

SoK: unraveling Bitcoin smart contracts. - Nicola Atzei; Massimo Bartoletti; Tiziana Cimoli; Stefano Lande; Roberto Zunino (IACR Cryptol. ePrint Arch., 2018)

Fun with Bitcoin smart contracts. - Massimo Bartoletti; Tiziana Cimoli; Roberto Zunino (IACR Cryptol. ePrint Arch., 2018)

Dissecting Ponzi schemes on Ethereum: Identification, analysis, and impact. - Massimo Bartoletti; Salvatore Carta; Tiziana Cimoli; Roberto Saia (Future Gener. Comput. Syst., 2020)