"Igor Kravtsov"@cs .