"Guido Richter"@cs .