Simonetto, Andrea (2010) Indagini in Deep Inference. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]
Malagoli, Davide (2010) "Vehicle Routing Problem": un caso di studio. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]
Patrignani, Marco (2010) Importing ownership types into the join calculus. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]