Supervisions

PhD Theses

PhD Theses: 1

2018

Optimal Implementation of LTI Systems for Embedded Systems/ Real Time
PhD Thesis, Oct. 2018 [bibTex]

MSc Theses

MSc Theses: 11

2019

Dinis Pedro Pinto Marcos Madeira
Processador Didático P4 - Especificação e Implementação do Processador e Ambiente de Desenvolvimento
MSc Thesis at Universidade de Lisboa, May. 2019 [bibTex]

2018

Rafael Fernandes dos Santos
Advisors: J. Monteiro
Parallelization of Conditional Path Detection in Graphs
MSc Thesis at IST ULisboa, Sep. 2018 [bibTex]
Filipe Pedro Guerra Magalhães
Distributed Algorithm for the Analysis of Properties of Complex Networks
MSc Thesis at IST ULisboa, Jun. 2018 [bibTex]
Henrique Franco Correia Cavaleiro
Advisors: Paulo Flores
Extending OpenMSP430 Microcontroller for IoT Low-power Applications
MSc Thesis at Univ. Lisboa, Jun. 2018 [bibTex]
Paulo João Temoteo Rito
Advisors: Paulo Flores
SoC Implementation of OpenMSP430 Microcontroller in UMC 130nm
MSc Thesis at Univ. Lisboa, Jun. 2018 [bibTex]
José António Vieira Veiga de Faria
Machine Learning Techniques for System Modeling
MSc Thesis, May. 2018 [bibTex]

2017

Pedro Miguel da Conceição Santos Lousã
Micro-VMS: Unidade móvel VMS para embarcações de pesca artesanal
MSc Thesis, Nov. 2017 [bibTex]
Ricardo Sousa e Melo Cristino
Evaluation of Narrowband Technologies in Urban Environments
MSc Thesis, Oct. 2017 [bibTex]
Diogo Alexandre Ribeiro Ferreira
Improving the Precision of Indoor Positioning Systems
MSc Thesis, Jul. 2017 [bibTex]
André Filipe Ribeiro dos Reis
Algorithms for Maximum Satisfiability using GPU
MSc Thesis, Jun. 2017 [bibTex]
Tiago João Pereira da Silva
Paralelização de um algoritmo baseado em Monte Carlo para a análise de propriedades elétricas de circuitos integrados
MSc Thesis at Instituto Superior Técnico, May. 2017 [bibTex]

Training

Internships: 2

2019

Chen Zhimin (Jimmy)
Advisors: J. Monteiro
Development and Analysis of a SAT-model for Determining Short-circuit Conditions in Logic Circuits
short term traineeship, Jan. 2019 [bibTex]

2018

Vasco Miguel Liang Xu
Advisors: J. Monteiro
The Applicability of Gacuda in Developing Genetic Algorithms for Minimum Vertex Cover and Subset Sum Problem
short term traineeship, Aug. 2018 [bibTex]