LuÃs Lopes Faculdade de Ciências da Universidade do Porto Departamento de Ciência de Computadores INESC TEC