Favini, Gian - Piero (2010) The dark side of the board: advances in chess Kriegspiel, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 22 Ciclo. DOI 10.6092/unibo/amsdottorato/2403.

Perez - Parra, Jorge Andres (2010) Higher-Order Concurrency: Expressiveness and Decidability Results , [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 22 Ciclo. DOI 10.6092/unibo/amsdottorato/2285.

Shukla, Priyank (2010) Machine learning methods for prediction of disulphide bonding states of cysteine residues in proteins, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 22 Ciclo. DOI 10.6092/unibo/amsdottorato/2588.

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.