"Petr Exner"@cs .