Livio Pompianu
Title
Cited by
Cited by
Year
An empirical analysis of smart contracts: platforms, applications, and design patterns
M Bartoletti, L Pompianu
International conference on financial cryptography and data security, 494-509, 2017
2592017
An analysis of Bitcoin OP_RETURN metadata
M Bartoletti, L Pompianu
International Conference on Financial Cryptography and Data Security, 218-230, 2017
702017
A general framework for blockchain analytics
M Bartoletti, S Lande, L Pompianu, A Bracciali
Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures …, 2017
45*2017
Compliance and subtyping in timed session types
M Bartoletti, T Cimoli, M Murgia, AS Podda, L Pompianu
International Conference on Formal Techniques for Distributed Objects …, 2015
262015
A contract-oriented middleware
M Bartoletti, T Cimoli, M Murgia, AS Podda, L Pompianu
Formal Aspects of Component Software, 86-104, 2015
232015
A journey into bitcoin metadata
M Bartoletti, B Bellomy, L Pompianu
Journal of Grid Computing 17 (1), 3-22, 2019
82019
Blockchain for social good: a quantitative analysis
M Bartoletti, T Cimoli, L Pompianu, S Serusi
Proceedings of the 4th EAI International Conference on Smart Objects and …, 2018
42018
Contract-oriented programming with timed session types
N Atzei, M Bartoletti, T Cimoli, S Lande, M Murgia, AS Podda, L Pompianu
Behavioural Types: from Theory to Tools, 27, 2017
32017
Analysing blockchains and smart contracts: tools and techniques
L Pompianu
University of Cagliari, 2018
2018
An overview of blockchain-based systems and smart contracts for digital coupons
AS Podda, L Pompianu
The system can't perform the operation now. Try again later.
Articles 1–10