"Jakub Herman"@cs . "Herman"@cs .