"Jan Mocek"@cs .