Students that finished their MSc under my (co-)supervision

  • David Fernandes Semedo, A Public Transport Bus Assignment Problem: Parallel Metaheuristics Assessment, Pedro Barahona and Pedro Medeiros (superv.), Universidade Nova de Lisboa, October 2015.
  • Sergejs Pugacs, A Clustering Approach for Vehicle Routing Problems with Hard Time Windows, Pedro Barahona (superv.), New University of Lisbon, July 2014.
  • Martin Aleksandrov, Heuristics and Policies for Online Pickup and Delivery Problems, Pedro Barahona (superv.), New University of Lisbon, October 2012.
  • Bishoksan Kafle, Modeling Assembly Program with Constraints: A Contribution to WCET Problem, Pedro Barahona (superv.), New University of Lisbon, September 2012.
  • Francisco Roldão, Resolução de Horários de Exames com Pesquisa Local Restringida. Pedro Barahona (superv.), New University of Lisbon, November 2011.
  • Tewodros A. Beyene, Constraint based Certification of Imperative Programs, Pedro Barahona (superv.), New University of Lisbon,, October 2011.
  • David Buezas, A Constraint based formulation of the Minimum Set Covering Problem for the Species Differentiation Problem, Pedro Barahona (superv.), New University of Lisbon, October 2010.
  • Valentin Mayer-Eichberger, Towards Solving a System of Pseudo Boolean Pedro Barahona (superv.), New University of Lisbon, October 2008.
  • Jean Christoph Jung, Value Orderings based on Solution Counting, Pedro Barahona (superv.), New University of Lisbon, October 2008.
  • José Carlos Almeida Santos, Mining Protein Structure Data, Pedro Barahona and Ludwig Krippahl (superv.), Universidade Nova de Lisboa, January 2007.
  • Marco Correia, Heuristic search for protein structure, Pedro Barahona (superv.), New University of Lisbon, July 2004
  • Ludwig Krippahl, Aplicação de Técnicas de Processamento de Restrições à RMN Estrutural de Proteínas, Pedro Barahona (superv.), New University of Lisbon, Jan. 2000
  • Joaquim Francisco Ferreira da Silva, Planeamento de Terapias com Base em Modelos de Conhecimento Profundo, Pedro Barahona (superv.), New University of Lisbon, Sep. 1995
  • Jorge Carlos Ferreira Rodrigues da Cruz, Um Modelo Causal-Funcional para o Diagnóstico de Doenças Neuromusculares, New University of Lisbon, Jun. 1995
  • Paulo Jorge Martins Mariano da Corte, Meios de Sustentação da Componente Didáctica de um Tutor Inteligente, Pedro Barahona (superv.), New University of Lisbon, May 1995
  • António Luís Gil Mendes, Modelação do Domínio de um Tutor Inteligente de SQL, Pedro Barahona (superv.), New University of Lisbon, May 1995