"Jakub Horak"@cs .