"Martin Herrmann"@cs .