Carpineti, Samuele (2007) Data and behavioral contracts for web services, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 19 Ciclo. DOI 10.6092/unibo/amsdottorato/368.

Garcia Celestrin, Abel (2017) Static Analysis of Concurrent Programs Based on Behavioral Type Systems, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 29 Ciclo. DOI 10.6092/unibo/amsdottorato/8046.

Veschetti, Adele (2023) A formal analysis of blockchain consensus, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 35 Ciclo. DOI 10.48676/unibo/amsdottorato/10835.

Vitale, Antonio (2010) Expressiveness in biologically inspired languages, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 22 Ciclo. DOI 10.6092/unibo/amsdottorato/2665.