|  Título  |  Autor  |  DataProvas  | 
|  "Preservação Digital de Bases de Dados Relacionais"  |  Ricardo André Pereira Freitas  |  22-Julho-2008  | 
|  "Sistemas de dados em XML - dos sistemas operacionais aos sistemas de processamento analítico"  |  José Jorge Abrantes Coelho de Moura  |  23-Maio-2008  | 
|  "Integração de Mecanismos para Encaminhamento com Qualidade de Serviço no Protocolo OSPF"  |  José Filipe Fernandes de Almeida Lopes  |  28-Junho-2007  | 
|  "Definição e Implementação de um Sistema de Teste e Exames para E-Learning"  |  António José Lira Fernandes  |  09-Fevereiro-2007  | 
|  "Especificação e Implementação de um Repositório de Objectos de Ensino"  |  Paulo Jorge Dias Domingues  |  09-Fevereiro-2007  | 
|  "Reusable Aspect-Oriented Implementations of Concurrency Patterns and Mechanisms"  |  Carlos Augusto Silva Cunha  |  24-Janeiro-2007  | 
|  "Análise de Sistemas para Especificação de Workflow Baseados em XML"  |  Ricardo Manuel Meira Ferrão Luís  |  17-Janeiro-2007  | 
|  "Suporte à Edição Cooperativa de Informação Geográfica em Ambientes Web"  |  Nuno André de Sampaio Faria  |  04-Janeiro-2007  | 
|  "Características de um sistema de visualização para compreensão de programas Web"  |  Eva Ferreira de Oliveira  |  11-Setembro-2006  | 
|  "Evaluation of group-based database. Replication using centralized simulation"  |  Luis Manuel Oliveira Soares  |  18-Julho-2006  | 
|  "Análise de um Sistema de Votação Electrónica Comercial"  |  Filipe José Silva de Campos  |  12-Julho-2006  | 
|  "Unifying middleware for commercial replicated database systems"  |  Tiago Chaves Bezerra  |  3-Julho-2006  | 
|  "VooDooM: Suport for understanding and re-engeneering of VDM-SL specifications"  |  Tiago Miguel Laureano Chaves  |  26-Junho-2006  | 
|  "CORDENA - Uma plataforma para gestão de redes baseada em politicas. Arquitecturas e mecanismos de tradução de politicas"  |  Guilherme António Teixeira  |  12-Junho-2006  | 
|  "Model-based transformations for software architectures: a pervasive application case study"  |  Paula Alexandra Fernandes Monteiro  |  10-Maio-2006  | 
|  "XBRL em Portugal: Estudo e Indicações Técnicas para a sua implementação"  |  Joel Alexandre da Silva Vicente  |  20-Abr-2006  | 
|  "Especificação e Geração Automática de Navegadores para Redes Semânticas Baseados em Interfaces Web"  |  Luís Miguel Alves Domingues  |  06-Jan-2006  | 
|  "Interfaces de Computador para Crianças - Avaliação e Construção"  |  Alexandre Sérgio Mano  |  01-Jan-2006  | 
|  "Informação Geográfica e Web"  |  Mário André Pinto Ferreira de Araújo  |  06-Dez-2005  | 
|  "Cache para Visualização Interactiva de Animações"  |  Victor Manuel dos Santos Coleho  |  03-Nov-2005  | 
|  "Serviços Diferenciados sobre Ethernet e ATM"  |  José Manuel Balão da Silva  |  14-Jul-2005  | 
|  "Model Cheking of Petri Nets for Embedded Systems"  |  Óscar Rafael da Silva Ferreira Ribeiro  |  06-Jul-2005  | 
|  "Formalizing Markup Languages for user Interface"  |  Luis Gonzaga Ferreira  |  17-Jun-2005  | 
|  "Localização Automática de Objectos em Sequências de Imagens"  |  António Manuel Ribeiro de Sousa  |  19-Mai-2005  | 
|  "A Framework for the Timing Analysis of Ethernet-based Factory-floor Networks"  |  Nuno Alexandre Magalhães Pereira  |  14-Mar-2005  | 
|  "Sistemas de Bases de Dados Móveis"  |  Sílvia Maria Rodrigues da Cunha  |  15-Dez-2004  | 
|  "Exploração de Soluções de Arquivo para Documentos anotados na linguagem XML e o seu processamento"  |  Giovana Mendes  |  10-Dez-2004  | 
|  "Exploração do GML e Web Services para uso de SIG's em PDA's"  |  Ricardo Alexandre Gonçalves Carotta Martins  |  7-Dez-2004  | 
|  "Sistemas de Data Webhousing: Análise, desenho, implementação e exploração de sistemas reais"  |  Eurico Alexandre Teixeira Borges  |  24-Nov-2004  | 
|  "Objectivação de Especificações Formais"  |  António Miguel Ribeiro dos Santos Rosado da Cruz  |  12-Nov-2004  | 
|  "Estudo de um Subconjunto "Precioso" do GML 2.12"  |  Mário Ricardo de Novais Henriques  |  12-Nov-2004  | 
|  "Reificação "Genética" de Estruturas de Dados"  |  Fernando Luís Pinto Neves  |  12-Out-2004  | 
|  "Projecto e Implementação de Sistemas de Data Warehousing"  |  Vasco Nuno Caio dos Santos  |  15-Set-2004  | 
|  "Distributed Transaction Processing in the Escada Protocol"  |  Alfrânio Tavares Correia Júnior  |  23-Jul-2004  | 
|  "Extracção Incremental de Padrões Frequentes em bases de dados"  |  José Manuel de Almeida Pereira  |  14-Jul-2004  | 
|  "Parallel corpora word aligment and applications"  |  Alberto Manuel Brandão Simões  |  14-Jun-2004  | 
|  "Web Services: Aplicações distribuídas sobre Protocolos Internet"  |  Carlos Jorge Feijó Lopes  |  30-Abr-2004  | 
|  "Re-engenharia de dados em suporte relacional usando métodos formais"  |  João Carlos Cardoso da Silva  |  12-Mar-2004  |