"Radek Mikul\u00E1\u0161"@cs .