"Jakub Vlk"@cs .