"Jan Linhart"@cs .