{"id":3855,"date":"2024-07-29T12:41:08","date_gmt":"2024-07-29T12:41:08","guid":{"rendered":"https:\/\/web.di.uminho.pt\/sitedi\/?page_id=3855"},"modified":"2024-07-29T12:51:28","modified_gmt":"2024-07-29T12:51:28","slug":"phds","status":"publish","type":"page","link":"https:\/\/web.di.uminho.pt\/sitedi\/phds\/","title":{"rendered":"PhDs"},"content":{"rendered":"\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t
\n
\n

Disserta\u00e7\u00f5es de Doutoramento<\/h3>\nReposit\u00f3rio de disserta\u00e7\u00f5es de doutoramento<\/strong> orientadas ou co-orientadas por membros do Departamento de Inform\u00e1tica.\n\n(NB:<\/strong>: em constru\u00e7\u00e3o.)\n\n<\/div>\n
<\/div>\n<\/div>\n

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

Disserta\u00e7\u00f5es de Doutoramento Reposit\u00f3rio de disserta\u00e7\u00f5es de doutoramento orientadas ou co-orientadas por membros do Departamento de Inform\u00e1tica. (NB:: em constru\u00e7\u00e3o.)<\/p>\n","protected":false},"author":5,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_exactmetrics_skip_tracking":false,"_exactmetrics_sitenote_active":false,"_exactmetrics_sitenote_note":"","_exactmetrics_sitenote_category":0,"_themeisle_gutenberg_block_has_review":false,"footnotes":""},"class_list":["post-3855","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/web.di.uminho.pt\/sitedi\/wp-json\/wp\/v2\/pages\/3855","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/web.di.uminho.pt\/sitedi\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/web.di.uminho.pt\/sitedi\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/web.di.uminho.pt\/sitedi\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/web.di.uminho.pt\/sitedi\/wp-json\/wp\/v2\/comments?post=3855"}],"version-history":[{"count":7,"href":"https:\/\/web.di.uminho.pt\/sitedi\/wp-json\/wp\/v2\/pages\/3855\/revisions"}],"predecessor-version":[{"id":3870,"href":"https:\/\/web.di.uminho.pt\/sitedi\/wp-json\/wp\/v2\/pages\/3855\/revisions\/3870"}],"wp:attachment":[{"href":"https:\/\/web.di.uminho.pt\/sitedi\/wp-json\/wp\/v2\/media?parent=3855"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}