"Michal D\u011Bdek"@cs .