"Stephan Retzen"@cs .