"Ren\u00E9 Binder"@cs .