"O. Linhart"@cs .