| N | Title | Supervisor | Institution |
|---|
| 1 | Virtual Reality in Data Visualization: Interaction methods and devices | Paulo Dias, Beatriz Sousa Santos | IEETA (Aveiro) |
| 2 | Domain-specific Program Verification Infrastructures | José Bacelar Almeida, Jorge Sousa Pinto | CCTC (Minho) |
| 3 | Methods and Techniques to Analyze (source, intermediate, or target) Code, to extract and handle Application Component | Pedro Rangel Henriques, Jorge Sousa Pinto | CCTC (Minho) |
| 4 | Realtime Interactive High Quality Graphics | António Ramires Fernandes | CCTC (Minho) |
| 5 | Architectures for integration of hybrid simulation tools for wireless networks | Atílio Gameiro, Ramiro Robles | DETI, Univ. Aveiro, IT-Polo de Aveiro |
| 6 | Machine Learning Architectures and Algorithms for Cognitive Radio Networks | Atílio Gameiro, Paulo Marques | DETI, Univ. Aveiro, IT-Polo de Aveiro |
| 7 | Robust Distributed Data Aggregation | Carlos Baquero, Paulo Sérgio Almeida | CCTC (Minho) |
| 8 | Inception of Software Validation and Verification Practices within CMMI Level 2: An IEEE/ISO 29119 Roadmap | Ricardo J. Machado | Algoritmi (Minho) |
| 9 | Multi-staged Domain Specific Modeling for Software Product Lines: An Insurance Ontology Analysis | Ricardo J. Machado | Algoritmi (Minho) |
| 10 | Markerless facial motion capture using low cost hardware | Verónica Orvalho ans Miguel Coimbra | IT-Porto (Porto) |
| 11 | Learning and Planning for Exception Handling in Robotics | Luís Seabra Lopes | IEETA (Aveiro) |
| 12 | Flexible, scalable and robust integration in large real-time safety critical systems | Luis Almeida (UA), Rui Cordeiro (CSW), Julian Porenza (Univ Balearic Islands, Spain) | IEETA (Aveiro) |
| 13 | Real-time services in Wireless Mesh Networks | Susana Sargento | IT (Aveiro) |
| 14 | Real-time multicast/broadcast communications over heterogeneous networks | Susana Sargento | IT (Aveiro) |
| 15 | New network architectures | Susana Sargento | IT (Aveiro) |
| 16 | On Applying Tabling to Answer Set Programming | Ricardo Rocha | FCUP (Porto) |
| 17 | XML based programming environments | José Paulo Leal | CRACS (Porto) |
| 18 | Widening the scope of application of the Spiral parallel code generation system | José N. Oliveira (CCTC), Markus Puschel (ESE, CMU) | CCTC (Minho) |
| 19 | Semantic Digital Libraries | Álvaro Reis Figueira | CRACS (Porto) |
| 20 | Evolving complex networks for population topologies in evolutionary computation | Rui Mendes | CCTC (Minho) |
| 21 | Modeling of Control Mechanisms in Flight Stability and Locomotion (with Recurrent Neural Networks and Embodied Agents) | J. Simão | FCUP (Porto) |
| 22 | Control of Visual Attention and Posture in Quadrupeds with Recurrent Neural Networks --- Simulation with Embodied Agents and Implementation in the AIBO robot | J. Simão | FCUP (Porto) |
| 23 | Architectures for Split Execution of Copyright-Protected Applications | André Zúquete | IEETA (Aveiro) |
| 24 | Architectures for Sharing Internet Accesses | André Zúquete | IEETA (Aveiro) |
| 25 | Performance analysis of swarm intelligent algorithms on the traveling salesman problem supervisors | Ana Maria Alves Coutinho da Rocha, Edite Manuela Graça Pinto Fernandes | Algoritmi (Minho) |
| 26 | Cryptographic Protocol Security Analysis Based on Algorithmic Information Theory | Luís Filipe Antunes, Armando B. Matos | FCUP (Porto) |
| 27 | Interplay between Information-Theoretic and Computational Security in Wireless Channels | Manuel Barbosa, João Barros | CCTC (Minho) and IT-Porto (Porto) |
| 28 | Language Based Security For Cryptographic Software | Manuel Bernardo Barbosa, Manuel Alcino Cunha | CCTC (Minho) |
| 29 | Cosmetic Evaluation of Breast Intervention | Jaime S. Cardoso, M. J. Cardoso | INESC (Porto) |
| 30 | Networking mechanisms for new networks | Rui L. Aguiar | IT (Aveiro) |
| 31 | Identity-aware mobility architectures | Rui L. Aguiar | IT (Aveiro) |
| 32 | Network benchmarking | Rui L. Aguiar | IT (Aveiro) |
| 33 | Electronic Health Records for Mobile Citizens | José Luis Oliveira, Rui P. Lopes | IEETA (Aveiro) |
| 34 | Time Series analysis in Telecommunication Data | Paulo Azevedo | CCTC (Minho) |
| 35 | Parallel computing in semi-infinite programming | Ana Isabel Pinheiro Nunes Pereira, Edite Manuela G.P. Fernandes | Algoritmi (Minho) |
| 36 | Relational Databases Digital Preservation | José Carlos Ramalho | CCTC (Minho) |
| 37 | Evolutionary Computation based Internet Routing as a platform to Traffic Engineering | Miguel P. Rocha, Pedro N. Sousa | CCTC (Minho) |
| 38 | Development of methods for in silico optimization of metabolic networks | Miguel P. Rocha, Isabel P. Rocha | CCTC (Minho) and CEB-IBB (Minho) |
| 39 | Mobile code security based on Kleene algebras and temporal logics | Nelma Moreira and Simão Sousa | LIACC (Porto) |
| 40 | Decision-Making Software System for Wastewater Treatment Plant Design | Isabel Alexandra C.P. Espírito Santo, Edite Manuela G.P. Fernandes | Algoritmi (Minho) |
| 41 | Digital Footprints for Situated Systems | Rui José | Algoritmi (Minho) |
| 42 | Spam Telescope Miner: worldwide unsolicited email detection using data mining techniques | Paulo Cortez | Algoritmi (Minho) |
| 43 | Civil Protection applications in a Grid supported environment | António Pina | CCTC (Minho) |
| 44 | Large-Scale Decentralized Object Store | Rui Oliveira | CCTC (Minho) |
| 45 | Self-Managing Service Platform | José Orlando Pereira | CCTC (Minho) |
| 46 | Probabilistically-Structured Overlay Networks | José Orlando Pereira | CCTC (Minho) |
| 47 | Persistent and Replicated Software Transactional Memory | António Sousa | CCTC (Minho) |
| 48 | Fault Tolerant Service Integration | José Orlando Pereira | CCTC (Minho) |
| 49 | Property verification patterns for automated production systems | José Creissac Campos, José Machado | CCTC (Minho) and DEM/CT2M (Minho) |
| 50 | Data Warehouses in the Path from Databases to Archives | Gabriel David, Cristina Ribeiro | INESC (Porto) |
| 51 | Computational tools for semi-infinite programming | A. Ismael Vaz | Algoritmi (Minho) |
| 52 | Time, the Fourth Dimension | António Ramires Fernandes, José Nuno Oliveira | CCTC (Minho) |
| 53 | Text Mining System for Predicting Market Response to News | José João Almeida, Luis Torgo | CCTC (Minho) LIAC (Porto) |
| 54 | A Common Monitoring System for Network and Application Services in the Internet | Bruno Dias | CCTC (Minho) |
| 55 | A Common Configuration Language for Network and Application Services in the Internet | Bruno Dias | CCTC (Minho) |
| 56 | A Common Database Replication and Backup System for Network and Application Services in the Internet | Bruno Dias | CCTC (Minho) |
| 57 | Association Mining in a Grid Environment | Orlando Belo | CCTC (Minho) |
| 58 | Low-Cost Data Warehousing Using Data Grid Technologies | Orlando Belo | CCTC (Minho) |
| 59 | Coordination and cooperation among robots based on biological concepts | Cristina Manuela Peixoto dos Santos and Auke Ijspeert | Algoritmi (Minho) |
| 60 | Flexible Quadruped Locomotion in Irregular Terrain: a Biological Approach | Cristina Manuela Peixoto dos Santos and Auke Ijspeert | Algoritmi (Minho) |
| 61 | Cooperative control of heterogeneous autonomous vehicles | Fernando Manuel Ferreira Lobo Pereira and João Tasso de Figueiredo Borges de Sousa | ISR FEUP (Porto) |
| 62 | Augmented/Virtual Reality applied to the control and supervision of heterogeneous robotic vehicles in cooperative missions | Fernando Manuel Ferreira Lobo Pereira and Dirk Berndt and Gil Manuel Gonçalves | ISR FEUP (Porto) |
| 63 | Rehabilitation Robot: a Biological Approach | Cristina Manuela Peixoto dos Santos and Auke Ijspeert | Algoritmi (Minho) |
| 64 | Parallel Programming by Transforming "sequential like" Codes | J. L. Sobral | CCTC (Minho) |
| 65 | Develop Portable Applications for Multiple Target Architectures using Skeletons | António Esteves and J. L. Sobral | CCTC (Minho) |
| 66 | Multimodal Affect Sensing in Human-Computer Interaction | Pedro Branco | Algoritmi (Minho) |
| 67 | Network Coding Protocols for Peer-to-Peer Networks | João Barros and Rui Prior | IT-Porto (Porto) |
| 68 | Robust Programming for Large-Scale Sensor Networks | João Barros and Luis Lopes | IT-Porto (Porto) |
| 69 | Automatic event detection for endoscopic capsule exams | Miguel Coimbra and João Cunha | IT-Porto (Porto) |
