Instituto de Computação   Departamento de Teoria da Computação   Produções Artigos publicados em periódicos      Artigos publicados em periódicos especializados arbitrados         Circulação Nacional         Circulação Internacional