"Vadimem B. Mikheevem"@cs .