"Emilio Esteban-Infantes"@cs .