1. Alves, P.H., et al.: Exploring blockchain technology to improve multi-party relationship in business process management systems. In: Proceedings of the 22nd International Conference on Enterprise Information Systems - Volume 2: ICEIS, pp. 817–825. INSTICC, SciTePress (2020). https://doi.org/10.5220/0009565108170825
2. Azzopardi, S., Colombo, C., Pace, G.: A technique for automata-based verification with residual reasoning. In: Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 25–27 February 2020, MODELSWARD 2020, Valletta, Malta (2020)
3. Lecture Notes in Computer Science;S Azzopardi,2018
4. Azzopardi, S., Pace, G.J., Schapachnik, F.: Contract automata with reparations. In: Hoekstra, R. (ed.) Legal Knowledge and Information Systems - JURIX 2014: The Twenty-Seventh Annual Conference, Jagiellonian University, Krakow, Poland, 10–12 December 2014. Frontiers in Artificial Intelligence and Applications, vol. 271, pp. 49–54. IOS Press (2014). https://doi.org/10.3233/978-1-61499-468-8-49
5. Azzopardi, S., Pace, G.J., Schapachnik, F.: On observing contracts: deontic contracts meet smart contracts. In: Palmirani, M. (ed.) Legal Knowledge and Information Systems - JURIX 2018: The Thirty-first Annual Conference, Groningen, The Netherlands, 12–14 December 2018. Frontiers in Artificial Intelligence and Applications, vol. 313, pp. 21–30. IOS Press (2018). https://doi.org/10.3233/978-1-61499-935-5-21