| # | Name / Author | Supervisor / Affiliation | Status |
|---|---|---|---|
| 1 | Communication Middleware for the Future Mobile Internet
Author: Daniel Nunes Corujo |
Supervisor: Rui Luís Andrade Aguiar UA - DETI / IT - Aveiro branch |
Concluded 2009 - 2013 |
| 2 | 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 |
| 3 | 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 |
| 4 | 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 |
| 5 | 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 |
| 6 | Spatio-Temporal Prediction Methods
Author: Orlando Shigueo Ohashi Junior |
Supervisor: Luis Fernando Rainho Alves Torgo UP - FCUP - DCC / LIAAD - INESC TEC |
Concluded 2008 - 2013 |
| 7 | 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 |
| 8 | 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 |
| 9 | A Text Mining System for Evaluating the Stock Market's Response to News
Author: Brett Mylo Drury |
Supervisor: Luis Fernando Rainho Alves Torgo Cosupervisor: José João Dias de Almeida UP - FCUP - DCC / LIAAD - INESC TEC |
Concluded 2007 - 2013 |
| 10 | Towards certified program logics for imperative programs
Author: David Miguel Ramalho Pereira |
Supervisor: Nelma Resende Araújo Moreira Cosupervisor: Simão Melo de Sousa UP - FCUP - DCC / LIACC |
Concluded 2007 - 2013 |
| 11 | Data warehouses in the path from databases to archives
Author: Arif Ur Rahman |
Cosupervisor: Maria Cristina de Carvalho Alves Ribeiro Supervisor: Gabriel de Sousa Torcato David UP - FEUP - DEI / CSIG - INESC TEC |
Concluded 2007 - 2013 |
| 12 | Relational Databases Digital Preservation
Author: Ricardo André Pereira Freitas |
Supervisor: José Carlos Ramalho UM - DI / CCTC |
Concluded 2007 - 2013 |
| 13 | Electronic Health Records for Mobile Citizens: A Secure and Collaborative Architecture
Author: Tiago Miguel Ferreira Guimarães Pedrosa |
Cosupervisor: Rui Pedro Lopes Supervisor: José Luís Guimarães Oliveira UA - DETI / IEETA |
Concluded 2007 - 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