"Martin Rezek"@cs .