"Viktor Vachru\u010Dev"@cs .