"J. Tichomirov"@cs .