Ph. D. Dissertations

• Hau Nguyen Van, SAT Encodings of Finite CSPs, Steffen Hölldobler and Pedro Barahona (superv.), TU Dresden, February 2015.
• Ana Sofia Gomes, Transactions in Dynamic Reactive Environments, José Júlio Alferes (superv.), Universidade Nova de Lisboa, January 2015.

This year's information may not be complete.