| Data | Título | Autor(es) | Tipo | Acesso |
| 2020 | Autoencoders lineares e autoencoders não lineares (ReLU) | Teixeira, Rui Pedro Silva | Dissertação de mestrado | Acesso aberto |
| 2013 | Bounded Model Checking de programas imperativos | Pereira, José João Peixoto | Dissertação de mestrado | Acesso aberto |
| 2017 | Clustering hierárquico numa plataforma de smart cities | Soares, Maria Manuel Alves | Dissertação de mestrado | Acesso aberto |
| 2021 | Compositional analysis of vulnerabilities in microservice-based applications | Loureiro, Nelson Diogo Santos | Dissertação de mestrado | Acesso aberto |
| 2017 | Correct translation of imperative programs to single assignment form | Azevedo, Marta Vasconcelos Castro | Dissertação de mestrado | Acesso aberto |
| 2019 | Deteção de fraude em telecomunicações através de machine learning | Caldas, Luísa Lopes | Dissertação de mestrado | Acesso aberto |
| 2014 | Um estudo sobre a correspondência entre programação funcional com continuações e programação imperativa Single assignment | Ferreira, Tiago Alexandre da Costa | Dissertação de mestrado | Acesso aberto |
| 11-Jan-2023 | Formalization in Coq of the standardization theorem for λ-calculus | Calisto, Bruna Isabel Afonso | Dissertação de mestrado | Acesso aberto |
| 2012 | Lógica da separação e verificação formal de programas | Santos, Isabel Maria Ventura | Dissertação de mestrado | Acesso aberto |
| 2018 | Modelação e prototipagem de ChatBots | Pereira, Carlos António Senra | Dissertação de mestrado | Acesso aberto |
| 2009 | O teorema da normalização para lógica de primeira ordem | Correia, Jorge Manuel Martins | Dissertação de mestrado | Acesso aberto |
