"Javier Navarrete"@cs .