"Semjon Alexejev"@cs .