"Martin Kavan"@cs .