"Martin Samiec"@cs .