"Herrmann M\u00FCller-Karpe"@cs .