- Marcos António Pires Ferreira dos Santos advised by Mikolas Janota and Vasco Manquinho, Automated Computational Complexity Estimation, MSc Thesis at IST - Universidade de Lisboa, Jan. 2021 [bibTex]