"Manuel Cohen"@cs .