"Martin Repka"@cs .