No Instituto de Computação (IC), Márcio Ribeiro fez também testes e experiências da tese de doutorado