Disfuncionalidades do sistema jurídico criminal do Brasil em face do direito fundamental à segurança

Tese de doutoramento, Direito (Ciências Jurídico-Políticas), Universidade de Lisboa, Faculdade de Direito, 2014

Real-time scheduling in multicore : time- and space-partitioned architectures

Tese de doutoramento, Informática (Engenharia Informática), Universidade de Lisboa, Faculdade de Ciências, 2014

Aplicações em ressonância magnética na área da neurorradiologia: estudos gerais, estudos vasculares, de suscetibilidade e da dinâmica de fluxo do LCR

Tese de mestrado integrado em Engenharia Biomédica e Biofísica , apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2014

Ensino de bases de dados : testes, deteção de erros e correções

Relatório da prática de ensino supervisionada, Mestrado em Ensino de Informática, Universidade de Lisboa, 2014

Programming multicores safely : handling barrier deadlocks

Tese de doutoramento, Informática (Ciências da Computação), Universidade de Lisboa, Faculdade de Ciências, 2015