"Hermann Proebst"@cs .