"Ivan Linhart"@cs .