PG | Doutoramentos / Mail | Tema | Data Admissão | Orientador |
1352 | Alfrânio Tavares Correia Júnior alfranio@lsd.di.uminho.pt | Open Replication of Databases for large-scale environments | 02-Mar-2005 | RCO |
080381029 | Alexandre Leite de Castro Madeira (MAP-i 08/09-FCUP) a.madeira@fc.up.pt | | 11-Nov-2008 | |
0808381040 | Ana Luísa Parreira Nunes (MAP-i 08/09-FCUP) aln@fc.up.pt | | 11-Nov-2008 | |
1910 | André Leite Ferreira (MAP-i 07/08) alferreira@di.uminho.pt (Algoritmi) | Software Process Improvement Strategies: Six Sigma and PSP/TSP for CMMI Level 5 | 20-Sep-2007 REINSCRIÇÃO em Dez-08 para conclusão do 1º ano | Ricardo Machado/DSI-UM |
2006 | Andreia Sofia da Costa Teixeira (MAP-i 07/08) andreiasofiat@hotmail.com (LIACC) | Characterization of cryptographic primitives based on Klomogorov complexity | 20-Sep-2007 | Luis Antunes/UP |
1976 | António Carlos Oliveira Júnior REINSCRIÇÃO em Dez-08 para conclusão do 1º ano (MAP-i 07/08) acojr@di.uminho.pt | User-Centric Routing | 06-Jul_2009 | Helena Rute Sofia/Inesc Porto |
080381041 | António Pedro Oliveira (MAP-i 08/09-FCUP) apoliveira@fc.up.pt | | 11-Nov-2008 | |
1989 | Arif ur Rahman (MAP-i 07/08) badwanpk@gmail.com (INESC/Porto) | Data warehouses in the path from databases to archives | 19-Sep-2007 | Gabriel David/UP |
2165 | Bárbara Isabel de Sousa Vieira barbarasv@di.uminho.pt | Verificação formal de políticas de segurança em software criptográfico | 28-May-2008 | MBB,MAC |
1925 | Brett Drury (MAP-i 07/08) bdrury@microfil.pt (LIAAD) | A text-mining response to news | 20-Sept-2007 | Luís Torgo/UP |
090381038 | Bruno José Duro Batista (MAP-i 08/09-FCUP) bruno.batista@fc.up.pt | | 11-Nov-2008 | |
080381030 | Bruno Miguel Ferreira de Oliveira (MAP-i 08/09-FCUP) bruno.oliveira@fc.up.pt | | 11-Nov-2008 | |
080381031 | Can Ye (MAP-i 08/09-FCUP) yecan@fc.up.pt | | 11-Nov-2008 | |
1926 | Daniela Carneiro da Cruz (MAP-i 07/08) danieladacruz@gmail.com (CCTC) | Methods and techniques to analyse code, to extract and handle application components | 20-Sep-2007 | PRH |
1970 | David Miguel Ramalho Pereira (MAP-i 07/08) dpereira@ncc.up.pt (LIACC) | Mobile code security based on Kleene algebras and temporal logics | 20-Sep-2007 | Nelma Moreira/UP |
2131 | Diogo Telmo de Sá Lima Pinto Neves dneves@di.uminho.pt (Bolseiro UTA_Portugal) | Separation of Concerns in Advanced Computing | 19-Mar-2008 | JLS,Keshav Pingali |
1908 | Filipe José Oliveira Campos (MAP-i 07/08) filipe.o.campos@gmail.com (CCTC) | Fault tolerant service integration | 20-Sep-2007 | JOP |
2305 | Flávio Miguel Xavier Ferreira flavioxavier@di.uminho.pt | Personalised information access in an XML document collection associated with semantic descriptions | 07-Sep-2008 | PRH, Co-Tutela Bruno Defude e Alda Gançarski |
1257 | Francisco Alexandre Costa Gaitto Gonçalves Pereira fgaitto@porto.ucp.pt | Simulação gráfica do envelhecimento de estruturas arquitectónicas | 22-Sep-2004 "ReqProrrogNov2008" | ARF, Luís Hernández Ibánez |
1916 | Gustavo Soares Santos | Ao abrigo do Protocolo Portugal-CMU | 20-Sep-2007 | |
1901 | Hugo Daniel dos Santos Macedo (MAP-i 07/08) hmacedo@di.uminho.pt | REINSCRIÇÃO em Dez-08 para conclusão do 1º ano | 20-Sep-2007 | |
1917 | Hugo José Sereno Lopes Ferreira (MAP-i 07/08) hugo.ferreira@di.uminho.pt (INESC-Porto) | Adaptive object modelling: Patterns, tools and applications | 20-Sep-2007 | Ademar Aguiar/UP |
2089 | Hugo José Pereira Pacheco (MAP-i 07/08) hpacheco@di.uminho.pt (CCTC) | Bidirectional data transformation by calculation | 15-Feb-2008 | MAC |
080381039 | Hugo Marcelo Fernandes da Conceição (MAP-i 08/09-FCUP) hugoc@fc.up.pt | | 11-Nov-2008 | |
1697 | Jácome Miguel Costa da Cunha jacome@di.uminho.pt | Foundations of Spreadsheets | 22-Dec-2006 | JAS, Joost Visser |
2428 | João Carlos Azevedo Salgado Guimarães joaoguima@gmail.com | Development of tools for Synthetic Biology: towards a computacional transcript engineering toolbook | 28-Jan-2009 | MPR, Adam P. Arkin |
1351 | João Carlos Cardoso da Silva jcsilva@ipca.pt | Métodos Formais e Engenharia Reversa aplicados à Manutenção e Usabilidade de Sistemas Interactivos | 02-Mar-2005 | JAS, JFC |
080381044 | João Miguel Ribeiro Gonçalves (MAP-i 08/09-FCUP) joao.m.goncalves@fc.up.pt | | 11-Nov-2008 | |
1906 | José Carlos de Queirós Pinto MAP-i 07/08) zepinto@gmail.com (ISR-Porto) | Cooperative control of heterogeneous autonomous vehicles | 20-Sep-2007 | Fernando Lobo Pereira/UP |
2112 | José Luís Cardoso Silva jlsilv@gmail.com | An infrastructure for experience centred agile prototyping of ambient intelligence | 19-Mar-2008 | JFC,Michael Harrison |
2062 | José Pedro Basto Gouveia Pereira Pinto josepedr@gmail.com | Computational Tools for Data Integration and Regulatory Network Inference in Systems Biology | 14-Jan-2008 | MPR, ICR |
1927 | José Pedro Garcia Oliveira (MAP-i 07/08) jpo@di.uminho.pt (CCTC) | Integrated enterprise messaging architecture | 20-Sep-2007 | JOP |
1622 | Luis Manuel Oliveira Soares los@di.uminho.pt | Group-based Databse Replication in Cluster Environments | 18-Oct-2006 | JOP |
1681 | Luis Pedro Oliveira Machado lpedromachado@gmail.com | Transformação Pragmática de Programas | 16-Nov-2006* | JSP, Simão Sousa |
080381048 | Noel Pérez (MAP-i 08/09-FCUP) nperez@fc.up.pt | | 11-Nov-2008 | |
1918 | Miguel Pereira dos Santos Silva (MAP-i 07/08) mssilva@fc.up.pt | | CMU | |
1975 | Nuno Alexandre Abreu Carvalho (MAP-i 07/08) nuno.carvalho@di.uminho.pt (CCTC) | Self-managing service platform | 20-Sept-2007 | JOP |
1920 | Nuno Alexandre Castro Ferreira (MAP-i 07/08) nuno.ferreira@i2S.pt (Algoritmi) | Multi-staged domain specific modeling for software product lines: An insurance ontology analysis | 20-Sep-2007 | Ricardo Machado/DSI |
1689 | Nuno Alexandre Magalhães Pereira nap@isep.ipp.pt | Previsibilidade e Fiabilidade na Difusão de Informação em Redes Sensoriais sem Fios | 22-Dec-2006 | PMC |
1909 | Nuno José Constantino Castro (MAP-i 07/08) castro@di.uminho.pt (CCTC) | Time series analysis in telecommunication data | 20-Sep-2007 | PJA |
1543 | Nuno Miguel Afonso Veiga nveiga@estg.ipleiria.pt | Arquitectura para acessos seguros a conteúdos multimédia em redes IPv6 corporativas | 22-Feb-2006 | ATS |
080381035 | Nuno Miguel de Melo Figueiredo (MAP-i 08/09-FCUP) nuno.figueiredo@fc.up.pt | | 11-Nov-2008 | |
1752 | Nuno Vasco Moreira Lopes nunovasco@gmail.com | Qualidade de Serviço IP em Ambientes Móveis | 21-Mar-2007** | ATS,Maria João Nicolau |
080381033 | Orlando Shigueo Ohashi Junior (MAP-i 08/09-FCUP) ohashijr@fc.up.pt | | 11-Nov-2008 | |
1953 | Óscar Sílvio Marques de Almeida Gama osg@di.uminho.pt | Rede Biomédica de Sensores Sem Fios Auto-Adaptável | Sep 2007 | (DEI)+ co-orientador PMC |
1919 | Paula Alexandra Fernandes Monteiro (MAP-i 07/08) pa.monteiro@gmail.com (Algoritmi) | Inception of software validation and verification practices within CMMI Level 2: An IEEE/ISO 29119 roadmap | 20-Sep-2007 | Ricardo Machado/DSI |
1971 | Paulo Alexandre da Costa Ferreira Brandão Pereira docpb@sapo.pt | Erro em Imagiologia Médica | 26-Sep-2007 | VMA,JMN |
1921 | Paulo César Oliveira Jesus (MAP-i 07/08) pcoj@di.uminho.pt (CCTC) | Robust distributed data aggregation | 20-Sep-2007 | CBM |
080381036 | Raúl Silva Costa (MAP-i 08/09-FCUP) raulscosta@fc.up.pt | | 11-Nov-2008 | |
1650 | Reus Salini R.Salini@gmx.net | Inteligência evolutiva aplicada à modelação do comportamento dos pavimentos asfálticos | 18-Oct-2006/Jan-2008 | JMN,ASA |
080381050 | Ricardo André Pereira de Freitas (MAP-i 08/09-FCUP) rfreitas@fc.up.pt | | 11-Nov-2008 | |
1922 | Ricardo Manuel Pereira Vilaça (MAP-i 07/08) rmvilaca@di.uminho.pt (CCTC) | Large-scale descentralized object store | 20-Sep-2007 | RCO |
1923 | Rui Jorge Pereira Gonçalves (MAP-i 07/08) rjpg@fe.up.pt (ISR-Porto) | Augmented/virtual reality applied to the control and supervision of heterogeneous robotic vehicles in cooperative missions | 20-Sep-2007 | Fernando Lobo Pereira/UP |
1904 | Rui Manuel Pacheco Meireles (MAP-i 07/08) rui.meireles@gmail.com (IT-Porto) | Vehicular ad-hoc Networks | 20-Sep-2007 | João Barros/UP |
1552 | Rui Pedro da Costa Barbosa ruidev@gmail.com | Forex Trading Using Intelligent Software Agents | 06-Apr-2006 | OMB |
1746 | Sérgio Paulo Valentim Ferreira sergio.valentim@esad.ipleiria.pt | Ray-Tracing Interactivo em Modelos Virtuais Dinâmicos | 21-Feb-2007 | LPS |
1779 | Tiago Miguel Laureano Alves tiagomlalves@gmail.com | Techniques for Software Portfolio Understanding | 01-Jul-2007** | JNO,Johannes Visser |
1954 | Tiago Miguel Guimarães Pedrosa (MAP-i 07/08) pedrosa@di.uminho.pt (IEETA) | Electronic health records for mobile citizens | 20-Sep-2007 | José Luís Oliveira/UA |
080381037 | Vahid Nazari Talooki (MAP-i 08/09-FCUP) vahid.talooki@fc.up.pt | | 11-Nov-2008 | |
1586 | Vasco Nuno Caio dos Santos vsantos@estgf.ipp.pt | Optimização do Processo de Alimentação de um Data Warehouse | 26-Jul-2006 | OMB |
080381043 | Vítor Gabriel dos Reis Machado Rodrigues (MAP-i 08/09-FCUP) vitor.rodrigues@fc.up.pt | | 11-Nov-2008 | |
1928 | Vitor Serafim Pereira Oliveira (MAP-i 07/08) vitor.oliveira@hotmail.com (CCTC) | Civil protection applications in a grid supported environment | 20-Sep-2007 | AMP |
* Requereu alteração da data de inicio do doutoramento para coincidir com a data de inicio do contrato da Bolsa com a FCT
** Requereu adiamento do pagamento das propinas de Doutoramento por motivo de candidatura a Bolsa FCT
Doutorando | Tema | Data Admissão | Provas | Orientador |
Albano Agostinho Gomes Alves | Rocmeu: orientação ao recurso na modelação de aplicações paralelas e exploração cooperativa de clusters multi-SAN | Sep 2000 | Dec 2004 | AMP |
Alberto Manuel Brandão Simões albie@alfarrabio.di.uminho.pt | Extracção de Recursos de Tradução com base em Dicionários Probabilísticos de Tradução | Sep 2004 | 19-Mai-2008 | JJA |
Alberto António de Chalupa Sampaio | Comparação e Classificação de Métodos de Avaliação do Processo do Software Utilizando uma Metodologia Numérica e Exploratória | Apr 1998 | Jan 2005 | FMM |
António Carlos Silva Abelha | Sistemas Multiagente como Suporte a Trabalho Cooperativo em Unidades Hospitalares | Oct 1998 | Apr 2004 | JMN, VMA |
Ana Cristina Wanzeller Guedes de Lacerda | Selecção de Planos de Mineração de Dados de Utilização da Web | Apr 2003 | May 2007 | OMB |
Anália Maria Garcia Lourenço analia@di.uminho.pt | Descoberta de Conhecimento em Sistemas de Data Webhousing | Feb 2002 | 19-Feb-2007 | OMB |
António Luís Duarte Costa costa@di.uminho.pt | Encaminhamento Hierárquico para Difusão Selectiva com Requisitos Heterogéneos de Qualidade de Serviço | Oct 1999 | Jun 2006 | VLF |
António Manuel Nestor Ribeiro anr@di.uminho.pt | Um Processo de Modelação de Sistemas Software com Integração de Especificações Rigorosas | Oct 1999 | 23-Jun-2008 | FMM |
António Luís Pinto Ferreira de Sousa als@di.uminho.pt | Partial Replication in the Database State Machine | Oct 2000 | Feb 2007 | RCO |
Bruno Alexandre Fernandes Dias bruno.dias@di.uminho.pt | Gestão de Redes Internet - Internet Network Services Management Framework | Jan 1999 | Apr 2005 | ATS |
César Analide Freitas e Silva Costa Rodrigues analide@di.uminho.pt | Antropopatia em Entidades Virtuais | Oct 1998 | Feb 2004 | JMN, JMM |
César de Jesus Pereira da Cunha Rodrigues cjr@di.uminho.pt | Foundations of Program Refinement by Calculation | Nov 1994 | 11-Mai-2009 | JNO |
Francisco António Carneiro Pacheco de Andrade PG993 franc.andrade@gmail.com | A Contratação por Meios Electrónicos e o Recurso a Sistemas Multi-Agente: Questões de Representação e de Responsabilidade Civil | Apr 2003 | 10-Dec-2009 | Co-orientador JMN |
Giovani Rubert Librelotto giovani@unifra.br | Topic Maps: da Sintaxe à Semântica | Sep 2001 | Sep 2005 | PRH, JCR |
Gustavo Vasconcelos Arnold garnoldbr@yahoo.com | Automatization of the Code Generation for Different Industrial Robots | Jun 2002 | 30-Jun-2008 | PRH |
Hugo Alexandre Paredes Guedes da Silva | Uma Arquitectura de Software Dinâmica para a Criação de Ambientes de Interacção Social Regulada na Web | Jul 2002 | 18-Jan-2008 | FMM |
Jorge Alexandre de Albuquerque Loureiro | Restruturação Dinâmica de Estruturas Multidimensionais de Dados em Tempo Útil | Apr 2003 | Jul 2007 | OMB |
João Paulo de Sousa Ferreira Fernandes(ID1287) jpaulo@di.uminho.pt | Design, Implementation and Calculation of Circular Programs | 24-Nov-2004 | 27-Mar-2009 | JAS |
Jorge Gustavo Pereira Bastos Rocha jgr@di.uminho.pt | Informação Geográfica: Meta-Informação, Codificação e Visualização | Oct 1995 | Apr 2005 | PRH |
José Carlos Bacelar Almeida jba@di.uminho.pt | Uma abordagem à verificação automática de protocolos criptográficos | Feb 1995 | Jun 2003 | JMV |
José Carlos Rufino Amaro rufino@ipb.pt | Co-operação de Tabelas de Hash Distribuídas em Clusters Heterogéneros | Sep 2000 | 2-Apr-2008 | AMP |
José João Antunes Guimarães Dias de Almeida jj@di.uminho.pt | Dicionários dinâmicos multifonte | Oct 1997 | Dec 2003 | PRH |
José Luís Padrão Exposto exp@ipb.pt | Estratégias de partição para a optimização da descarga distribuida da Web | Sep 2000 | 24-Apr-2009 | AMP, JHM |
José Miguel Pereira Vilaça jmvilaca@gmail.com | Visual Functional Programming - An Approach Based On Interaction Nets | 24-Nov-2004 | 15-May-2009 | JSP |
Leonel Domingues Deusdado leodeus@ipb.pt | Ambientes Virtuais Povoados com Simulação Eficiente de Detecção de Colisões e Planeamento de Trajectos em Navegação Realmente 3D | Jul 2003 | 09-Jul-2009 | ARF, OMB |
Luís Filipe de Quintas Brito | Abordagem Multiagente à Problemática do Comércio Electrónico | Mar 2000 | Sep 2003 | JMN |
Manuel Alcino Pereira da Cunha alcino@di.uminho.pt | Point-free Program Calculation | Oct 1997 | Jun 2005 | JBB, JSP |
Marco António de Castro Barbosa (ID 972) marco.cb@gmail.com (Proposta de Júri DI-245/2009 | Specification and Refinement of software Connectors | Jul 2002 | 07-Sep-2009 | LSB |
Marco Aurélio Correia da Costa | Inteligência Artificial no Domínio Legal - Uma Abordagem baseada em Ontologias | Sep 1997 | Jan 2003 | JMN |
Maria Goreti Carvalho Marreiros goreti@dei.isep.ipp.pt | Agentes de Apoio à Argumentação e Decisão em Grupo | Jul 2003 | Jan 2008 | JMN |
Maria João Frade mjf@di.uminho.pt | Type-Based Termination of Recursive Definitions and Constructor Subtyping in Typed Lambda Calculi | Feb 1995 | Mar 2004 | JMV, Gilles Barthe |
Maria João Maia Pinto de Castro Sousa | Modelo de avaliação e melhoramento do processo de software | Dec 1997 | Jun 2005 | JBB |
Maria João Mesquita R.C. Nicolau Pinto | Algoritmos e Protocolos de Encaminhamento Multicast | Sep 1997 | Jun 2005 | ATS |
Maria João Tinoco Varanda Pereira mjoao@ipb.pt | Sistematização da Animação de Programas_ | Dec 1997 | Oct 2003 | PRH |
Maria Solange Pires Ferreira Rito Lima solange@di.uminho.pt | A Distributed Admission Control Model for Class-based IP Networks | Oct 2001 | Jan 2006 | VLF, PMC |
Miguel Francisco de Almeida Pereira Rocha mrocha@di.uminho.pt | Optimização de Modelos Conexionistas de Aprendizagem via Computação Genética e Evolucionária | Oct 1998 | Apr 2004 | JMN |
Miguel Jorge Tavares Pessoa Monteiro mmonteiro@di.fct.unl.pt | Técnicas de Especificação e Programação de Sistemas Concorrentes | Dec 2001 | Jul 2005 | JMF |
Nuno Alberto Ferreira Lopes(ID 864) nuno.lopes@di.uminho.pt | Information Search in Large-Scale Peer-to-Peer Systems | 27- Feb-2002 | 30-Mar-2009 | CBM |
Nuno Miguel Feixa Rodrigues(ID 1323) nfr@di.uminho.pt | Slicing Techniques Applied to Architectural Analysis of Legacy Software | 22-Sep-2004 | 09-Feb-2009 | LSB |
Óscar Rafael da Silva Ferreira Ribeiro (ID 1373) oscar.rafael@di.uminho.pt | Animation-based Validation of Reactive Software Systems using Behavioural Models | 27-Apr-2005 | 22-Dec-2009 | JMF |
Paulo Filipe Araújo da Silva PG1178 paufil@di.uminho.pt (Proposta de Júri DI-291/2009) | On the design of a Galculator | 19-May-2004 | 16-Nov-2009 | JNO |
Paulo Jorge Teixeira Matos pmatos@ipb.pt | Um modelo arquitectónico para desenvolvimento de compiladores: Aplicação à framework Dolphin | Sep 2003 | May 2005 | PRH |
Paulo Jorge Machado Oliveira pjorge@dei.isep.ipp.pt | Detecção e Correcção de Problemas de Qualidade dos Dados: Modelo, Sintaxe e Semântica | Jul 2003 | Jan 2009 | PRH |
Paulo Jorge Freitas de Oliveira Novais pjon@di.uminho.pt | Teoria dos Processos de Pré-Negociação em Ambientes de Comércio Electrónico | Oct 1998 | Jul 2003 | JMN, JMM |
Pedro Gabriel Dias Ferreira pedro_gabrieldf@hotmail.com | Sequence Pattern Mining em dados bioquímicos | Sep 2003 | Nov 2007 | PJA |
Pedro Nuno Miranda de Sousa pns@di.uminho.pt | Uma Arquitectura para diferenciação de Tráfego IP | Oct 1999 | Dec 2005 | VLF |
Ronnie Cley de Oliveira Alves ID 1303 alvesrco@yahoo.com | Aggregation-based Mining Methods: From Single to N-dimensional Data Analysis | Feb 2005 | 17-Apr-2008 | OMB |
Ricardo André Fernandes Costa ID 1717 rcosta@estgf.ipp.pt (Proposta de Júri DI-271/2009) | Collaborative Networks in Ambient Assisted Living | 21- Feb-2007 | 06-Nov-2009 | PJN,JMN |
Rui Manuel Ribeiro de Castro Mendes | Population Topologies and Thei Influence in Particle Swarm Performance | Oct 1995 | May 2004 | JMN |
Rui Pedro Amaral Rodrigues rui_rodrigues@bigfoot.com | Robust and hardware-accelerated 3D point and line reconstruction from images | Jan 1999 | Jun 2006 | ARF |
Sérgio Alípio Domingues Deusdado sergiod@ipb.pt | Análise e Compressão de Sequências Genómicas | Jul 2003 | 29-Sep-2008 | PMC |
Victor Francisco M. Freitas Gomes da Fonte vff@di.uminho.pt | Causality Tracking in Dynamic Distributed Systems | Oct 1995 | 2 Feb 2009 | CBM, PSA |
Vitor Manuel Basto Fernandes | Protocolos de Ligação em Redes de Longa Distância | Jul 1997 | Jul 2006 | VLF |