Ph. D. Dissertations

• Ludwig Krippahl, Integrating Protein Structural Information, José Moura and Pedro Barahona (superv.), FCT/UNL, December 2003.
• Jorge Cruz, Constraint Reasoning for Differential Models, Pedro Barahona (superv.), FCT/UNL, November 2003.
• J. Simão, Computational Modeling and Simulation of Human Social Behavior and Culture, Luís Moniz Pereira (superv.), Universidade Nova de Lisboa (url), September 2003.