"Rainer Simon"@cs .