"Ximo Navarro"@cs .