"Ji\u0159\u00ED Jan\u00E1k"@cs .