| # | Name / Author | Supervisor / Affiliation | Status |
|---|---|---|---|
| 1 | 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 |
| 2 | 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 |
| 3 | 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 |
| 4 | Rapid Prototyping of Ubiquitous Computing Environments
Author: José Luís Cardoso da Silva |
Cosupervisor: Rui Luís Andrade Aguiar Supervisor: José Francisco Creissac Freitas de Campos UM - DI / HASLab - INESC TEC |
Concluded 2007 - 2012 |
| 5 | Time Series Motif Discovery
Author: Nuno José Constantino Castro |
Supervisor: Paulo Jorge de Sousa Azevedo UM - DI / HASLab - INESC TEC |
Concluded 2007 - 2012 |
| 6 | Matrices as arrows: why categories of matrices matter
Author: Hugo Daniel dos Santos Macedo |
Supervisor: José Nuno Oliveira UM - DI / HASLab - INESC TEC |
Concluded 2007 - 2012 |
| 7 | Bidirectional data transformation by calculation
Author: Hugo José Pereira Pacheco |
Supervisor: Manuel Alcino Pereira Cunha Cosupervisor: José Nuno Oliveira UM - DI / HASLab - INESC TEC |
Concluded 2007 - 2012 |
| 8 | Formal Verification of Cryptographic Software Implementations
Author: Bárbara Isabel de Sousa Vieira |
Supervisor: Manuel Bernardo Martins Barbosa UM - DI / CCTC |
Concluded 2007 - 2012 |
| 9 | Robust Distributed Data Aggregation
Author: Paulo César de Oliveira Jesus |
Supervisor: Carlos Baquero-Moreno Cosupervisor: Paulo Sérgio Soares de Almeida UM - DI / HASLab - INESC TEC |
Concluded 2007 - 2012 |
| 10 | Computacional Tools for Data Integration and Regulatory Network
Author: José Pedro Basto Gouveia Pereira Pinto |
Supervisor: Miguel Francisco de Almeida Pereira da Rocha UM - DI / CCTC |
Concluded 2007 - 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