"Manuel Rosenthal"@cs .