"Eduard Verner"@cs .