Supervisions

MSc Theses

MSc Theses: 7

2018

Rubén Filipe Martins Marques
Algorithms for Leakage Detection System
MSc Thesis at IST, May. 2018 [bibTex]
Amândio de Jesus Cordeiro Almada
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
Algorithms for Maximum Satisfiability using GPU
MSc Thesis, Jun. 2017 [bibTex]

2016

Inference in Biological Regulatory Networks
MSc Thesis at Instituto Superior Técnico - Universidade de Lisboa, Sep. 2016 [bibTex]
Sauvagya Manna
Advisors: Pedro T. Monteiro and Miguel Cacho Teixeira
Development of the PathoYeastract database: aiming the study of transcriptional regulation in pathogenic yeasts
MSc Thesis at Instituto Superior Técnico - Universidade de Lisboa, Jul. 2016 [bibTex]