Biondi, Fabrizio (2010) Metodi di verifica formale per il linguaggio ad oggetti Creol. [Laurea specialistica], Università di Bologna, Corso di Studio in Informatica [LS-DM509], Documento ad accesso riservato.

Gasperini, Marco (2010) Sincronizzazione e condivisione di file system tra sistemi operativi. [Laurea], Università di Bologna, Corso di Studio in Scienze di internet [L-DM509]

Patrignani, Marco (2010) Importing ownership types into the join calculus. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

Zini, Alessio (2010) Joomla! e Microweb: soluzioni low cost per la piccola impresa. [Laurea], Università di Bologna, Corso di Studio in Scienze di internet [L-DM509]