"Ji\u0159\u00ED Zavadil"@cs .