"Jan Machan"@cs .