Supervisions

MSc Theses

MSc Theses: 5

2018

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]