Bachelor of Science in Informatics
Paolo Aurecchia
Vanessa Braglia
Aron Dalle Pezze
Aldo Gabriele Di Rosa
Nicola Esposito
Martino Giorgi
Irene Jacob
Camillo Malnati
Simone Masiero
Hanieh Soleimani Bidhendi
Emanuele Sotta
Andrea Vicari
Paolo Aurecchia
Vanessa Braglia
Aron Dalle Pezze
Aldo Gabriele Di Rosa
Nicola Esposito
Martino Giorgi
Irene Jacob
Camillo Malnati
Simone Masiero
Hanieh Soleimani Bidhendi
Emanuele Sotta
Andrea Vicari
CTL* Verification and Synthesis using Existential Horn Clauses
Faculty of InformaticsIdEP Seminar, Roberto Nisticò - "Workplace Peer Effects in Fertility Decisions"
Faculty of EconomicsInteraction Substitution for Mobile Games Accessibility and Exergaming
Faculty of Informatics