Supervisions

MSc Theses

MSc Theses: 7

2018

Magda Carolina Araújo Resende
Advisors: Helena Galhardas and Inês Lynce
DeepSea: Web-based database
MSc Thesis at Instituto Superior Técnico, Univ. de Lisboa, Nov. 2018 [bibTex]
João Miguel Sousa Varandas
Advisors: Vasco Manquinho
Solving the treevdith and pathwidth in graphs using MaxSat
MSc Thesis, Oct. 2018 [bibTex]
Rubén Filipe Martins Marques
Advisors: Vasco Manquinho and Inês Lynce
Algorithms for Leakage Detection System
MSc Thesis at IST, May. 2018 [bibTex]
Amândio de Jesus Cordeiro Almada
Advisors: Vasco Manquinho and Inês Lynce
Optimization algorithms in forest planning models
MSc Thesis, Apr. 2018 [bibTex]

2017

José Francisco Pires Amaral
Advisors: Vasco Manquinho
Algorithms for Markov Logic Networks
MSc Thesis, Nov. 2017 [bibTex]
João Pedro Mateus Alexandre
Advisors: Vasco Manquinho
Automatic generation of test cases for MOOCs
MSc Thesis at IST - Universidade de Lisboa, Jul. 2017 [bibTex]
André Filipe Ribeiro dos Reis
Advisors: Vasco Manquinho and Luis Guerra e Silva
Algorithms for Maximum Satisfiability using GPU
MSc Thesis, Jun. 2017 [bibTex]