Supervisions

PhD Theses

PhD Theses: 2

2021

Model Revision of Boolean Logical Models of Biological Regulatory Networks
PhD Thesis at Instituto Superior Técnico, Sep. 2021 [bibTex]
Solving Scheduling Problems under Disruptions
PhD Thesis at Instituto Superior Técnico, Jul. 2021 [bibTex]

MSc Theses

MSc Theses: 11

2021

Advisors: Pedro T. Monteiro and Miguel C. Teixeira
A Metabolic-Regulatory Genome-Scale Integration forSaccharomyces cerevisiae: Predicting Targets forIncreased Ethanol Production
MSc Thesis at Instituto Superior Técnico, Dec. 2021 [bibTex]
Advisors: Pedro T. Monteiro and Sofia Teixeira
Network motifs in multi-graphs
MSc Thesis at IST, Dec. 2021 [bibTex]
Automatic Chart Interpretation
MSc Thesis at IST, Nov. 2021 [bibTex]
Boolean Leximax Optimisation using Iterative SAT Solving
MSc Thesis at IST, U. Lisboa, Nov. 2021 [bibTex]
Advisors: Inês Lynce and Miguel Neves
Next-Gen Pure Function Synthesis in OutSystems
MSc Thesis, Nov. 2021 [bibTex]
Advisors: João F. Ferreira and Alexandra Mendes
On Usable Security and Verified Password Managers
MSc Thesis at Instituto Superior Técnico, University of Lisbon, Nov. 2021 [bibTex]
Advisors: Inês Lynce and Miguel Neves
Sketch-Driven SQL Synthesis
MSc Thesis, Nov. 2021 [bibTex]
Automated Computational Complexity Estimation
MSc Thesis at IST - Universidade de Lisboa, Jan. 2021 [bibTex]
Advisors: Vasco Manquinho
Evaluating Redistricting of Electoral Areas
MSc Thesis at IST - U. Lisboa, Jan. 2021 [bibTex]
Advisors: Inês Lynce and Miguel Neves
Pure Function Synthesis in the OutSystems Plataform
MSc Thesis at Instituto Superior Técnico, Jan. 2021 [bibTex]
Advisors: Vasco Manquinho and Miguel Angelo Terra Neves
Stochastic Multi-Objective Combinatorial Optimization Algorithms
MSc Thesis, Jan. 2021 [bibTex]