"Derner"@cs .