"Jakub Valenta"@cs .