| # | Name / Author | Supervisor / Affiliation | Status |
|---|---|---|---|
| 196 | Formal Verification of Safety-critical Reactive Systems in Ada
Author: José Miguel Sampaio Faria |
UM - DI / HASLab - INESC TEC | Suspended 2009 - ... |
| 197 | Communication between nodes and domains in self-management networks
Author: Lucas Guardalben |
Supervisor: Susana Isabel Barreto de Miranda Sargento Cosupervisor: Paulo Jorge dos Santos Gonçalves Ferreira UA - DETI / IT - Aveiro branch |
Concluded 2009 - 2014 |
| 198 | Lossy-to-lossless compression for microarray images and whole genome alignments
Author: Luís Miguel de Oliveira Matos |
Supervisor: António José Ribeiro Neves UA - DETI / IEETA |
Concluded 2009 - 2015 |
| 199 | A Semantically Enhanced Cloud Based Personal Digital Repository
Author: Marco Filipe Nunes Soares Abrantes Pereira |
Supervisor: Joaquim Arnaldo Carvalho Martins UA - DETI / IEETA |
Concluded 2009 - 2016 |
| 200 | Epidemic algorithms for large scale data dissemination
Author: Miguel Ângelo Marques de Matos |
Supervisor: Rui Carlos Oliveira UM - DI / HASLab - INESC TEC |
Concluded 2009 - 2013 |
| 201 | Enhancing the Usability, Computational Efficiency and Reliability of EEG-based Brain Machine Interfaces
Author: Nuno Miguel de Melo Figueiredo |
Supervisor: Petia Georgieva Georgieva Cosupervisor: Filipe Miguel Teixeira Pereira da Silva UA - DETI / IEETA |
Suspended 2009 - ... |
| 202 | Security and privacy in network namespaces
Author: Rui Abreu de Carvalho Ferreira |
Supervisor: Rui Luís Andrade Aguiar UA - DETI / IT - Aveiro branch |
Concluded 2009 - 2019 |
| 203 | Parallel Programming by Transformation
Author: Rui Carlos Araújo Gonçalves |
Cosupervisor: João Saraiva Supervisor: João Luís Ferreira Sobral UM - DI / ALGORITMI |
Concluded 2009 - 2015 |
| 204 | Organizational Transactions with Embedded Control
Author: Rui Pedro Figueiredo Marques |
Supervisor: Henrique Manuel Dinis dos Santos Cosupervisor: Carlos Alberto Lourenço dos Santos UM - DSI / ALGORITMI |
Concluded 2009 - 2014 |
| 205 | Distributed video coding
Author: Zhinoos Razavi Hesabi |
Supervisor: António José Nunes Navarro Rodrigues UA - DETI / IT - Aveiro branch |
Suspended 2009 - ... |
| 206 | An Agent-Based Architecture for Online Dispute Resolution Services
Author: Davide Rua Carneiro |
Supervisor: Paulo Jorge Freitas de Oliveira Novais UM - DI / CCTC |
Concluded 2009 - 2013 |
| 207 | DACA: Architecture to Implement Dynamic Access Control Mechanisms on Business Tier Components
Author: Óscar Narciso Mortágua Pereira |
Supervisor: Rui Luís Andrade Aguiar Cosupervisor: Maribel Yasmina Santos UA - DETI / IT - Aveiro branch |
Concluded 2009 - 2013 |
| 208 | Distributed Medical Imaging Repositories Towards the Anywhere, Anytime Medical Image Sharing
Author: Luís Miguel Saraiva Ribeiro |
Supervisor: Carlos Manuel Azevedo Costa UA - DETI / IEETA |
Concluded 2009 - 2014 |
| 209 | A relational algebra approach to ETL modeling
Author: Vasco Nuno Caio dos Santos |
Supervisor: Orlando Manuel de Oliveira Belo UM - DI / ALGORITMI |
Concluded 2009 - 2015 |
| 210 | Semantics-based Program Verification: na Abstract Interpretation Approach
Author: Vitor Gabriel dos Reis Machado Rodrigues |
Cosupervisor: António Mário da Silva Marcos Florido Supervisor: Simão Melo de Sousa UP - FCUP - DCC / LIACC |
Concluded 2008 - 2013 |
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