"Jennifer Wichersov\u00E1"@cs . "J. Wichersov\u00E1"@cs .