| # | Name / Author | Supervisor / Affiliation | Status |
|---|---|---|---|
| 196 | 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 |
| 197 | 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 |
| 198 | Characterization of cryptographic primitives based on Kolmogorov Complexity
Author: Andreia Sofia da Costa Teixeira |
Supervisor: Luís Filipe Coelho Antunes UP - FCUP - DCC / CRACS - INESC TEC |
Concluded 2007 - 2012 |
| 199 | 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 |
| 200 | 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 |
| 201 | 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 |
| 202 | Relational Databases Digital Preservation
Author: Ricardo André Pereira Freitas |
Supervisor: José Carlos Ramalho UM - DI / CCTC |
Concluded 2007 - 2013 |
| 203 | Clouder: A Flexible Large Scale Decentralized Object Store
Author: Ricardo Manuel Pereira Vilaça |
Supervisor: Rui Carlos Oliveira UM - DI / HASLab - INESC TEC |
Concluded 2007 - 2012 |
| 204 | Methodological Approaches for Software Processes Improvement in Multi-model Environments
Author: André Leite Ferreira |
Supervisor: Ricardo Jorge Silverio de Magalhaes Machado UM - DSI / ALGORITMI |
Concluded 2007 - 2016 |
| 205 | User-Centric Routing - Energy-efficient Routing
Author: António Carlos Oliveira Júnior |
Supervisor: Rute Sofia Cosupervisor: António Duarte Costa UM - DI / ALGORITMI |
Concluded 2007 - 2014 |
| 206 | Real-time shadows and global illumination in computer graphics
Author: Daniel Filipe de Almeida Martins |
UM - DI / CCTC | In progress 2007 - ... |
| 207 | Fault Tolerant Service Integration
Author: Filipe José de Oliveira Campos |
Supervisor: José Orlando Pereira UM - DI / HASLab - INESC TEC |
Concluded 2007 - 2016 |
| 208 | Cooperation Infrastructures for heterogeneous network vehicle and systems
Author: José Carlos de Queirós Pinto |
Supervisor: João Tasso de Sousa UP - FEUP - DEI / INESC TEC |
Suspended 2007 - ... |
| 209 | Integrated enterprise messaging architecture
Author: José Pedro Garcia de Oliveira |
UM - DI / HASLab - INESC TEC | In progress 2007 - ... |
| 210 | Self-managing service platform
Author: Nuno Alexandre Abreu de Carvalho |
UM - DI / HASLab - INESC TEC | In progress 2007 - ... |
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