"Michal Havel"@cs .