Tese de mestrado. Inteligência Artificial e Computação. Faculdade de Ciências. Universidade do Porto. 2004
Tese de doutoramento. Engenharia Informática. Faculdade de Engenharia. Universidade do Porto. 2010