Manuel Eduardo Correia Faculdade de Ciências da Universidade do Porto Departamento de Ciência de Computadores INESC TEC
Manuel Marques Instituto Superior Técnico Departamento de Engenharia Eletrotécnica e de Computadores ISR
