Instituto de Computação   Departamento de Teoria da Computação   Produções Artigos publicados em periódicos      Artigos publicados em periódicos especializados arbitrados de circulação (internacional)