"Martin Zatloukal"@cs .