"Ludv\u00EDk Gerthner"@cs .