"S\u00E9rgio Jimenez"@cs .