| # | Name / Author | Supervisor / Affiliation | Status |
|---|---|---|---|
| 196 | Integrated enterprise messaging architecture
Author: José Pedro Garcia de Oliveira |
UM - DI / HASLab - INESC TEC | In progress 2007 - ... |
| 197 | Self-managing service platform
Author: Nuno Alexandre Abreu de Carvalho |
UM - DI / HASLab - INESC TEC | In progress 2007 - ... |
| 198 | Automatic Trading in Purely Speculative Markets
Author: Rui Jorge Pereira Gonçalves |
UP - FEUP - DEI | In progress 2007 - ... |
| 199 | Leveraging Diversity and Spatial Connectivity in Multi-hop Vehicular Networks
Author: Rui Manuel Pacheco Meireles |
Supervisor: João Francisco Cordeiro de Oliveira Barros Cosupervisor: Peter Steenkiste Cosupervisor: Michel Celestino Paiva Ferreira UP - FEUP - DEI / IT - Porto branch |
Concluded 2007 - 2015 |
| 200 | Civil protection applications in a grid supported environment
Author: Vítor Serafim Pereira de Oliveira |
UM - DI / CCTC | In progress 2007 - ... |
| 201 | From Information Systems Requirements to Service-Oriented Logical Architectures
Author: Nuno Alexandre Castro Ferreira |
Cosupervisor: Dragan Gaševi? Supervisor: Ricardo Jorge Silverio de Magalhaes Machado UM - DSI / ALGORITMI |
Concluded 2007 - 2014 |
| 202 | Tailoring CMMI-DEV and RUP Frameworks for ML2/3-Compliance Analysis
Author: Paula Alexandra Fernandes Monteiro |
Cosupervisor: Rick Kazman Supervisor: Ricardo Jorge Silverio de Magalhaes Machado UM - DSI / ALGORITMI |
Concluded 2007 - 2014 |
| 203 | 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 |
| 204 | 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 |
| 205 | Time Series Motif Discovery
Author: Nuno José Constantino Castro |
Supervisor: Paulo Jorge de Sousa Azevedo UM - DI / HASLab - INESC TEC |
Concluded 2007 - 2012 |
| 206 | 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 |
| 207 | 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 |
| 208 | Formal Verification of Cryptographic Software Implementations
Author: Bárbara Isabel de Sousa Vieira |
Supervisor: Manuel Bernardo Martins Barbosa UM - DI / CCTC |
Concluded 2007 - 2012 |
| 209 | Robust Distributed Data Aggregation
Author: Paulo César de Oliveira Jesus |
Supervisor: Carlos Miguel Ferraz Baquero Moreno Cosupervisor: Paulo Sérgio Soares de Almeida UM - DI / HASLab - INESC TEC |
Concluded 2007 - 2012 |
| 210 | Verification, Slicing, and Visualization of Programs with Contracts
Author: Daniela Carneiro da Cruz |
Supervisor: Pedro Manuel Rangel Henriques UM - DI / CCTC |
Concluded 2007 - 2011 |
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