theses of the study course PhD in Computer Science (last activated in 2013)
Isabella Mastroeni,
Abstract Non-Interference-An Abstract Interpretation-based Approach to Secure Information FlowR. GiacobazziPhD in Computer Science (last activated in 2013)
Federico Fontana,
Physics-based models for the acoustic representation of space in virtual environmentsPhD in Computer Science (last activated in 2013)
[Physics-based models for the acoustic representation of space in virtual environments: pdf]