Tesi

Tesi del corso di studi Dottorato in Informatica (ultimo ciclo attivato 28° - anno 2013)

1. Isabella Mastroeni, Abstract Non-Interference-An Abstract Interpretation-based Approach to Secure Information Flow R. Giacobazzi Dottorato in Informatica (ultimo ciclo attivato 28° - anno 2013)
   [Download: pdf]
   Riassunto
2. Debora Botturi, An Optimization Approach to Hybrid System Control Paolo Fiorini Dottorato in Informatica (ultimo ciclo attivato 28° - anno 2013)
   [An Optimization Approach to Hybrid System Control: pdf]
   Riassunto
3. Matthias Rath, Interactive Realtime Sound Models for Human-Computer Interaction (A Sound Design Concept and Applications) Davide Rocchesso Carlo Combi, Vittorio Murino Dottorato in Informatica (ultimo ciclo attivato 28° - anno 2013)
   [Interactive Realtime Sound Models for Human-Computer Interaction (A Sound Design Concept and Applications): pdf]
   Riassunto
4. Laura Ottaviani, Representation of multi-dimensional data through auditory display Davide Rocchesso Dottorato in Informatica (ultimo ciclo attivato 28° - anno 2013)
   [thesis Laura: pdf]
   Riassunto
5. Federico Fontana, Physics-based models for the acoustic representation of space in virtual environments Dottorato in Informatica (ultimo ciclo attivato 28° - anno 2013)
   [Physics-based models for the acoustic representation of space in virtual environments: pdf]
   Riassunto