"valentin\u00E1n\u016F"@cs .