Instituto de Computação   Teses de doutorado   1.   A Abordagem POESIA para a Integração de Dados e Serviços na Web Semântica. Autor: Renato Fileto, Orientador: Claudia Maria Bauzer Medeiros. Data da defesa: 01/12/2003. Tese de doutorado ligado ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.   2.   "Grau de Indecidibilidade da Universidade para Subclasses de Autômatos Temporizados", Autor: Guilherme Albuquerque Pinto, Orientador: Arnaldo Vieira Moura. Data da defesa: 29/08/2003. Tese de doutorado ligado ao DEPARTAMENTO DE TEORIA DA COMPUTACAO.   3.   "Desempenho de Sitemas de Distribuição de Documentos via WEB", Autor: Roberto Ferreira Brandão, Orientador: Ricardo de Oliveira Anido. Data da defesa: 13/06/2003. Tese de doutorado ligado ao DEPARTAMENTO DE TEORIA DA COMPUTACAO.