| # | Name / Author | Supervisor / Affiliation | Status |
|---|---|---|---|
| 1 | 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 |
| 2 | Spatio-Temporal Prediction Methods
Author: Orlando Shigueo Ohashi Junior |
Supervisor: Luis Fernando Rainho Alves Torgo UP - FCUP - DCC / LIAAD - INESC TEC |
Concluded 2008 - 2013 |
| 3 | Real-Time Analysis of Vital Sign Signals for Online Health Monitoring
Author: Can Ye |
Cosupervisor: Vijayakumar Bhagavatula Supervisor: Miguel Tavares Coimbra UP - FCUP - DCC / IT - Porto branch |
Concluded 2008 - 2013 |
| 4 | Reliable and Energy Efficient Routing for Ad hoc Networks
Author: Vahid Nazari Talooki |
Supervisor: Jonathan Rodriguez Gonzalez UA - DETI / IT - Aveiro branch |
Concluded 2008 - 2014 |
| 5 | Elastic Enterprise Applications
Author: Ana Luísa Parreira Nunes |
Supervisor: José Orlando Pereira UM - DI / HASLab - INESC TEC |
Concluded 2008 - 2017 |
| 6 | Distributed Control of Road Traffic based on Vehicular Ad Hoc Networking
Author: Hugo Marcelo Fernandes da Conceição |
Cosupervisor: Peter Steenkiste Supervisor: Michel Celestino Paiva Ferreira UP - FCUP - DCC / IT - Porto branch |
Suspended 2008 - ... |
| 7 | Context-awareness Privacy in Data Communications
Author: João Miguel Ribeiro Gonçalves |
Supervisor: Diogo Nuno Pereira Gomes Cosupervisor: Rui Luís Andrade Aguiar UA - DETI / IT - Aveiro branch |
Concluded 2008 - 2015 |
| 8 | Improving Variable Selection and Mammography-based Machine Learning Classifiers for Breast Cancer CADx
Author: Noel Pérez Pérez |
Supervisor: Miguel Angel Guevara López Cosupervisor: Augusto Silva UP - FEUP - DEI / IEETA |
Concluded 2008 - 2015 |
| 9 | Foundations and techniques for software reconfigurability
Author: Alexandre Leite de Castro Madeira |
Cosupervisor: Manuel António Gonçalves Martins Supervisor: Luís Soares Barbosa UM - DI / HASLab - INESC TEC |
Concluded 2008 - 2013 |
| 10 | Benchmark-based Software Product Quality Evaluation
Author: Tiago Miguel Laureano Alves |
Supervisor: José Nuno Oliveira Cosupervisor: Joost Visser UM - DI / HASLab - INESC TEC |
Concluded 2008 - 2012 |
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