Маненков С. К. (ИПМ РАН). Публикации