"Martin Rauch"@cs .