Raspadori, Enrico (2010) Modellazione della famiglia di linguaggi SOS. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509]
Suprani, Domiziana (2010) Macchine di Schönhage e riduzione su grafi. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509]
Simonetto, Andrea (2010) Indagini in Deep Inference. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]