"Martin Tarant"@cs .