"Otakar Franczyk"@cs .