1. Instituto de Computação, Universidade Federal do Rio de Janeiro, Brazil
2. Instituto Federal de Educação, Ciência e Tecnologia de Minas Gerais, Brazil
3. Programa de Pós-Graduação em Informática, Universidade Federal do Rio de Janeiro, Brazil
4. Departamento de Ciências de Computação, Universidade de São Paulo, Brazil