Supervisions

PhD Theses

PhD Theses: 5

Praveen Kumar Guttula
Advisors: Pedro T. Monteiro and Isabel Sá Correia
A detailed study on molecular mechanism of pluripotency in testicular stem cells an insilico study
PhD Thesis, work in progress [bibTex]
Discrete Optimization Models and Tools for Energy Management in Data Centers
PhD Thesis at IST - Universidade de Lisboa, work in progress [bibTex]
Advisors: Pedro T. Monteiro and Claudine Chaouiya
Efficient attractor characterization in large discrete event systems: application to biological regulatory networks
PhD Thesis at Instituto Superior Técnico - Universidade de Lisboa, work in progress [bibTex]
Robert Schwieger
Experiment Design for Boolean models
PhD Thesis, work in progress [bibTex]
Alessandro Previti
Hitting set dualization problems and applications
PhD Thesis, work in progress [bibTex]

MSc Theses

MSc Theses: 7

Rubén Filipe Martins Marques
Algorithms for Leakage Detection System
MSc Thesis, work in progress [bibTex]
Magda Carolina Araújo Resende
DeepSea: Web-based database
MSc Thesis, work in progress [bibTex]
André Soares Amaral Mendes
Formal methods for the analysis of Modular gEnetic ReGulatOry network Dynamics
MSc Thesis, work in progress [bibTex]
Ricardo Joel Marques dos Santos Silva
Advisors: Mikolas Janota and Carlos Caleiro
Optimisation of Machine Learning in expansion-based QBF solving
MSc Thesis, work in progress [bibTex]
Amândio de Jesus Cordeiro Almada
Optimization algorithms in forest planning models
MSc Thesis, work in progress [bibTex]
Miguel Ângelo dos Santos Cruz
Reusable Framework for Digital Humanities Repositories
MSc Thesis, work in progress [bibTex]
João Miguel Sousa Varandas
Advisors: Vasco Manquinho
Solving the treevdith and pathwidth in graphs using MaxSat
MSc Thesis, work in progress [bibTex]

Graduations

Graduation Theses: 1

Margarida de Almeida Cruz Ferreira
Advisors: Inês Lynce
Cooperative Path-Fiding
Graduation Thesis, work in progress [bibTex]