Klapez, Martin (2013) A study of two Languages for Active Objects with Futures. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]
Patriciello, Natale (2013) Un prototipo per l'analisi di circolarità. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]
Poletti, Marco (2013) Concepts for C++: analysis of established and novel features. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]