Instituto de Computação   Departamento de Teoria da Computação   Produções      Artigos publicados em periódicos    Capítulos de livros publicados    Trabalhos completos publicados em anais de congresso    Resumos Publicados    Participação em congressos e outros eventos    Outras Publicações    Trabalhos Técnicos    Cursos de extensão