"Jakub Dohnal"@cs .