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