Lami, Pietro (2024) Reversibility for concurrent memory models, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 37 Ciclo. DOI 10.48676/unibo/amsdottorato/12274.
Pal, Sourabh (2026) A choreographic approach to modelling and analysis of administrative procedures in healthcare management, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 38 Ciclo. DOI 10.48676/unibo/amsdottorato/12660.
Zingaro, Stefano Pio (2020) Interoperability Challenges in Internet of Things Systems: a Service-Oriented Computing Approach, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 32 Ciclo. DOI 10.48676/unibo/amsdottorato/9088.