Os docentes do DIUM desenvolvem a sua actividade de investigação científica nas unidades de I&D do quadro abaixo.
O quadro que se lhe segue lista as dissertações de doutoramento orientadas ou co-orientadas por investigadores dos referidos centros.
Centros de I&D
| Unidade de ID | Tipo | Acrónimo | Parcerias | Directores | Mais informação |
|---|---|---|---|---|---|
| Algoritmi | Centro | Algoritmi | LASI | José Machado | Website |
| High Assurance Software Laboratory | Centro | HASLab | INESC TEC | Alcino Cunha e José Oliveira | Website |  |
| Centro de Engenharia Biológica | Centro | CEB | Nuno Cerca | Website | |
|
| Quantum and Linear-Optical Computation | Grupo | QLOC | INL | Ernesto Galvão | Website |
Dissertações de doutoramento
| Título | Aluno | Supervisão | Data |
|---|---|---|---|
| Enhancing road safety for VRUs: automatic collision prediction using V2X data | Bruno Daniel Mestre Viana Ribeiro | Alexandre Júlio Teixeira Santos (co-supervisão: Maria João Nicolau) | 2024 |
| Towards a privacy-preserving distributed machine learning framework | Cláudia Vanessa Martins Brito | João Tiago Medeiros Paulo (co-supervisão: Pedro Gabriel Dias Ferreira) | 2024 |
| Explaining software faults in source code | Francisco José Torres Ribeiro | João Saraiva (co-supervisão: Rui Filipe Lima Maranhão de Abreu) | 2024 |
| The impact of augmented reality for training computational thinking | Lázaro Vinícius de Oliveira Lima | Pedro Manuel Rangel Santos Henriques (co-supervisão: Luís Gonzaga Mendes Magalhães) | 2024 |
| Promoting science growth in developing countries: an open science model for Mozambique | Marangaze Joaquim Munhepe Mulhanga | Maria Solange Pires Ferreira Rito Lima (co-supervisão: João Nuno Urbano Ferreira) | 2024 |
| Flexible tracing and analysis of applications’ I/O behavior | Tânia Conceição Araújo Esteves | João Tiago Medeiros Paulo (co-supervisão: Rui Carlos Mendes Oliveira) | 2024 |
| Integration of different radio access technologies for vehicular connectivity | Vadym Serhiyovych Hapanchak | António Luís Duarte Costa | 2024 |
| Beyond distributed transactions through exactly-once exchanges | Ziad Ali Kassam | Ali Shoker (co-supervisão: Paulo Sérgio Soares Almeida) | 2024 |
| Modelo Preditivo de Qualidade 4.0 para defeitos de cliente | Anabela Costa da Silva | Paulo Sampaio (co-supervisão: José Manuel Ferreira Machado) | 2023 |
| Blueprint: documenting the complexity of metabolic regulation by reconstruction of integrated metabolic-regulatory models | Fernando João Pereira Cruz | Óscar Manuel Lima Dias (co-supervisão: Miguel Rocha; José Pedro Faria) | 2023 |
| Dynamic end-to-end reliable causal delivery middleware for geo-replicated services | Georges Younes | Carlos Miguel Ferraz Baquero Moreno (co-supervisão: Ali Shoker) | 2023 |
| Argumentation dialogues in web-based GDSS: an approach using machine learning techniques | Luís Manuel da Silva Conceição | Paulo Jorge Freitas Oliveira Novais (co-supervisão: Maria Goreti Carvalho Marreiros) | 2023 |
| Smart spaces: aware of users, preferences, behaviours and habits, in a non-invasive approach | Pedro Filipe Fernandes Oliveira | Paulo Jorge Freitas Oliveira Novais (co-supervisão: Paulo Jorge Teixeira Matos) | 2023 |
| Metabolomics-based approaches for food authentication and traceability | Rebeca Tatiana Souto Santos | Miguel Francisco Almeida Pereira Rocha (co-supervisão: Marcelo Maraschin) | 2023 |
| Big Data and real-time knowledge discovery in healthcare institutions | Regina Sousa | José Manuel Ferreira Machado (co-supervisão: António Carlos Silva Abelha) | 2023 |
| User-level software-defined storage data planes | Ricardo Gonçalves Macedo | João Tiago Medeiros Paulo (co-supervisão: José Orlando Roque Nascimento Pereira) | 2023 |
| Systems-level modelling of the cancer and immune metabolome to improve immunotherapeutic outcomes | Sara Manso Sousa Cardoso | Miguel Francisco Almeida Pereira Rocha (co-supervisão: Noel de Miranda; Dina Ruano) | 2023 |
| Bringing empirical big data to evidence based qualitative knowledge in Healthcare | Vasco António Pinheiro Costa Abelha | José Manuel Ferreira Machado | 2023 |
| Foundations for quantum algorithms and complexity | Carlos Eduardo Teixeira Tavares | Luís Soares Barbosa | 2022 |
| Knowledge engineering for interoperable electronic health records | Daniela Sofia Rijo Oliveira | José Manuel Ferreira Machado (co-supervisão: António Carlos Silva Abelha) | 2022 |
| A framework for predicting drug sensitivity and synergy in cancer cells using deep learning | Delora Soeiro Baptista | Miguel Francisco Almeida Pereira Rocha (co-supervisão: Pedro Gabriel Dias Ferreira) | 2022 |
| An evolving cognitive approach to dyscalculia screening and therapeutics | Filipa Tinoco Ferraz | José Neves (co-supervisão: Victor Manuel Rodrigues Alves) | 2022 |
| Intelligent intrusion detection system for Vehicular Ad hoc Networks | Fábio Raul Costa Gonçalves | Joaquim Macedo (co-supervisão: Alexandre Santos) | 2022 |
| Raciocínio baseado na ética médica na decisão em grupo | Gabriel de Sousa Pereira Pontes | José Manuel Ferreira Machado | 2022 |
| Integrative pathway analysis approaches for cancer research and drug development | José Vítor Castro Vieira | Miguel Francisco Almeida Pereira Rocha (co-supervisão: Julio Saez-Rodriguez) | 2022 |
| Uncertainty and incompleteness handling in context-aware systems | Leandro Oliveira Freitas | Paulo Jorge Freitas Oliveira Novais (co-supervisão: Pedro Manuel Rangel Santos Henriques) | 2022 |
| Método integrado para avaliação de usabilidade em e-Learning | Luciana Lopes Freire | P. Arezes (co-supervisão: José Francisco Creissac Freitas Campos) | 2022 |
| Tutoría inteligente para mejorar los resultados de aprendizaje: un enfoque en inteligencia ambiente | Ramón Alfredo Toala Dueñas | Paulo Jorge Freitas Oliveira Novais (co-supervisão: Dalila Alves Durães) | 2022 |
| DSL based Automatic Generation of Q&A Systems | Renato Preigschadt de Azevedo | Pedro Manuel Rangel Santos Henriques (co-supervisão: Maria João Varanda) | 2022 |
| Emotional state detection through text analysis | Ricardo Alexandre Gonçalves Carotta Martins | Paulo Jorge Freitas Oliveira Novais (co-supervisão: Pedro Manuel Rangel Santos Henriques) | 2022 |
| Locality optimisation techniques for platforms | Rui António Sabino Castiço Silva | João Luís Ferreira Sobral | 2022 |
| Planet-scale leaderless consensus | Vitor Manuel Enes Duarte | Alexey Gotsman (co-supervisão: Carlos Miguel Ferraz Baquero Moreno) | 2022 |
| Improving clinical problem list with evidence based medicine, patient oriented medical records and intelligence | Ana Cecília Sousa Rocha Coimbra | José Manuel Ferreira Machado (co-supervisão: António Carlos Silva Abelha) | 2021 |
| Safety verification for ROS software | André Filipe Faria dos Santos | Manuel Alcino Pereira Cunha (co-supervisão: Nuno Filipe Macedo) | 2021 |
| A decision support system based on guidelines with conflict resolution features | António José Linhares Silva | Paulo Jorge Freitas Oliveira Novais (co-supervisão: Tiago José Martins Oliveira) | 2021 |
| The internet of people approach to road safety and vulnerable road users in smart cities | Bruno Filipe Martins Fernandes | César Analide Freitas Silva Costa Rodrigues (co-supervisão: José Carlos Ferreira Maia Neves) | 2021 |
| Lightweight trustworthy high-level software design | Chong Liu | Manuel Alcino Pereira Cunha (co-supervisão: Nuno Macedo) | 2021 |
| Holistic performance and scalability analysis for large-scale distributed systems | Francisco Nuno Teixeira Neves | José Orlando Roque Nascimento Pereira (co-supervisão: Ricardo Manuel Pereira Vilaça) | 2021 |
| EvoSPL: An evolutionary approach for adopting software product lines in the automotive industry | Karam Ignaim | João Miguel Lobo Fernandes (co-supervisão: André Ferreira) | 2021 |
| An intelligent decision support system for mobile performance marketing | Luís Miguel Matos | Paulo Cortez (co-supervisão: Rui Mendes) | 2021 |
| A conflict management environment to support decision-making process | Marco Filipe Vieira Gomes | Paulo Jorge Freitas Oliveira Novais | 2021 |
| Modern optimization of predictive models: An application to mobile performance marketing | Pedro José Silva Pereira | Paulo Cortez (co-supervisão: Rui Manuel Ribeiro Castro Mendes) | 2021 |
| Query optimizers based on machine learning techniques | Rui Pedro Sousa Rodrigues do Souto | Fábio André Castanheira Luís Coelho (co-supervisão: Ricardo Manuel Pereira Vilaça) | 2021 |
| Sparse reconstruction of multidimensional light transport signals | César Morais Perdigão | Luís Paulo Peixoto Santos (co-supervisão: Thomas Eduard William Bashford Rogers) | 2020 |
| Side-channel timing attack on content privacy of named data networking | Ertugrul Dogruluk | António Luís Duarte Costa (co-supervisão: Joaquim Melo Henriques Macedo) | 2020 |
| Automatic prediction of ischemic stroke from MRI images using Deep Learning | José Adriano Azevedo Silva Ribeiro Pinto | Carlos A. Silva (co-supervisão: Victor Manuel Rodrigues Alves) | 2020 |
| Supporting software developers in making energy saving decisions | Marco Rafael Linhares Couto | João Alexandre Baptista Vieira Saraiva (co-supervisão: João Paulo Sousa Ferreira Fernandes) | 2020 |
| A novel system to assist elders’ self-care and their informal caregivers through nursing homes | Marisa Araújo Esteves | José Manuel Ferreira Machado (co-supervisão: António Carlos Silva Abelha) | 2020 |
| From Deep Learning in imaging neuroscience to nuclear physics in Quantum Computing | Nicolas Francisco Lori | Victor Manuel Rodrigues Alves (co-supervisão: Nuno Sousa) | 2020 |
| A framework for heterogeneous many-core machines | Bruno Silvestre Medeiros | João Luís Ferreira Sobral | 2019 |
| Using predictive and descriptive cognitive models for evaluation of interactive computing systems | Carlos César Loureiro Silva | José Francisco Creissac Freitas Campos (co-supervisão: Jorge A. Santos) | 2019 |
| Numerical surgery: Modeling, simulation and visualization in real time | Diogo Alberto Rocha Lopes | António José Borba Ramires Fernandes (co-supervisão: Stéphane Clain) | 2019 |
| Cidades Inteligentes: Proposta de modelagem regulatória para a governação participativa, no contexto luso-brasileiro | Marciele Berger Bernardes | Francisco Carneiro Pacheco Andrade (co-supervisão: Paulo Jorge Freitas Oliveira Novais) | 2019 |
| Enhancing the process of view selection in data cubes using what-If analysis | Mariana Reimão Queiroga Valério de Carvalho | Orlando Manuel Oliveira Belo | 2019 |
| Numerical simulations on heterogeneous systems: dynamic workload and power management | Roberto Carlos Sá Ribeiro | Luís Paulo Peixoto Santos (co-supervisão: J. M. Nóbrega; Hrvoje Jasak) | 2019 |
| Automatic segmentation and classification of brain tumors based on multisequence MRI images with deep learning methods | Sérgio Rafael Mano Pereira | Carlos A. Silva (co-supervisão: Victor Manuel Rodrigues Alves) | 2019 |
| Modelo semântico adaptativo para acessibilidade à Web por deficientes visuais | Tatiana Amaral Sorrentino | Alexandre Júlio Teixeira Santos (co-supervisão: Joaquim Melo Henriques Macedo) | 2019 |
| Intradomain routing optimization based on evolutionary computation | Vítor Manuel Sá Pereira | Pedro Nuno Miranda Sousa (co-supervisão: Miguel Francisco Almeida Pereira Rocha) | 2019 |
| Dynamic contracts for verification and enforcement of real-time systems properties | André Matos Pedro | Jorge Miguel Matos Sousa Pinto (co-supervisão: Luís Miguel Pinho) | 2018 |
| Detecting and monitoring mental fatigue: a non-invasive approach | André Pimenta Ribeiro | Paulo Jorge Freitas Oliveira Novais (co-supervisão: José Carlos Ferreira Maia Neves) | 2018 |
| A pattern-based approach for ETL systems modelling and validation | Bruno Moisés Teixeira Oliveira | Orlando Manuel Oliveira Belo | 2018 |
| Single-assignment program verification | Cláudio Filipe Belo da Silva Lourenço | Jorge Miguel Matos Sousa Pinto | 2018 |
| E-learning: Geração automática de exercícios para sistemas de ensino personalizado de Programação | Eliana Tiba Gomes Grande | Georgi Smirnov (co-supervisão: José João Antunes Guimarães Dias Almeida) | 2018 |
| Evaluation and development of algorithms and computational tools for metabolic pathway optimization | Filipe Alexandre Wang Liu | Miguel Francisco Almeida Pereira Rocha (co-supervisão: Isabel Cristina Santos Rocha) | 2018 |
| Towards a transactional and analytical data management system for Big Data | Fábio André Castanheira Luís Coelho | Rui Carlos Mendes Oliveira (co-supervisão: José Orlando Roque Nascimento Pereira) | 2018 |
| Design, implementation and evaluation of model-driven spreadsheets | Jorge Cunha Mendes | João Alexandre Baptista Vieira Saraiva (co-supervisão: Jácome Miguel Costa Cunha) | 2018 |
| Negotiation in group decision support systems – An approach based in argumentation and satisfaction | João Miguel Ribeiro Carneiro | Paulo Jorge Freitas Oliveira Novais (co-supervisão: Maria Goreti Carvalho Marreiros) | 2018 |
| A computational framework for studying genome-scale regulatory models that combines gene expression data and optimization approaches | Orlando Ricardo Nunes Rocha | Rui Manuel Ribeiro Castro Mendes (co-supervisão: Sónia Madalena Azevedo Carneiro) | 2018 |
| O impacto da animação e da avaliação automática na motivação para o ensino da programação | Paula Correia Tavares | Pedro Manuel Rangel Santos Henriques (co-supervisão: Elsa Maria Ferreira Gomes) | 2018 |
| Hybrid programs | Renato Jorge Araújo Neves | Luís Soares Barbosa (co-supervisão: Manuel António Martins) | 2018 |
| Formal description and automatic generation of learning spaces based on ontologies | Ricardo Giuliani Martini | Pedro Manuel Rangel Santos Henriques (co-supervisão: Giovani Rubert Librelotto) | 2018 |
| Multi-value distributed key-value stores | Ricardo Jorge Tomé Gonçalves | Paulo Sérgio Soares Almeida (co-supervisão: Vitor Francisco Mendes Freitas Gomes Fonte) | 2018 |
| Energyware engineering: techniques and tools for green software development | Rui Alexandre Afonso Pereira | João Alexandre Baptista Vieira Saraiva (co-supervisão: Jácome Miguel Costa Cunha) | 2018 |
| Broadcast cancellation in unstructured networks | Rui Manuel Dias Ferreira Lima | Carlos Miguel Ferraz Baquero Moreno (co-supervisão: Hugo Alexandre Tavares Miranda) | 2018 |
| Efficient adaptive query processing on large database systems available in the cloud environment | Clayton Maciel Costa | António Luís Pinto Ferreira Sousa | 2017 |
| Disponibilidade, desempenho e confiança em sistemas de bases de dados hospitalares – Suporte à decisão inteligente para prevenção de falhas | César Manuel Ferreira Quintas | José Manuel Ferreira Machado (co-supervisão: Manuel Santos) | 2017 |
| Orientation Method for People with Cognitive Disabilities | João Ricardo Martins Pereira | Paulo Jorge Freitas Oliveira Novais (co-supervisão: José Carlos Ferreira Maia Neves) | 2017 |
| Orientation method for people with cognitive disabilities | João Ricardo Martins Ramos | Paulo Jorge Freitas Oliveira Novais (co-supervisão: José Carlos Ferreira Maia Neves) | 2017 |
| Automated watch for digital preservation | Luís Francisco da Cunha Cardoso de Faria | José Carlos Leite Ramalho (co-supervisão: José Miguel Araújo Ferreira) | 2017 |
| Qualidade da informação no processo de tomada de decisão em grupo | Maria Manuel Bastos Salazar | José Carlos Ferreira Maia Neves (co-supervisão: António Carlos Silva Abelha) | 2017 |
| Pattern based software development | Rui Miguel Silva Couto | António Nestor Ribeiro (co-supervisão: José Francisco Creissac Freitas Campos) | 2017 |
| Clinical decision support: Knowledge representation and uncertainty management | Tiago José Martins Oliveira | Paulo Jorge Freitas Oliveira Novais (co-supervisão: José Carlos Ferreira Maia Neves) | 2017 |
| Network inference for logic-based ordinary differential equations | David Saque Henriques | Miguel Francisco Almeida Pereira Rocha (co-supervisão: Julio R. Banga) | 2016 |
| Towards autonomic workload aware NoSQL databases | Francisco Miguel Carvalho Barros Cruz | Rui Carlos Mendes Oliveira | 2016 |
| Ambient intelligence and affective computing: a contribute to energetic sustainability | Fábio Silva | César Analide Freitas Silva Costa Rodrigues | 2016 |
| Monitorização, previsão e deteção de erros com sistemas automáticos de aquisição de dados em ambiente hospitalar | Pedro Manuel Queirós Faria Gonçalves | José Manuel Ferreira Machado | 2016 |
| Novel approaches for dynamic modelling of E. coli and their application in Metabolic Engineering | Pedro Tiago Evangelista | Isabel Cristina Santos Rocha (co-supervisão: Bruce Tidor; Miguel Rocha) | 2016 |
| Integrating knowledge from data and literature for building transcriptional regulatory networks | Rafael T. Pereira | Rui Manuel Ribeiro Castro Mendes (co-supervisão: Orlando Manuel Oliveira Belo) | 2016 |
| Reverse engineering of web applications | Carlos Eduardo Bastos Marques Silva | José Francisco Creissac Freitas Campos | 2015 |
| Development of computational tools for the integrated analysis of DNA microarray data with applications in cancer research | Eduardo Valente | Miguel Francisco Almeida Pereira Rocha (co-supervisão: R. M. Reis) | 2015 |
| Epidemic store for massive scale systems | Francisco António Ferraz Martins Almeida Maia | Rui Carlos Mendes Oliveira | 2015 |
| Modeling microbes: New methods for integrated metabolic and regulatory network reconstruction | José Pedro Lopes Faria | Isabel Cristina Santos Rocha (co-supervisão: Miguel Rocha; Scott Henry) | 2015 |
| Dependable decentralized storage management for cloud computing | João Tiago Medeiros Paulo | José Orlando Roque Nascimento Pereira | 2015 |
| Improving quality of information in health records with medical ontologies | Júlio Duarte | António Carlos Silva Abelha (co-supervisão: Filipe Santos) | 2015 |
| An ontology toolkit for problem domain concept location in program comprehension | Nuno Alexandre Ramos Carvalho | José João Antunes Guimarães Dias Almeida (co-supervisão: Maria João Varanda) | 2015 |
| Architectural reconfiguration of interacting services | Nuno Ernesto Salgado Oliveira | Luís Soares Barbosa | 2015 |
| Ontology-based representation and generation of workflows for micro-task human-machine computation | Nuno Luz | Paulo Jorge Freitas Oliveira Novais (co-supervisão: Nuno Alexandre Pinto da Silva) | 2015 |
| Algorithms and tools for in silico design of cell factories | Paulo Jorge Lopes Maia da Silva | Isabel Cristina Santos Rocha (co-supervisão: Miguel Francisco Almeida Pereira Rocha) | 2015 |
| Algorithms and computational tools for metabolic flux analysis | Rafael de Castro Carreira | Miguel Francisco Almeida Pereira Rocha (co-supervisão: I. Rocha; S. G. Villas-Bôas) | 2015 |
| All over the place localization system | Ricardo Anacleto | Paulo Jorge Freitas Oliveira Novais (co-supervisão: Lino Manuel Baptista Figueiredo; Ana Maria Neves Almeida Baptista Figueiredo) | 2015 |
| Parallel programming by transformation | Rui Carlos Araújo Gonçalves | João Luís Ferreira Sobral (co-supervisão: Don Batory) | 2015 |
| A relational algebra approach to ETL modeling | Vasco Nuno Caio dos Santos | Orlando Manuel Oliveira Belo | 2015 |
| Energy efficiency for user-centric routing | António Carlos de Oliveira Júnior | Rute Sofia (co-supervisão: António Luís Duarte Costa) | 2014 |
| Automated software systems generation for process-oriented organizations | Francisco J. Duarte | Ricardo J. Machado (co-supervisão: João Miguel Lobo Fernandes) | 2014 |
| Inteligência Ambiente em serviços de saúde baseada em ontologias e na descoberta de conhecimento em bases de dados e/ou bases de conhecimento | José Alberto Marques | José Carlos Ferreira Maia Neves (co-supervisão: César Analide Freitas Silva Costa Rodrigues) | 2014 |
| Monitorização de ECG de pacientes em mobilidade | João Henrique Ribeiro Valente | Alexandre Santos (co-supervisão: Joaquim Macedo) | 2014 |
| Monitorização de ECG de pacientes em mobilidade | João Henrique Ribeiro Valente | Alexandre Santos (co-supervisão: Joaquim Macedo) | 2014 |
| A mid-level framework for independent network services configuration management | Miguel José Magalhães Lopes | Bruno Alexandre Fernandes Dias (co-supervisão: António Luís Duarte Costa) | 2014 |
| A relational approach to bidirectional transformation | Nuno Macedo | Manuel Alcino Pereira Cunha | 2014 |
| Embedding attribute grammars and their extensions using functional Zippers | Pedro Miguel Ribeiro Martins | João Alexandre Baptista Vieira Saraiva (co-supervisão: João Paulo Sousa Ferreira Fernandes) | 2014 |
| Foundations and techniques for software reconfigurability | Alexandre Leite Castro Madeira | Luís Soares Barbosa (co-supervisão: Manuel A. Martins) | 2013 |
| An agent-based architecture for online dispute resolution services | Davide Rua Carneiro | Paulo Jorge Freitas Oliveira Novais (co-supervisão: José Carlos Ferreira Maia Neves) | 2013 |
| Steps towards interoperability in healthcare environment | Hugo Daniel Abreu Peixoto | António Carlos Silva Abelha (co-supervisão: Manuel Filipe Santos) | 2013 |
| Design principles for controlling gene expression | João Carlos Azevedo Salgado Guimarães | Miguel Francisco Almeida Pereira Rocha (co-supervisão: Adam Arkin) | 2013 |
| Archetype based intelligent system for healthcare interoperability | Luís Miguel Mesquita Miranda | José Neves (co-supervisão: José Machado) | 2013 |
| Epidemic algorithms for large scale data dissemination | Miguel Matos | Rui Carlos Mendes Oliveira | 2013 |
| Erro em imagiologia médica | Paulo Alexandre da Costa Ferreira Brandão Pereira | Victor Manuel Rodrigues Alves (co-supervisão: José Neves) | 2013 |
| Relational databases digital preservation | Ricardo André Pereira Freitas | José Carlos Leite Ramalho | 2013 |
| Cognitive assistance in intelligent environments | Ângelo Gonçalo Araújo da Silva Costa | Paulo Jorge Freitas Oliveira Novais | 2013 |
| Formal verification of cryptographic software implementations | Bárbara Isabel Sousa Vieira | Manuel Bernardo Martins Barbosa | 2012 |
| Matrices as arrows: why categories of matrices matter | Hugo Daniel Macedo | José Nuno Fonseca Oliveira | 2012 |
| Bidirectional data transformation by calculation | Hugo José Pereira Pacheco | Manuel Alcino Pereira Cunha (co-supervisão: José Nuno Fonseca Oliveira) | 2012 |
| Rapid prototyping of ubiquitous computing environments | José Luís Cardoso Silva | José Francisco Creissac Freitas Campos (co-supervisão: M. D. Harrison) | 2012 |
| Computational tools for large-scale biological network analysis | José Pedro Basto Gouveia Pereira Pinto | Miguel Francisco Almeida Pereira Rocha (co-supervisão: Isabel Cristina Santos Rocha) | 2012 |
| Time series motif discovery | Nuno Constantino Castro | Paulo Jorge Sousa Azevedo | 2012 |
| Robust distributed data aggregation | Paulo César de Oliveira Jesus | Carlos Miguel Ferraz Baquero Moreno (co-supervisão: Paulo Sérgio Soares Almeida) | 2012 |
| INTELLIPave : uma abordagem baseada em inteligência artificial para a modelagem de pavimentos asfálticos | Reus Salini | José Carlos Ferreira Maia Neves (co-supervisão: António Carlos Silva Abelha) | 2012 |
| Clouder : a flexible large scale decentralized object store | Ricardo Manuel Pereira Vilaça | Rui Carlos Mendes Oliveira | 2012 |
| Benchmark-based software product quality evaluation | Tiago Miguel Laureano Alves | José Nuno Fonseca Oliveira (co-supervisão: Joost Visser) | 2012 |
| Verification, slicing, and visualization of programs with contracts | Daniela da Cruz | Pedro Manuel Rangel Santos Henriques (co-supervisão: Jorge Miguel Matos Sousa Pinto) | 2011 |
| Model-based spreadsheet engineering | Jácome Miguel Costa Cunha | João Alexandre Baptista Vieira Saraiva (co-supervisão: Joost Visser) | 2011 |
| A QoS-aware architecture for mobile internet | Nuno Vasco Lopes | Alexandre Júlio Teixeira Santos (co-supervisão: Maria João Nicolau) | 2011 |
| A MAC protocol for quality of service provisioning in adaptive biomedical wireless sensor networks | Oscar Gama | P. M. Mendes (co-supervisão: Paulo Manuel Martins de Carvalho) | 2011 |
| Agents in the market place an exploratory study on using intelligent agents to trade financial instruments | Rui Pedro Barbosa | Orlando Manuel Oliveira Belo | 2011 |
| Practical database replication | Alfrânio Tavares Correia Júnior | Rui Carlos Mendes Oliveira | 2010 |
| GUIsurfer: a tool for reverse engineering of graphical user interfaces | João Carlos Silva | José Francisco Creissac Freitas Campos (co-supervisão: João Alexandre Baptista Vieira Saraiva) | 2010 |
| Efficient aggregate computations in large-scale dense wireless sensor networks | Nuno Alexandre Magalhães Pereira | Eduardo Manuel de Médicis Tovar (co-supervisão: Paulo Manuel Martins de Carvalho) | 2010 |
| Foundations of program refinement by calculation | César J. Rodrigues | José Nuno Fonseca Oliveira | 2009 |
| Da contratação electrónica: em particular da contratação electrónica inter-sistémica inteligente | Francisco Carneiro Pacheco Andrade | José Neves (co-supervisão: Júlio Manuel Vieira Gomes) | 2009 |
| Estratégias de participação para a optimização da descarga distribuída da Web | José Exposto | António Manuel Silva Pina (co-supervisão: Joaquim Melo Henriques Macedo) | 2009 |
| Design, implementation and calculation of circular programs | João Paulo Sousa Ferreira Fernandes | João Alexandre Baptista Vieira Saraiva | 2009 |
| Ambientes virtuais povoados com simulação eficiente de detecção de colisões e planeamento de trajectos em navegação realmente 3D | Leonel Domingues Deusdado | António Ramires Fernandes (co-supervisão: Orlando Belo) | 2009 |
| Specification and refinement of software connectors | Marco António Barbosa | Luís Soares Barbosa | 2009 |
| Preservação de longa duração de informação digital no contexto de um arquivo histórico | Miguel Ferreira | Ana Alice Baptista (co-supervisão: José Carlos Leite Ramalho) | 2009 |
| Information search in large-scale peer-to-peer systems | Nuno Alberto Ferreira Lopes | Carlos Miguel Ferraz Baquero Moreno | 2009 |
| Slicing techniques applied to architectural analysis of legacy software | Nuno F. Rodrigues | Luís Soares Barbosa | 2009 |
| On the design of a Galculator | Paulo Filipe Araújo da Silva | José Nuno Fonseca Oliveira | 2009 |
| Detecção e correcção de problemas de qualidade dos dados : modelo, sintaxe e semântica | Paulo Jorge Machado Oliveira | Pedro Manuel Rangel Santos Henriques (co-supervisão: M. Fátima Rodrigues) | 2009 |
| Collaborative networks in ambient assisted living | Ricardo André Fernandes Costa | Paulo Jorge Freitas Oliveira Novais (co-supervisão: José Carlos Ferreira Maia Neves) | 2009 |
| Causality tracking in dynamic distributed systems | Vitor Francisco Mendes Freitas Gomes Fonte | Carlos Miguel Ferraz Baquero Moreno (co-supervisão: Paulo Sérgio Soares Almeida) | 2009 |
| Animation-based validation of reactive software systems using behavioural models | Óscar R. Ribeiro | João Miguel Lobo Fernandes | 2009 |
| Extracção de recursos de tradução com base em dicionários probabilísticos de tradução | Alberto Simões | José João Antunes Guimarães Dias Almeida | 2008 |
| Um processo de modelação de sistemas software com integração de especificações rigorosas | António Nestor Ribeiro | Fernando Mário Junqueira Martins | 2008 |
| Agentes de apoio à argumentação e decisão em grupo | Goreti Marreiros | José Neves (co-supervisão: Carlos Fernando Silva Ramos) | 2008 |
| Automatization of the code generation for different industrial robots | Gustavo V. Arnold | Pedro Manuel Rangel Santos Henriques (co-supervisão: Jaime C. Fonseca) | 2008 |
| Uma arquitectura de software dinâmica para a criação de ambientes de interacção social regulada na Web | Hugo Alexandre Paredes Guedes da Silva | Fernando Mário Junqueira Martins | 2008 |
| Co-operação de Tabelas de Hash Distribuídas em clusters heterogéneos | José Carlos Rufino Amaro | António Manuel Silva Pina | 2008 |
| Aggregation-based mining methods: from single to N-dimensional data analysis | Ronnie Cley Oliveira Alves | Orlando Manuel Oliveira Belo | 2008 |
| Análise e compressão de sequências genómicas | Sérgio Deusdado | Paulo Manuel Martins de Carvalho | 2008 |
| Selecção de planos de mineração de dados de utilização da web | Ana Cristina Wanzeller Guedes de Lacerda | Orlando Manuel Oliveira Belo | 2007 |
| Partial replication in the database state machine | António Luís Pinto Ferreira Sousa | Rui Carlos Mendes Oliveira | 2007 |
| Web Crawlers: Detecção e Previsão Comportamental baseadas na Análise de Padrões de Navegação | Anália Maria Garcia Lourenço | Orlando Manuel Oliveira Belo | 2007 |
| Restruturação dinâmica de estruturas multidimensionais de dados em tempo útil | Jorge Alexandre de Albuquerque Loureiro | Orlando Manuel Oliveira Belo | 2007 |
| Sequence pattern mining in biochemical data | Pedro Gabriel Dias Ferreira | Paulo Jorge Sousa Azevedo | 2007 |
| Robust and hardware-accelerated 3D point and line reconstruction from images | Rui Rodrigues | António José Borba Ramires Fernandes (co-supervisão: C. W. A. M. Overveld) | 2006 |
| Serviço de transporte para tráfego multimédia adaptativo sobre redes de longas distâncias : uma arquitectura distribuída | Vítor Manuel Basto Fernandes | Vasco Freitas | 2006 |
| Topic maps : da sintaxe à semântica | Giovani Rubert Librelotto | Pedro Manuel Rangel Santos Henriques | 2005 |
| Point-free program calculation | Manuel Alcino Pereira Cunha | José Bernardo Santos Monteiro Vieira Barros | 2005 |
| Encaminhamento diferenciado para comunicações em grupo com requisitos de qualidade de serviço | Maria João Nicolau | Alexandre Júlio Teixeira Santos | 2005 |
| Refactorings to evolve object-oriented systems with aspect-oriented concepts | Miguel Pessoa Monteiro | João Miguel Lobo Fernandes | 2005 |
| Um modelo arquitectónico para desenvolvimento de compiladores: aplicação à Framework Dolphin | Paulo Jorge Matos | Pedro Manuel Rangel Santos Henriques | 2005 |
| Rocmeu: orientação ao recurso na modelação de aplicações paralelas e exploração cooperativa de clusters multi-SAN | Albano Agostinho Gomes Alves | António Manuel Silva Pina | 2004 |
| Comparação e classificação de métodos de avaliação do processo de software utilizando uma metodologia numérica e exploratória | Alberto António de Chalupa Sampaio | Fernando Mário Junqueira Martins (co-supervisão: Maria Helena Mendes Moreira) | 2004 |
| Type-based termination of recursive definitions and constructor subtyping in typed lambda calculi | Maria João Gomes Frade | José Manuel Esgalhado Valença (co-supervisão: Gilles Barthe) | 2003 |
| Semantically reliable group communication | José Orlando Roque Nascimento Pereira | Luís Eduardo Teixeira Rodrigues (co-supervisão: Rui Carlos Mendes Oliveira) | 2002 |
| Sistematização da animação de programas : proposta de um novo sistema para construção automática e sistemática de animações de programas | Maria João Tinoco Varanda Pereira | Pedro Manuel Rangel Santos Henriques | 2002 |
| Modelos inspirados na natureza para a previsão de séries temporais | Paulo Cortez | José Carlos Ferreira Maia Neves | 2002 |
| Agentes inteligentes como objectos dum sistema distribuído de realidade virtual | José Manuel Machado | José Carlos Ferreira Maia Neves | 2001 |
| Components as coalgebras | Luís Soares Barbosa | José Nuno Fonseca Oliveira | 2001 |
| Especificação normativa de agentes institucionais e da interacção entre agentes | Olga Pacheco | José Carmo | 2001 |
| Anotação estrutural de documentos e sua semântica: especificação da sintaxe, semântica e estilo para documentos | José Carlos Leite Ramalho | Pedro Manuel Rangel Santos Henriques | 2000 |
| MIDAS: metodologia orientada ao objecto para desenvolvimento de sistemas embebidos | João Miguel Lobo Fernandes | José Alberto Proença (co-supervisão: Henrique Santos) | 2000 |
| Multiple-source Dynamic Dictionaries | José João Antunes Guimarães Dias Almeida | Pedro Manuel Rangel Santos Henriques | 1997 |
| Metodologias de especificação e análise de sistemas digitais: desenvolvimento de um controlador APA (GLiTCH) | Henrique Dinis dos Santos | Alberto Proença | 1996 |
| Métodos formais na concepção e desenvolvimento de sistemas interactivos | Fernando Mário Junqueira Martins | José Nuno Fonseca Oliveira | 1995 |
Portuguese