Griggio, Alberto (2009) An Effective SMT Engine for Formal Verification. PhD thesis, University of Trento.

Segata, Nicola (2009) Local Approaches for Fast, Scalable and Accurate Learning with Kernels. PhD thesis, University of Trento.

Somov, Andrey (2009) Power Management and Power Consumption Optimization Techniques in Wireless Sensor Networks. PhD thesis, University of Trento.

Ben Halima, Nadhir (2009) Service-Aware Performance Optimization of Wireless Access Networks. PhD thesis, University of Trento, North Carolina State University.

Lepri, Bruno (2009) Multimodal Recognition of Social Behaviors and Personality Traits in Small Group Interaction. PhD thesis, Università di Trento.

Audzevich, Yury (2009) Design and Analysis of Load-Balancing Switch with Finite Buffers and Variable Size Packets. PhD thesis, University of Trento.

Ajelli, Marco (2009) New-generation individual based models for infectious diseases transmission. PhD thesis, Bruno Kessler Foundation, University of Trento.

Brunner, Dominik (2009) Advanced Methods For Building Information Extraction From Very High Resolution SAR Data To Support Emergency Response. PhD thesis, University of Trento.

Vaccari, Lorenzino (2009) Integration of SDI Services: an evaluation of a distributed semantic matching framework. PhD thesis, University of Trento.

Birukou, Aliaksandr (2009) Implicit Culture Framework for behavior transfer. Definition, implementation and applications. PhD thesis, University of Trento.

Cattin, Davide (2009) Design, Modelling and Control of IRST Capacitive MEMS Microphone. PhD thesis, University of Trento.

Jawed, Syed Arsalan (2009) CMOS Readout Interfaces for MEMS Capacitive Microphones. PhD thesis, University of Trento, Fondazione Bruno Kessler.

Nguyen, Duy Cu (2009) Testing Techniques for Software Agents. PhD thesis, University of Trento, Fondazione Bruno Kessler.