|
|
| 200700273 | Fabio de Lima Hedayioglu | Concluded | 2014-06-13 | | | UPorto-FCUP-DCC | UPorto-IT | | | | | Supervisor: | Miguel Tavares Coimbra (UPorto-FCUP-DCC) | | Cosupervisor: | Sandra da Silva Mattos (RHPP) |
| 200401869 | Pedro Emanuel Rodrigues Gomes | Concluded | 2014-05-30 | | | UPorto-FCUP-DCC | UPorto-IT | | | | | Supervisor: | Michel Celestino Paiva Ferreira (UPorto-FCUP-DCC) |
| 200705284 | Nuno Alexandre Castro Ferreira | Concluded | 2014-04-02 | | | UMinho-DSI | UMinho-Algoritmi | | | | | Supervisor: | Ricardo Jorge Silvério de Magalhães Machado (UMinho-DSI) | | Cosupervisor: | Dragan Gasevic (Athabasca Univ.) |
| 200702331 | Paula Alexandra Fernandes Monteiro | Concluded | 2014-04-01 | | | UMinho-DSI | UMinho-Algoritmi | | | | | Supervisor: | Ricardo Jorge Silvério de Magalhães Machado (UMinho-DSI) | | Cosupervisor: | Rick Kazman (UHawaii) |
| 200905028 | David Emmanuel Marques Campos | Concluded | 2014-02-28 | | | UAveiro-DETI | UAveiro-IEETA | | | Mining biomedical information from scientific literature | | Supervisor: | José Luís Guimarães Oliveira (UAveiro-DETI) | | Cosupervisor: | Sérgio Matos (UAveiro-IEETA) |
| 200901519 | Davide Rua Carneiro | Concluded | 2013-11-22 | | | UMinho-DI | UMinho-CCTC | | | | | Supervisor: | Paulo Jorge Freitas Oliveira Novais (UMinho-DI) | | Cosupervisor: | José Maia Neves (UMinho-DI) |
| 200806919 | Tiago Miguel Ferreira Guimarães Pedrosa | Concluded | 2013-09-25 | | | UAveiro-DETI | UAveiro-IEETA | | | Electronic Health Records for Mobile Citizens: A Secure and Collaborative Architecture | | Supervisor: | José Luís Guimarães Oliveira (UAveiro-DETI) | | Cosupervisor: | Rui Pedro Sanches de Castro Lopes (IPBragança) |
| 200803533 | Alexandre Leite de Castro Madeira | Concluded | 2013-07-31 | | | UMinho-DI | UMinho-HASLab | | | | | Supervisor: | LuÍs Manuel Dias Coelho Soares Barbosa (UMinho-DI) | | Cosupervisor: | Manuel António Gonçalves Martins (UAveiro-DETI) |
| 200800359 | Ricardo André Pereira Freitas | Concluded | 2013-07-24 | | | UMinho-DI | UMinho-CCTC | | | Relational Databases Digital Preservation | | Supervisor: | José Carlos Leite Ramalho (UMinho-DI) |
| 200700270 | Arif Ur Rahman | Concluded | 2013-07-23 | | | UPorto-FEUP-DEI | UPorto-INESCP | | | Data warehouses in the path from databases to archives | | Supervisor: | Gabriel de Sousa Torcato David (UPorto-FEUP-DEI) | | Cosupervisor: | Maria Cristina de Carvalho Alves Ribeiro (UPorto-FEUP-DEI) |
| 200807931 | Orlando Shigueo Ohashi Junior | Concluded | 2013-07-18 | | | UPorto-FCUP-DCC | UPorto-LIAAD | | | Spatio-Temporal Prediction Methods | | Supervisor: | Luís Fernando Raínho Alves Torgo (UPorto-FCUP-DCC) |
| 200908368 | Óscar Narciso Mortágua Pereira | Concluded | 2013-07-15 | | | UAveiro-DETI | UAveiro-IT | | | | | Supervisor: | Rui Luís Andrade Aguiar (UAveiro-DETI) | | Cosupervisor: | Maribel Yasmina Santos (UMinho-DSI) |
| 200903761 | Daniel Nunes Corujo | Concluded | 2013-06-17 | | | UAveiro-DETI | UAveiro-IT | | | Communication Middleware for the Future Mobile Internet | | Supervisor: | Rui Luís Andrade Aguiar (UAveiro-DETI) |
| 199502322 | Vítor Gabriel dos Reis Machado Rodrigues | Concluded | 2013-05-15 | | | UPorto-FCUP-DCC | UPorto-LIACC | | | Semantics Based Program Verification: an Abstract Interpretation Approach | | Supervisor: | Simão Patrício de Melo Sousa (UBI-DI) | | Cosupervisor: | António Mário da Silva Marcos Florido (UPorto-FCUP-DCC) |
| 199801535 | David Miguel Ramalho Pereira | Concluded | 2013-04-18 | | | UPorto-FCUP-DCC | UPorto-LIACC | | | Towards certified program logics for the verification of imperative programs | | Supervisor: | Nelma Moreira (UPorto-FCUP-DCC) | | Cosupervisor: | Simão Patrício de Melo Sousa (UBI-DI) |
| 200801383 | Brett Mylo Drury | Concluded | 2013-03-22 | | | UPorto-FCUP-DCC | UPorto-LIAAD | | | A Text Mining System for Evaluating the Stock Market's Response to News | | Supervisor: | Luís Fernando Raínho Alves Torgo (UPorto-FCUP-DCC) | | Cosupervisor: | José João Dias Almeida (UMinho-DI) |
| 200704235 | Ricardo Manuel Pereira Vilaça | Concluded | 2012-12-14 | | | UMinho-DI | UMinho-HASLab | | | Clouder: A Flexible Large Scale Decentralized Object Store | | Supervisor: | Rui Carlos Mendes Oliveira (UMinho-DI) |
| 200708116 | José Luís Cardoso da Silva | Concluded | 2012-11-06 | | | UMinho-DI | UMinho-HASLab | | | Rapid Prototyping of Ubiquitous Computing Environments | | Supervisor: | José Creissac Campos (UMinho-DI) | | Cosupervisor: | Michael Harrison (Newcastle Univ.) |
| 200705282 | Nuno José Constantino Castro | Concluded | 2012-11-02 | | | UMinho-DI | UMinho-HASLab | | | Time Series Motif Discovery | | Supervisor: | Paulo Jorge Azevedo (UMinho-DI) |
| 200103816 | Hugo Daniel dos Santos Macedo | Concluded | 2012-10-16 | | | UMinho-DI | UMinho-HASLab | | | Matrices as arrows: why categories of matrices matter | | Supervisor: | José Nuno Fonseca Oliveira (UMinho-DI) |
| 200702332 | Hugo José Pereira Pacheco | Concluded | 2012-09-17 | | | UMinho-DI | UMinho-HASLab | | | Bidirectional data transformation by calculation | | Supervisor: | Manuel Alcino Cunha (UMinho-DI) | | Cosupervisor: | José Nuno Fonseca Oliveira (UMinho-DI) |
| 200708118 | Bárbara Isabel de Sousa Vieira | Concluded | 2012-06-25 | | | UMinho-DI | UMinho-CCTC | | | Formal Verification of Cryptographic Software Implementations | | Supervisor: | Manuel Bernardo Martins Barbosa (UMinho-DI) |
| 200002909 | Andreia Sofia da Costa Teixeira | Concluded | 2012-06-01 | | | UPorto-FCUP-DCC | UPorto-CRACS | | | Characterization of cryptographic primitives based on Kolmogorov complexity | | Supervisor: | Luis Filipe Coelho Antunes (UPorto-FCUP-DCC) |
| 200708115 | Tiago Manuel Laureano Alves | Concluded | 2012-05-15 | | | UMinho-DI | UMinho-CCTC | | | Benchmark-based Software Product Quality Evaluation | | Supervisor: | José Nuno Fonseca Oliveira (UMinho-DI) | | Cosupervisor: | Joost Visser (SIG) |
| 200702338 | Paulo César de Oliveira Jesus | Concluded | 2012-03-23 | | | UMinho-DI | UMinho-HASLab | | | Robust Distributed Data Aggregation | | Supervisor: | Carlos Miguel Ferraz Baquero Moreno (UMinho-DI) | | Cosupervisor: | Paulo Sérgio Soares de Almeida (UMinho-DI) |
| 200706290 | Daniela Carneiro da Cruz | Concluded | 2011-10-21 | | | UMinho-DI | UMinho-CCTC | | | Verification, Slicing, and Visualization of Programs with Contracts | | Supervisor: | Pedro Rangel Henriques (UMinho-DI) | | Cosupervisor: | Jorge Sousa Pinto (UMinho-DI) |
| 199803873 | Hugo José Sereno Lopes Ferreira | Concluded | 2011-05-27 | | | UPorto-FEUP-DEI | UPorto-INESCP | | | Adaptive Object-Modeling: Patterns, Tools and Applications | | Supervisor: | Ademar Manuel Teixeira de Aguiar (UPorto-FEUP-DEI) | | Cosupervisor: | João Carlos Pascoal de Faria (UPorto-FEUP-DEI) |
Submitted thesis
| 200904935 | André Frederico Guilhoto Monteiro | Submitted | | | | UAveiro-DETI | UAveiro-IEETA | | | | | Supervisor: | Joaquim Manuel Henriques de Sousa Pinto (UAveiro-DETI) | | Cosupervisor: | Cláudio Jorge Vieira Teixeira (UAveiro-DETI) |
| 199603822 | Bruno Miguel Ferreira de Oliveira | Submitted | | | | UPorto-FCUP-DCC | UPorto-IT | | | | | Supervisor: | Verónica Costa Orvalho (UPorto-FCUP-DCC) |
| 200904936 | Luís Miguel Saraiva Ribeiro | Submitted | | | | UAveiro-DETI | UAveiro-IEETA | | | | | Supervisor: | Carlos Manuel Azevedo Costa (UAveiro-DETI) |
| 200904937 | Muhammad Alam | Submitted | | | | UAveiro-DETI | UAveiro-IT | | | | | Supervisor: | Jonathan Rodriguez Gonzalez (UAveiro-IT) |
| 200807932 | Vahid Nazari Talooki | Submitted | | | | UAveiro-DETI | UAveiro-IT | | | | | Supervisor: | Jonathan Rodriguez Gonzalez (UAveiro-IT) |
|
