"Stanislav Zeman"@cs .