"Ivan Exner"@cs .