"Michal Synek"@cs .