"Jan Nov\u00FD"@cs .