"Radek Jandera"@cs .