201007673 | Abbas Abdolmaleki | Thesis | |
UMinho-DI | UMinho-Algoritmi | ||
Reinforcement learning: An application on autonomous soccer robots | |||
Supervisor: | Luís Paulo Gonçalves dos Reis (UMinho-DSI) | ||
Cosupervisor: | Nuno Lau (UAveiro-DETI) | ||
CC Advisor: | Paulo Jorge dos Santos Gonçalves Ferreira (UAveiro-DETI) |
201101585 | Alina Liliana Trifan | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
Modular time-constrained algorithms for vision systems in autonomous mobile robots | |||
Supervisor: | António José Ribeiro Neves (UAveiro-DETI) | ||
Cosupervisor: | Manuel Bernardo Salvador Cunha (UAveiro-DETI) | ||
External Advisor: | Alexandre José Malheiro Bernardino (UTL-IST) | ||
CC Advisor: | Fernando Manuel Augusto da Silva (UPorto-FCUP-DCC) |
200800298 | Ana Luísa Parreira Nunes | Thesis | |
UMinho-DI | UMinho-HASLab | ||
Elastic Enterprise Applications | |||
Supervisor: | José Orlando Roque Nascimento Pereira (UMinho-DI) | ||
External Advisor: | José Enrique Armendáriz-Íñigo (UPNavarra) | ||
CC Advisor: | Joaquim Arnaldo Carvalho Martins (UAveiro-DETI) |
201209593 | Ana Patricia Oliveira Ferreira da Rocha | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
An Integrated System for Parkinson's Disease Patient Management and Follow Up | |||
Supervisor: | José Maria Amaral Fernandes (UAveiro-DETI) | ||
Cosupervisor: | João Paulo Silva Cunha (UPorto-FEUP-DEEC) | ||
External Advisor: | Paulo Fernando Pereira Carvalho (UCoimbra-FCTUC-DEI) |
201101913 | André de Matos Pedro | Thesis | |
UMinho-DI | IPPorto-CISTER | ||
Dynamic contracts for verification and enforcement of real-time systems properties | |||
Supervisor: | Luís Miguel Pinho (IPPorto-ISEP) | ||
Cosupervisor: | Jorge Sousa Pinto (UMinho-DI) | ||
External Advisor: | Simão Patrício de Melo Sousa (UBI-DI) | ||
CC Advisor: | Fernando Manuel Augusto da Silva (UPorto-FCUP-DCC) |
200706626 | André Leite Ferreira | Thesis | |
UMinho-DSI | UMinho-Algoritmi | ||
Software Process Improvement Strategies: Six Sigma and PSP/TSP for CMMI Level 5 | |||
Supervisor: | Ricardo Jorge Silvério de Magalhães Machado (UMinho-DSI) | ||
External Advisor: | Fernando Brito e Abreu (ISCTE) | ||
CC Advisor: | Joaquim Arnaldo Carvalho Martins (UAveiro-DETI) |
201108128 | Anisa Allahdadidastjerdi | Thesis | |
UPorto-FEUP-DEI | UPorto-INESCP | ||
Applying Hidden Markov Models to Wireless Networks | |||
Supervisor: | Ricardo Santos Morla (UPorto-FEUP-DEEC) | ||
Cosupervisor: | Jaime dos Santos Cardoso (UPorto-FEUP-DEEC) | ||
External Advisor: | Rui Pedro Magalhães Claro Prior (UPorto-FCUP-DCC) | ||
CC Advisor: | Paulo Jorge dos Santos Gonçalves Ferreira (UAveiro-DETI) |
201108128 | Anisa Allahdadidastjerdi | Thesis | |
UPorto-FEUP-DEI | UPorto-INESCP | ||
Applying Hidden Markov Models to Wireless Networks | |||
Supervisor: | Ricardo Santos Morla (UPorto-FEUP-DEEC) | ||
Cosupervisor: | Jaime dos Santos Cardoso (UPorto-FEUP-DEEC) | ||
External Advisor: | João Paulo Baptista Carvalho (UTL-IST) | ||
CC Advisor: | Paulo Jorge dos Santos Gonçalves Ferreira (UAveiro-DETI) |
200707296 | António Carlos Oliveira Júnior | Thesis | |
UMinho-DI | UMinho-Algoritmi | ||
User Centric Routing | |||
Supervisor: | António Duarte Costa (UMinho-DI) | ||
Cosupervisor: | Helena Rute Esteves Carvalho Sofia (ULHT-SITI) | ||
External Advisor: | Paulo da Fonseca Pinto (UNL-FCT-DI) | ||
CC Advisor: | José Luís Guimarães Oliveira (UAveiro-DETI) |
200806087 | Bruno José Duro Batista | Thesis | |
UMinho-DI | UMinho-Algoritmi | ||
Information Centric Opportunistic Networks | |||
Supervisor: | Paulo Mateus Mendes (UMinho-DEI) | ||
Cosupervisor: | Paulo Jorge Milheiro Mendes (ULHT-SITI) | ||
External Advisor: | Rui Jorge Morais Tomaz Valadas (UTL-IST) | ||
CC Advisor: | Gabriel de Sousa Torcato David (UPorto-FEUP-DEI) |
200806823 | Can Ye | Thesis | |
UPorto-FCUP-DCC | UPorto-IT | ||
Vital Responder Signal Processing and Data Analysis | |||
Supervisor: | Miguel Tavares Coimbra (UPorto-FCUP-DCC) | ||
Cosupervisor: | Vijayakumar Bhagavatula (CMU-ECE) | ||
CC Advisor: | José Luís Guimarães Oliveira (UAveiro-DETI) |
201001478 | Carlos André Marques Viana Ferreira | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
Medical Imaging Services over the Cloud | |||
Supervisor: | Carlos Manuel Azevedo Costa (UAveiro-DETI) | ||
External Advisor: | Rui Pedro Sanches de Castro Lopes (IPBragança) | ||
CC Advisor: | Rui Carlos Mendes Oliveira (UMinho-DI) |
201005002 | Carlos Eduardo Bastos e Marques da Silva | Thesis | |
UMinho-DI | UMinho-HASLab | ||
Reverse engineering of Web applications | |||
Supervisor: | José Creissac Campos (UMinho-DI) | ||
External Advisor: | Duarte Nuno Jardim Nunes (UMadeira) | ||
CC Advisor: | Beatriz Sousa Santos (UAveiro-DETI) |
201008612 | Carlos Eduardo da Silva Pereira | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
Multimodal Personal Health Assistant | |||
Supervisor: | António Joaquim da Silva Teixeira (UAveiro-DETI) | ||
Cosupervisor: | Miguel Oliveira e Silva (UAveiro-DETI) | ||
External Advisor: | José Miguel de Oliveira Monteiro Sales Dias (ISCTE) | ||
CC Advisor: | Gabriel de Sousa Torcato David (UPorto-FEUP-DEI) |
200908373 | César Telmo de Oliveira e Costa | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
Decision support platform based on integrated Regional Health Records | |||
Supervisor: | João Paulo Silva Cunha (UPorto-FEUP-DEEC) | ||
External Advisor: | Luís Miguel Velez Lapão (UNL-IHMT) | ||
CC Advisor: | LuÍs Manuel Dias Coelho Soares Barbosa (UMinho-DI) |
200204359 | Cláudio Frederico Pinho Rebelo de Sá | Thesis | |
UPorto-FEUP-DEI | UPorto-INESCP | ||
Mining Association Rules for Label Ranking | |||
Supervisor: | Carlos Manuel Milheiro de Oliveira Pinto Soares (UPorto-FEUP-DEI) | ||
Cosupervisor: | Joost N. Kok (ULeiden-LIACS) | ||
External Advisor: | André Ponce de Leon Ferreira de Carvalho (USP-ICMC) | ||
CC Advisor: | Gabriel de Sousa Torcato David (UPorto-FEUP-DEI) |
200204359 | Cláudio Frederico Pinho Rebelo de Sá | Thesis | |
UPorto-FEUP-DEI | UPorto-INESCP | ||
Mining Association Rules for Label Ranking | |||
Supervisor: | Carlos Manuel Milheiro de Oliveira Pinto Soares (UPorto-FEUP-DEI) | ||
Cosupervisor: | Joost N. Kok (ULeiden-LIACS) | ||
External Advisor: | Bernhard Pfahringer (UWaikato) | ||
CC Advisor: | Gabriel de Sousa Torcato David (UPorto-FEUP-DEI) |
201002520 | Constantin Taivan | Thesis | |
UMinho-DSI | UMinho-Algoritmi | ||
An application framework for open application development and distribution in Pervasive Display Networks | |||
Supervisor: | Rui João Peixoto José (UMinho-DSI) | ||
External Advisor: | Adrian Friday (ULancaster) | ||
CC Advisor: | Fernando Manuel Augusto da Silva (UPorto-FCUP-DCC) |
200708117 | Daniel Filipe de Almeida Martins | Thesis | |
UMinho-DI | UMinho-CCTC | ||
Real-time shadows and global illumination in computer graphics | |||
Supervisor: | António José Borba Ramires Fernandes (UMinho-DI) | ||
External Advisor: | João Madeiras Pereira (UTL-IST) | ||
CC Advisor: | Gabriel de Sousa Torcato David (UPorto-FEUP-DEI) |
201101584 | Diogo Rodrigo Marques Pratas | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
Compression of next-generation sequencing data | |||
Supervisor: | Armando José Formoso de Pinho (UAveiro-DETI) | ||
External Advisor: | Mário Figueiredo (UTL-IST) | ||
CC Advisor: | Fernando Manuel Augusto da Silva (UPorto-FCUP-DCC) |
201204660 | Edgar Duarte de Jesus Valente Marques Coelho | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
Computational Prediction of Inter-Species Protein Interactions | |||
Supervisor: | Joel Perdiz Arrais (UCoimbra-FCTUC-DEI) | ||
Cosupervisor: | José Luís Guimarães Oliveira (UAveiro-DETI) | ||
External Advisor: | Miguel Reboiro Jato (UVigo-ESEI) | ||
CC Advisor: | Fernando Manuel Augusto da Silva (UPorto-FCUP-DCC) |
201003807 | Eduardo Augusto Peixoto da Silva Brito | Curricular | |
UMinho-DI | UMinho-HASLab | ||
Formal Verification of High Integrity Software Dealing with Resources | |||
Supervisor: | Jorge Sousa Pinto (UMinho-DI) | ||
Cosupervisor: | Luís Filipe Ribeiro Pinto (UMinho-CMAT) | ||
External Advisor: | Simão Patrício de Melo Sousa (UBI-DI) | ||
CC Advisor: | Gabriel de Sousa Torcato David (UPorto-FEUP-DEI) |
200906173 | Eduardo Sabina dos Santos Valente | Thesis | |
UMinho-DI | UMinho-CCTC | ||
Development of Computational Tools for the Integrated Analysis of DNA Microarray Data | |||
Supervisor: | Miguel Francisco Pereira Rocha (UMinho-DI) | ||
Cosupervisor: | Rui Manuel Vieira Reis (UMinho-ECS) | ||
External Advisor: | Florentino Fernández Riverola (UVigo-ESEI) |
201206839 | Eriksson Jorge Melicio Monteiro | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
Distributed and Interactive Solutions for Ubiquitous Telemedicine | |||
Supervisor: | Carlos Manuel Azevedo Costa (UAveiro-DETI) | ||
Cosupervisor: | José Luís Guimarães Oliveira (UAveiro-DETI) | ||
External Advisor: | Francisco Javier Nóvoa de Manuel (UCoruña-FI) | ||
CC Advisor: | LuÍs Manuel Dias Coelho Soares Barbosa (UMinho-DI) |
200903869 | Ernesto Rodrigues Afonso | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
An Echocardiographic CBR System Based on the MPEG-7 Standard | |||
Supervisor: | Augusto Marques Ferreira da Silva (UAveiro-DETI) | ||
External Advisor: | Manuel José Cabral dos Santos Reis (UTAD) | ||
CC Advisor: | Gabriel de Sousa Torcato David (UPorto-FEUP-DEI) |
201202392 | Eurico Farinha Pedrosa | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
High Level Robot Navigation in Indoor Environments | |||
Supervisor: | José Nuno Panelas Nunes Lau (UAveiro-DETI) | ||
Cosupervisor: | Artur José Carneiro Pereira (UAveiro-DETI) | ||
External Advisor: | Rodrigo Ventura (UTL-IST) | ||
CC Advisor: | Gabriel de Sousa Torcato David (UPorto-FEUP-DEI) |
200202378 | Filipa Mairos de Sousa Falcão dos Reis | Thesis | |
UMinho-DSI | UMinho-Algoritmi | ||
A Data Mining Approach to Improve Product Release Planning in Software Engineering | |||
Supervisor: | Paulo Alexandre Ribeiro Cortez (UMinho-DSI) | ||
External Advisor: | Fátima Rodrigues (IPPorto-ISEP) | ||
CC Advisor: | Gabriel de Sousa Torcato David (UPorto-FEUP-DEI) |
200700271 | Filipe José de Oliveira Campos | Thesis | |
UMinho-DI | UMinho-HASLab | ||
Fault Tolerant Service Integration | |||
Supervisor: | José Orlando Roque Nascimento Pereira (UMinho-DI) | ||
External Advisor: | Karl M. Göschka (VUT-IIS) | ||
CC Advisor: | Joaquim Arnaldo Carvalho Martins (UAveiro-DETI) |
200501263 | Flávio Manuel Fernandes Cruz | Thesis | |
UPorto-FCUP-DCC | UPorto-CRACS | ||
Supervisor: | Ricardo Jorge Gomes Lopes da Rocha (UPorto-FCUP-DCC) | ||
Cosupervisor: | Seith Goldstein (CMU-SCS) |
200501263 | Flávio Manuel Fernandes Cruz | Thesis | |
UPorto-FCUP-DCC | UPorto-CRACS | ||
Supervisor: | Ricardo Jorge Gomes Lopes da Rocha (UPorto-FCUP-DCC) | ||
Cosupervisor: | Frank Pfenning (CMU-SCS) |
201003757 | Francisco António Ferraz Martins de Almeida Maia | Thesis | |
UMinho-DI | UMinho-HASLab | ||
Declarative Cloud | |||
Supervisor: | Rui Carlos Mendes Oliveira (UMinho-DI) | ||
External Advisor: | António Casimiro (ULisboa-FCUL-DI) | ||
CC Advisor: | Fernando Manuel Augusto da Silva (UPorto-FCUP-DCC) |
200400772 | Francisco Miguel Carvalho Barros da Cruz | Thesis | |
UMinho-DI | UMinho-HASLab | ||
A Highly Scalable Transactional Query Engine for Cloud Computing | |||
Supervisor: | Rui Carlos Mendes Oliveira (UMinho-DI) | ||
External Advisor: | Pedro Bizarro (UCoimbra-FCTUC-DEI) | ||
CC Advisor: | Gabriel de Sousa Torcato David (UPorto-FEUP-DEI) |
200905020 | Frank Juergen Knaesel | Thesis | |
UAveiro-DETI | UAveiro-IT | ||
Converged Mobile Communications in Multiple Integrated Networks | |||
Supervisor: | Susana Sargento (UAveiro-DETI) | ||
Cosupervisor: | Pedro Neves (PT-IN) | ||
External Advisor: | Fernando Velez (UBI) | ||
CC Advisor: | Rui Carlos Mendes Oliveira (UMinho-DI) |
201003758 | Frederico Miguel Goulão Valente | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
Feature based repositories for medical imaging content based retrieval | |||
Supervisor: | Augusto Marques Ferreira da Silva (UAveiro-DETI) | ||
Cosupervisor: | Carlos Manuel Azevedo Costa (UAveiro-DETI) | ||
External Advisor: | Julián Dorado de la Calle (UCoruña-FI) | ||
CC Advisor: | Rui Carlos Mendes Oliveira (UMinho-DI) |
201007948 | Hadi Fanaee Tork | Thesis | |
UPorto-FCUP-DCC | UPorto-LIAAD | ||
Event Detection from Multidimensional Data Streams | |||
Supervisor: | João Manuel Portela da Gama (UPorto-FEP) | ||
External Advisor: | Mário Figueiredo (UTL-IST) | ||
CC Advisor: | LuÍs Manuel Dias Coelho Soares Barbosa (UMinho-DI) |
201003077 | Hamid Arabnejad | Thesis | |
UPorto-FEUP-DEI | UPorto-LIACC | ||
Concurrent Workflow Scheduling on Heterogeneous Distributed Systems | |||
Supervisor: | Jorge Manuel Gomes Barbosa (UPorto-FEUP-DEI) | ||
External Advisor: | Leonel Sousa (UTL-IST) | ||
CC Advisor: | LuÍs Manuel Dias Coelho Soares Barbosa (UMinho-DI) |
201002699 | Hugo Amilcar Castelo Pires | Thesis | |
UMinho-DI | UMinho-CCTC | ||
Markerless Motion Capture for Performing Dancers | |||
Supervisor: | António José Borba Ramires Fernandes (UMinho-DI) | ||
External Advisor: | João Pedro de Almeida Barreto (UCoimbra-FCTUC-DEEC) | ||
CC Advisor: | Gabriel de Sousa Torcato David (UPorto-FEUP-DEI) |
200405793 | Hugo Marcelo Fernandes da Conceição | Thesis | |
UPorto-FCUP-DCC | UPorto-IT | ||
Distributed Control of Road Traffic based on Vehicular Ad Hoc Networking | |||
Supervisor: | Michel Celestino Paiva Ferreira (UPorto-FCUP-DCC) | ||
Cosupervisor: | Peter Steenkiste (CMU-SCS) | ||
External Advisor: | Ozan Tonguz (CMU-ECE) | ||
CC Advisor: | José Luís Guimarães Oliveira (UAveiro-DETI) |
200907242 | Javad Zarrin | Thesis | |
UAveiro-DETI | UAveiro-IT | ||
Discovery and Usage of Resources Inside Dense Systems | |||
Supervisor: | Rui Luís Andrade Aguiar (UAveiro-DETI) | ||
External Advisor: | Rui M. Rocha (UTL-IST) | ||
CC Advisor: | LuÍs Manuel Dias Coelho Soares Barbosa (UMinho-DI) |
200907243 | João Carlos Garcia da Cunha Barbosa | Thesis | |
UMinho-DI | UMinho-CCTC | ||
Hardware Aware Scheduling in Heterogeneous Environments | |||
Supervisor: | Luis Paulo Peixoto dos Santos (UMinho-DI) | ||
Cosupervisor: | Donald Fussell (UTexas) | ||
External Advisor: | Calvin Lin (UTexas) | ||
CC Advisor: | Fernando Manuel Augusto da Silva (UPorto-FCUP-DCC) |
200907243 | João Carlos Garcia da Cunha Barbosa | Thesis | |
UMinho-DI | UMinho-CCTC | ||
Hardware Aware Scheduling in Heterogeneous Environments | |||
Supervisor: | Luis Paulo Peixoto dos Santos (UMinho-DI) | ||
Cosupervisor: | Alberto Proença (UMinho-DI) | ||
External Advisor: | Calvin Lin (UTexas) | ||
CC Advisor: | Fernando Manuel Augusto da Silva (UPorto-FCUP-DCC) |
201002521 | João Dinis Colaço de Freitas | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
Silent Speech for Human-Computer Interface in European Portuguese | |||
Supervisor: | António Joaquim da Silva Teixeira (UAveiro-DETI) | ||
Cosupervisor: | José Miguel de Oliveira Monteiro Sales Dias (ISCTE) | ||
External Advisor: | Carlos Jorge da Conceição Teixeira (ULisboa-FCUL-DI) | ||
CC Advisor: | LuÍs Manuel Dias Coelho Soares Barbosa (UMinho-DI) |
200902683 | João Manuel Leite da Silva | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
Information fusion and low-level behaviors for multi-robot systems | |||
Supervisor: | Nuno Lau (UAveiro-DETI) | ||
Cosupervisor: | António José Ribeiro Neves (UAveiro-DETI) |
201103860 | João Miguel Ribeiro Carneiro | Curricular | |
UMinho-DI | UMinho-CCTC | ||
Group Argumentation System Considering the Affective Context and Satisfaction Evaluation | |||
Supervisor: | Paulo Jorge Freitas Oliveira Novais (UMinho-DI) | ||
Cosupervisor: | Maria Goretti Marreiros (IPPorto-ISEP) |
200807907 | João Miguel Ribeiro Gonçalves | Thesis | |
UAveiro-DETI | UAveiro-IT | ||
Integrated Identity and Context Management Architecture for Privacy-Enabled Context-Awareness | |||
Supervisor: | Rui Luís Andrade Aguiar (UAveiro-DETI) | ||
Cosupervisor: | Diogo Nuno Pereira Gomes (UAveiro-DETI) | ||
External Advisor: | Paulo Simões (UCoimbra-FCTUC-DEI) | ||
CC Advisor: | Rui Carlos Mendes Oliveira (UMinho-DI) |
199701380 | João Nuno Vinagre Marques da Silva | Thesis | |
UPorto-FCUP-DCC | UPorto-LIAAD | ||
Scalable adaptive collaborative filtering | |||
Supervisor: | Alípio Mário Guedes Jorge (UPorto-FCUP-DCC) | ||
Cosupervisor: | João Manuel Portela da Gama (UPorto-FEP) | ||
External Advisor: | André Ponce de Leon Ferreira de Carvalho (USP-ICMC) | ||
CC Advisor: | Rui Carlos Mendes Oliveira (UMinho-DI) |
201008565 | João Tiago Medeiros Paulo | Thesis | |
UMinho-DI | UMinho-HASLab | ||
Dependable Centralized Storage Management for Cloud Computing | |||
Supervisor: | José Orlando Roque Nascimento Pereira (UMinho-DI) | ||
External Advisor: | Alysson Neves Bessani (ULisboa-FCUL-DI) | ||
CC Advisor: | Fernando Manuel Augusto da Silva (UPorto-FCUP-DCC) |
201201350 | Jorge Cunha Mendes | Thesis | |
UMinho-DI | UMinho-CCTC | ||
Evolution of Model-Driven Spreadsheets in a Collaborative Environment | |||
Supervisor: | João Alexandre Baptista Saraiva (UMinho-DI) | ||
Cosupervisor: | Jácome Cunha (IPPorto-ESTG) | ||
External Advisor: | Martin Erwig (OSU-SEECS) | ||
CC Advisor: | Gabriel de Sousa Torcato David (UPorto-FEUP-DEI) |
200000431 | José Carlos de Queirós Pinto | Thesis | |
UPorto-FEUP-DEI | UPorto-ISR | ||
Cooperation Infrastructures for heterogeneous network vehicle and systems | |||
Supervisor: | Fernando Lobo Pereira (UPorto-FEUP-DEEC) | ||
External Advisor: | Raja Sengupta (UCB) | ||
CC Advisor: | Fernando Manuel Augusto da Silva (UPorto-FCUP-DCC) |
200905021 | José Casimiro Nunes Pereira | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
Natural Language Generation in the context of Multimodal Interaction in Portuguese | |||
Supervisor: | António Joaquim da Silva Teixeira (UAveiro-DETI) | ||
Cosupervisor: | Joaquim Manuel Henriques de Sousa Pinto (UAveiro-DETI) | ||
External Advisor: | José Miguel de Oliveira Monteiro Sales Dias (ISCTE) | ||
CC Advisor: | Joaquim Arnaldo Carvalho Martins (UAveiro-DETI) |
200600392 | José Mário Figueiredo Serra | Thesis | |
UPorto-FCUP-DCC | UPorto-IT | ||
Intelligent facial animation: Creating emphatic characters with stimuli based animation | |||
Supervisor: | Verónica Costa Orvalho (UPorto-FCUP-DCC) | ||
Cosupervisor: | José Miguel de Oliveira Monteiro Sales Dias (ISCTE) | ||
External Advisor: | Adérito Marcos (UAberta) | ||
CC Advisor: | Rui Carlos Mendes Oliveira (UMinho-DI) |
199704388 | José Miguel Sampaio Faria | Thesis | |
UMinho-DI | UMinho-HASLab | ||
Formal Verification of Safety-critical Reactive Systems in Ada | |||
Supervisor: | Jorge Sousa Pinto (UMinho-DI) | ||
Cosupervisor: | Simão Patrício de Melo Sousa (UBI-DI) | ||
External Advisor: | Luís Miguel Pinho (IPPorto-ISEP) | ||
CC Advisor: | Joaquim Arnaldo Carvalho Martins (UAveiro-DETI) |
198700997 | José Pedro Garcia de Oliveira | Thesis | |
UMinho-DI | UMinho-HASLab | ||
Integrated enterprise messaging architecture | |||
Supervisor: | José Orlando Roque Nascimento Pereira (UMinho-DI) | ||
External Advisor: | António Casimiro (ULisboa-FCUL-DI) | ||
CC Advisor: | José Luís Guimarães Oliveira (UAveiro-DETI) |
200900301 | Lucas Guardalben | Thesis | |
UAveiro-DETI | UAveiro-IT | ||
Communication Between Nodes and Domains over In-Network Management Paradigm | |||
Supervisor: | Susana Sargento (UAveiro-DETI) | ||
Cosupervisor: | Paulo Salvador (UAveiro-DETI) | ||
External Advisor: | Teresa Maria Sa Ferreira Vazão Vasques (UTL-IST) | ||
CC Advisor: | Rui Carlos Mendes Oliveira (UMinho-DI) |
201103937 | Luís António Bastião Silva | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
A federated architecture for biomedical data integration | |||
Supervisor: | Carlos Manuel Azevedo Costa (UAveiro-DETI) | ||
Cosupervisor: | José Luís Guimarães Oliveira (UAveiro-DETI) | ||
External Advisor: | José Antonio Seoane Fernández (UBristol) | ||
CC Advisor: | LuÍs Manuel Dias Coelho Soares Barbosa (UMinho-DI) |
200908417 | Luís Miguel de Oliveira Matos | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
Lossy-to-lossless compression of images | |||
Supervisor: | António José Ribeiro Neves (UAveiro-DETI) | ||
Cosupervisor: | Armando José Formoso de Pinho (UAveiro-DETI) | ||
External Advisor: | João Miguel Raposo Sanches (UTL-IST) | ||
CC Advisor: | LuÍs Manuel Dias Coelho Soares Barbosa (UMinho-DI) |
201203581 | Manika Kar | Thesis | |
UPorto-FEUP-DEI | UPorto-INESCP | ||
Summarization of Changes in Dynamic Text Collections | |||
Supervisor: | Sérgio Sobral Nunes (UPorto-FEUP-DEI) | ||
Cosupervisor: | Maria Cristina de Carvalho Alves Ribeiro (UPorto-FEUP-DEI) | ||
External Advisor: | Irene Pimenta Rodrigues (UEvora-DI) | ||
CC Advisor: | Beatriz Sousa Santos (UAveiro-DETI) |
200902604 | Marco Filipe Nunes Soares Abrantes Pereira | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
A Semantically Enhanced Cloud Based Personal Digital Repository | |||
Supervisor: | Joaquim Arnaldo Carvalho Martins (UAveiro-DETI) | ||
External Advisor: | José Borbinha (UTL-IST) | ||
CC Advisor: | Gabriel de Sousa Torcato David (UPorto-FEUP-DEI) |
201106483 | Mário Luís Pinto Antunes | Thesis | |
UAveiro-DETI | UAveiro-IT | ||
Knowledge Extraction from Unstructured Context Information | |||
Supervisor: | Diogo Nuno Pereira Gomes (UAveiro-DETI) | ||
Cosupervisor: | Rui Luís Andrade Aguiar (UAveiro-DETI) | ||
External Advisor: | Francisco Câmara Pereira (UCoimbra-FCTUC-DEI) | ||
CC Advisor: | Paulo Jorge dos Santos Gonçalves Ferreira (UAveiro-DETI) |
200906112 | Miguel Ângelo Marques de Matos | Thesis | |
UMinho-DI | UMinho-HASLab | ||
Very Large Scale Data Management | |||
Supervisor: | Rui Carlos Mendes Oliveira (UMinho-DI) | ||
External Advisor: | Pascal Felber (UNeuchatel-II) | ||
CC Advisor: | Gabriel de Sousa Torcato David (UPorto-FEUP-DEI) |
201100277 | Mohammadreza Valizadeh | Thesis | |
UPorto-FCUP-DCC | UPorto-LIAAD | ||
Improving the performance of text Information Retrieval (IR) Systems | |||
Supervisor: | Pavel Bernard Brazdil (UPorto-FEP) | ||
External Advisor: | João Paulo Cordeiro (UBI-DI) | ||
CC Advisor: | LuÍs Manuel Dias Coelho Soares Barbosa (UMinho-DI) |
201100778 | Mushtaq Raza | Thesis | |
UPorto-FEUP-DEI | UPorto-INESCP | ||
Automated Software Process Performance Analysis and Improvement Recommendation | |||
Supervisor: | João Carlos Pascoal de Faria (UPorto-FEUP-DEI) | ||
External Advisor: | Fernando Brito e Abreu (ISCTE) | ||
CC Advisor: | Paulo Jorge dos Santos Gonçalves Ferreira (UAveiro-DETI) |
200801441 | Noel Pérez | Thesis | |
UPorto-FEUP-DEI | UPorto-INEGI | ||
Development of Image AnalysisAlgorithms for Breast Cancer Detection: An Exploration on Grid Infrastructures | |||
Supervisor: | Miguel Angel Guevara López (UPorto-INEGI) | ||
Cosupervisor: | Augusto Marques Ferreira da Silva (UAveiro-DETI) | ||
External Advisor: | Jorge Salvador Marques (UTL-IST) | ||
CC Advisor: | Fernando Manuel Augusto da Silva (UPorto-FCUP-DCC) |
200703288 | Nuno Alexandre Abreu de Carvalho | Thesis | |
UMinho-DI | UMinho-HASLab | ||
Self-managing service platform | |||
Supervisor: | José Orlando Roque Nascimento Pereira (UMinho-DI) | ||
External Advisor: | Pascal Felber (UNeuchatel-II) | ||
CC Advisor: | Joaquim Arnaldo Carvalho Martins (UAveiro-DETI) |
201007509 | Nuno Alexandre Ramos de Carvalho | Thesis | |
UMinho-DI | UMinho-CCTC | ||
An Ontology Toolkit for Problem Domain Concept Location in Program Comprehension | |||
Supervisor: | José João Dias Almeida (UMinho-DI) | ||
Cosupervisor: | Maria João Varanda (IPBragança) | ||
External Advisor: | Mario Béron (UNSL) | ||
CC Advisor: | Beatriz Sousa Santos (UAveiro-DETI) |
201002698 | Nuno Ernesto Salgado Oliveira | Thesis | |
UMinho-DI | UMinho-HASLab | ||
Architectural Reconfiguration of Interacting Services | |||
Supervisor: | LuÍs Manuel Dias Coelho Soares Barbosa (UMinho-DI) | ||
External Advisor: | Farhad Arbab (CWI) | ||
CC Advisor: | Fernando Manuel Augusto da Silva (UPorto-FCUP-DCC) |
199904135 | Nuno Filipe Moreira Macedo | Thesis | |
UMinho-DI | UMinho-HASLab | ||
A relational approach to bidirectional transformations | |||
Supervisor: | Manuel Alcino Cunha (UMinho-DI) | ||
External Advisor: | Zhenjiang Hu (NII-Japan) | ||
CC Advisor: | Beatriz Sousa Santos (UAveiro-DETI) |
201006198 | Nuno Miguel Almeida Luz | Thesis | |
UMinho-DI | UMinho-CCTC | ||
Negotiation of Complex Ontology Alignments | |||
Supervisor: | Paulo Jorge Freitas Oliveira Novais (UMinho-DI) | ||
Cosupervisor: | Nuno Pinto Silva (IPPorto-ISEP) | ||
External Advisor: | Florentino Fernández Riverola (UVigo-ESEI) | ||
CC Advisor: | Beatriz Sousa Santos (UAveiro-DETI) |
200800396 | Nuno Miguel de Melo Figueiredo | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
Enhancing the Usability, Computational Efficiency and Reliability of EEG-based Brain Machine Interfaces | |||
Supervisor: | Filipe Miguel Teixeira Pereira da Silva (UAveiro-DETI) | ||
Cosupervisor: | Petia Giorgieva (UAveiro-DETI) | ||
External Advisor: | José Carlos Príncipe (UFlorida) | ||
CC Advisor: | Fernando Manuel Augusto da Silva (UPorto-FCUP-DCC) |
201106913 | Palwasha Afsar | Thesis | |
UMinho-DSI | UMinho-Algoritmi | ||
An Integrated System for Detection and Identification of Behaviors and Biometric Data | |||
Supervisor: | Paulo Alexandre Ribeiro Cortez (UMinho-DSI) | ||
Cosupervisor: | Henrique Manuel Dinis Santos (UMinho-DSI) | ||
External Advisor: | Jorge Batista (UCoimbra-FCTUC-DEEC) | ||
CC Advisor: | Paulo Jorge dos Santos Gonçalves Ferreira (UAveiro-DETI) |
201008611 | Paulo José Correia Bernardes | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
Virtual representation and visualisation methods for architectural and contextual information in archaeological sites | |||
Supervisor: | Joaquim João Estrela Ribeiro Silvestre Madeira (UAveiro-DETI) | ||
Cosupervisor: | Maria Manuela dos Reis Martins (UMinho-UAUM) | ||
External Advisor: | Maria Beatriz Carmo (ULisboa-FCUL-DI) | ||
CC Advisor: | LuÍs Manuel Dias Coelho Soares Barbosa (UMinho-DI) |
201002522 | Paulo Miguel da Silva Gaspar | Thesis | |
UAveiro-DETI | UAveiro-IEETA | ||
Machine learning and probabilistic models for biomedical knowledge engineering | |||
Supervisor: | José Luís Guimarães Oliveira (UAveiro-DETI) | ||
Cosupervisor: | Sérgio Matos (UAveiro-IEETA) | ||
External Advisor: | Jaime Carbonnel (CMU-SCS) | ||
CC Advisor: | Fernando Manuel Augusto da Silva (UPorto-FCUP-DCC) |
200000174 | Paulo Miguel Franco Correia de Brito | Thesis | |
UMinho-DI | UMinho-Algoritmi | ||
Real-time and high resolution 3D shape reconstruction for micro facial expressions recognition | |||
Supervisor: | Manuel João Ferreira (UMinho-DEI) | ||
Cosupervisor: | Elizabeth Simão Carvalho (UAtlântica-ISTR) | ||
CC Advisor: | Gabriel de Sousa Torcato David (UPorto-FEUP-DEI) |
201002519 | Paulo Ricardo Carvalho Vilaça | Thesis | |
UMinho-DI | UMinho-CCTC | ||
Computer aided design of metabolic pathways | |||
Supervisor: | Miguel Francisco Pereira Rocha (UMinho-DI) | ||
External Advisor: | Susana Vinga (UNL-FCM) | ||
CC Advisor: | João Paulo Silva Cunha (UPorto-FEUP-DEEC) |
201001533 | Pedro Miguel Ribeiro Martins | Thesis | |
UMinho-DI | UMinho-HASLab | ||
Zippers-based embedding of attribute grammars | |||
Supervisor: | João Alexandre Baptista Saraiva (UMinho-DI) | ||
Cosupervisor: | João Paulo de Sousa Ferreira Fernandes (UMinho-DI) | ||
External Advisor: | Eric Van Wyk (UMinnesota) | ||
CC Advisor: | Gabriel de Sousa Torcato David (UPorto-FEUP-DEI) |
200401757 | Pedro Tiago Magalhães Gomes | Thesis | |
UPorto-FCUP-DCC | UPorto-IT | ||
Estimating Fatigue from GAIT Using Accelerometers | |||
Supervisor: | Miguel Tavares Coimbra (UPorto-FCUP-DCC) | ||
External Advisor: | Paulo Fernando Pereira Carvalho (UCoimbra-FCTUC-DEI) | ||
CC Advisor: | LuÍs Manuel Dias Coelho Soares Barbosa (UMinho-DI) |
201105164 | Ricardo Jorge Tomé Gonçalves | Thesis | |
UMinho-DI | UMinho-HASLab | ||
Eventual Consistent Distributed Data Structure Server | |||
Supervisor: | Paulo Sérgio Soares de Almeida (UMinho-DI) | ||
Cosupervisor: | Victor Francisco Mendes de Freitas Gomes da Fonte (UMinho-DI) | ||
External Advisor: | Nuno Preguiça (UNL-FCT-DI) | ||
CC Advisor: | Beatriz Sousa Santos (UAveiro-DETI) |
201009494 | Ricardo Manuel Soares Anacleto | Thesis | |
UMinho-DI | UMinho-CCTC | ||
All Over the Place Location Systems | |||
Supervisor: | Paulo Jorge Freitas Oliveira Novais (UMinho-DI) | ||
Cosupervisor: | Ana Maria N. de Almeida B. Figueiredo (IPPorto-ISEP) | ||
External Advisor: | Florentino Fernández Riverola (UVigo-ESEI) | ||
CC Advisor: | João Paulo Silva Cunha (UPorto-FEUP-DEEC) |
201009494 | Ricardo Manuel Soares Anacleto | Thesis | |
UMinho-DI | UMinho-CCTC | ||
All Over the Place Location Systems | |||
Supervisor: | Paulo Jorge Freitas Oliveira Novais (UMinho-DI) | ||
Cosupervisor: | Lino Manuel Baptista Figueiredo (IPPorto-ISEP) | ||
External Advisor: | Florentino Fernández Riverola (UVigo-ESEI) | ||
CC Advisor: | João Paulo Silva Cunha (UPorto-FEUP-DEEC) |
200905024 | Rui Abreu de Carvalho Ferreira | Thesis | |
UAveiro-DETI | UAveiro-IT | ||
Name Resolution in the Internet: from function to valued Service | |||
Supervisor: | Rui Luís Andrade Aguiar (UAveiro-DETI) | ||
External Advisor: | Paulo da Fonseca Pinto (UNL-FCT-DI) | ||
CC Advisor: | Rui Carlos Mendes Oliveira (UMinho-DI) |
200900390 | Rui Carlos Araújo Gonçalves | Thesis | |
UMinho-DI | UMinho-CCTC | ||
Parallel Programming by Transformation | |||
Supervisor: | João Luís Ferreira Sobral (UMinho-DI) | ||
Cosupervisor: | Don Batory (UTexas) | ||
External Advisor: | Keshav Pingali (UTexas) | ||
CC Advisor: | Fernando Manuel Augusto da Silva (UPorto-FCUP-DCC) |
199802625 | Rui Jorge Pereira Gonçalves | Thesis | |
UPorto-FEUP-DEI | UPorto-ISR | ||
Automatic Trading in Purely Speculative Markets | |||
Supervisor: | Fernando Lobo Pereira (UPorto-FEUP-DEEC) | ||
Cosupervisor: | Ana Paula Rocha (UPorto-FEUP-DEI) | ||
External Advisor: | Ricardo Luis Rosa Jardim Gonçalves (UNL-FCT-DEE) |
200908369 | Rui Manuel Dias Ferreira Lima | Thesis | |
UMinho-DI | UMinho-HASLab | ||
Broadcast Cancellation in Untrusted Networks | |||
Supervisor: | Carlos Miguel Ferraz Baquero Moreno (UMinho-DI) | ||
Cosupervisor: | Hugo Alexandre Tavares Miranda (ULisboa-FCUL-DI) | ||
External Advisor: | Mário Alves (IPPorto-ISEP) | ||
CC Advisor: | Fernando Manuel Augusto da Silva (UPorto-FCUP-DCC) |
200104273 | Rui Manuel Pacheco Meireles | Thesis | |
UPorto-FEUP-DEI | UPorto-IT | ||
Situation-Aware Routing for Vehicular Wireless Networks | |||
Supervisor: | João Francisco Cordeiro de Oliveira Barros (UPorto-FEUP-DEEC) | ||
Cosupervisor: | Peter Steenkiste (CMU-SCS) |
200901642 | Rui Pedro Figueiredo Marques | Thesis | |
UMinho-DSI | UMinho-Algoritmi | ||
Organizational Transactions with Embedded Control | |||
Supervisor: | Henrique Manuel Dinis Santos (UMinho-DSI) | ||
Cosupervisor: | Carlos Alberto Lourenço dos Santos (UAveiro-ISCA) | ||
External Advisor: | Paulo José Osório Rupino da Cunha (UCoimbra-FCTUC-DEI) | ||
CC Advisor: | Gabriel de Sousa Torcato David (UPorto-FEUP-DEI) |
201100393 | Samih Eisa Suliman Abdalla | Thesis | |
UMinho-DSI | UMinho-Algoritmi | ||
Behavioral Modeling for Ambient Assisted Living based on Location and Tracking Patterns | |||
Supervisor: | Adriano Jorge Cardoso Moreira (UMinho-DSI) | ||
External Advisor: | Nuno Preguiça (UNL-FCT-DI) | ||
CC Advisor: | Fernando Manuel Augusto da Silva (UPorto-FCUP-DCC) |
201108930 | Sara dos Santos Fernandes | Thesis | |
UMinho-DI | UMinho-HASLab | ||
Peer-Production and Technology-Enhanced Collaborative Teaching and Learning | |||
Supervisor: | LuÍs Manuel Dias Coelho Soares Barbosa (UMinho-DI) | ||
Cosupervisor: | Antonio Cerone (UNU-Macau) | ||
External Advisor: | Donatella Persico (INRC) | ||
CC Advisor: | Paulo Jorge dos Santos Gonçalves Ferreira (UAveiro-DETI) |
200902265 | Sarvenaz Choobdar | Thesis | |
UPorto-FCUP-DCC | UPorto-CRACS | ||
On the characterization and comparison of complex networks | |||
Supervisor: | Fernando Manuel Augusto da Silva (UPorto-FCUP-DCC) | ||
External Advisor: | Marcus Kaiser (Newcastle Univ.) | ||
CC Advisor: | Rui Carlos Mendes Oliveira (UMinho-DI) |
200906096 | Vinay Uday Prabhu | Thesis | |
UPorto-FCUP-DCC | UPorto-IT | ||
Supervisor: | Miguel Rodrigues (UPorto-FCUP-DCC) | ||
Cosupervisor: | Rohit Negi (CMU-ECE) |
200702333 | Vítor Serafim Pereira de Oliveira | Thesis | |
UMinho-DI | UMinho-CCTC | ||
Civil protection applications in a grid supported environment | |||
Supervisor: | António Manuel da Silva Pina (UMinho-DI) | ||
External Advisor: | Domingos Xavier Filomeno Carlos Viegas (UCoimbra-FCTUC-DEEC) | ||
CC Advisor: | José Manuel Esgalhado Valença (UMinho-DI) |
201103881 | Waldir Spencer Pimenta Lima | Thesis | |
UMinho-DI | UMinho-CCTC | ||
Interactive Computer-Generated Holography | |||
Supervisor: | Luis Paulo Peixoto dos Santos (UMinho-DI) | ||
External Advisor: | Pedro Miguel do Vale Moreira (IPVC-ESTG) | ||
CC Advisor: | Beatriz Sousa Santos (UAveiro-DETI) |
200906068 | Zhinoos Razavi Hesabi | Thesis | |
UAveiro-DETI | UAveiro-IT | ||
Distributed video coding | |||
Supervisor: | António José Nunes Navarro Rodrigues (UAveiro-DETI) | ||
Cosupervisor: | Faramarz Fekri (Gatech) | ||
External Advisor: | Vitor Manuel Mendes Silva (UCoimbra-FCTUC-DEEC) | ||
CC Advisor: | Rui Carlos Mendes Oliveira (UMinho-DI) |
No thesis assigned yet | ||
201206838 | Carlos Eduardo Magalhães Guimarães | Curricular |
200201832 | Carlos Eduardo Teixeira Tavares | Curricular |
200000366 | Cláudio Manuel Pinto da Silva | Curricular |
201209597 | Emerson Ferreira de Aráujo Lima | Curricular |
201302031 | Gassan Abu Jumra Alsyad Ibrahim | Curricular |
201205778 | Gustavo Martins Pereira Pires | Curricular |
200707630 | Joana Sílvia Santos Côrte-Real | Curricular |
201301222 | João Afonso Vieira Casal | Curricular |
200700254 | João Filipe Rodrigues | Curricular |
201301197 | João Marco Cardoso da Silva | Curricular |
200705614 | João Pedro da Silva Monteiro | Curricular |
200604222 | Luis Miranda Cruz | Curricular |
201202391 | Mehreen Wahab | Curricular |
200705452 | Miguel Ramos de Araújo | Curricular |
201309857 | Pedro Miguel Lopes Sernadela | Curricular |
201302213 | Pedro Miguel Teixeira Olhero Pessoa Nora | Curricular |
201308870 | Renato Jorge Araújo Neves | Curricular |
201209594 | Salisu Mamman Abdulrahman | Curricular |
201308873 | Sara Abubakr Noureldin | Curricular |
201205633 | Senbo Fu | Curricular |
201206859 | Seyed Hamidreza Mohades Kasaei | Curricular |
201209595 | Vahid Mokhtari Hassanabad | Curricular |
201301846 | Viviane Gomes da Silva | Curricular |