| # | Name / Author | Supervisor / Affiliation | Years |
|---|---|---|---|
| 91 | Mobility Patterns From Data
Author: Thiago de Andrade Silva |
Supervisor: João Manuel Portela da Gama UP - FCUP - DCC / LIAAD - INESC TEC |
2017 - 2024 |
| 92 | Mechanisms to Improve Network resilience and Robustness in Vehicular Networks
Author: Muhammad Awais Khan |
Supervisor: Jonathan Rodriguez Gonzalez Cosupervisor: Shahid Mumtaz UA - DETI / IT - Aveiro branch |
2016 - ... |
| 93 | Extending Conflict Free Replicated Data Types Fault Models
Author: Houssam Yactine |
Supervisor: Ali Shoker UM - DI / HASLab - INESC TEC |
2016 - 2025 |
| 94 | Beyond Distributed Transactions through Exactly-once Exchanges
Author: Ziad Kassam |
Supervisor: Ali Shoker Cosupervisor: Paulo Sérgio Soares de Almeida UM - DI / HASLab - INESC TEC |
2016 - 2024 |
| 95 | Safety verification for ROS software
Author: André Filipe Faria dos Santos |
Supervisor: Manuel Alcino Pereira Cunha UM - DI / HASLab - INESC TEC |
2016 - 2021 |
| 96 | Adaptive Computation Offloading in Mobile Edge Clouds
Author: Joaquim Magalhães Esteves da Silva |
Supervisor: Fernando Manuel Augusto da Silva Cosupervisor: Eduardo R B Marques UP - FCUP - DCC / CRACS - INESC TEC |
2016 - 2021 |
| 97 | Establishing trust and confidence among entities in distributed networks
Author: Francis Nwebonyi Nwebonyi |
Supervisor: Manuel Eduardo Carvalho Duarte Correia Cosupervisor: Rolando da Silva Martins UP - FCUP - DCC / CRACS - INESC TEC |
2016 - 2020 |
| 98 | Symmetric ciphers
Author: Óscar Francisco Godinho Pereira |
Supervisor: José Manuel Esgalhado Valença UM - DI / HASLab - INESC TEC |
2016 - ... |
| 99 | Compression-based Pattern Recognition: An example on ECG Biometrics
Author: João Miguel Rafael de Carvalho |
Supervisor: Susana Manuela Martinho dos Santos Baı́a Brás Cosupervisor: Armando José Formoso de Pinho UA - DETI / IEETA |
2016 - 2022 |
| 100 | Relative compression and its application to pattern recognition problems
Author: SeyedMorteza Hosseini |
Supervisor: Armando José Formoso de Pinho UA - DETI / IEETA |
2016 - 2020 |
| 101 | Contracts on-demand
Author: Leandro Rafael Moreira Gomes |
Supervisor: Luís Soares Barbosa Cosupervisor: Alexandre Leite de Castro Madeira UM - DI / HASLab - INESC TEC |
2016 - 2022 |
| 102 | Progressive Sparse Sampling for Physically Based Global Illumination
Author: César Morais Perdigão |
Supervisor: Luís Paulo Peixoto dos Santos UM - DI / CSIG - INESC TEC |
2016 - 2020 |
| 103 | Measuring User Influence and Reputation in Financial Social Media
Author: Bruno Miguel Pacheco Vieira |
Supervisor: Paulo Alexandre Ribeiro Cortez UM - DSI / ALGORITMI |
2016 - ... |
| 104 | Integrated verification of cryptographic security proofs and implementations
Author: Vitor Manuel Parreira Pereira |
Supervisor: Manuel Bernardo Martins Barbosa UP - FCUP - DCC / HASLab - INESC TEC |
2016 - 2020 |
| 105 | Holistic performance and scalability analysis for large scale distributed systems
Author: Francisco Nuno Teixeira Neves |
Supervisor: José Orlando Pereira UM - DI / HASLab - INESC TEC |
2016 - 2021 |
Events
Check incoming events
FAQ
For incoming Students
Check FAQ's for incoming students for answers to commonly asked questions.
FAQ
For current Students
Mailing List
Subscription