"Karl Verner"@cs .