RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Кулямин Виктор Вячеславович

В базах данных Math-Net.Ru
Публикаций: 7
Научных статей: 7

Статистика просмотров:
Эта страница:337
Страницы публикаций:769
Полные тексты:293
Списки литературы:91
E-mail:

http://www.mathnet.ru/rus/person9123
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/667234

Публикации в базе данных Math-Net.Ru
2018
1. В. В. Кулямин, А. К. Петренко, А. В. Хорошилов, “Компонентная верификация операционных систем”, Труды ИСП РАН, 30:6 (2018),  367–382  mathnet  elib
2. I. B. Burdonov, A. S. Kossatchev, V. V. Kuliamin, A. N. Tomilin, V. Z. Shnitman, “Asynchronous distributed algorithms for static and dynamic directed rooted graphs”, Труды ИСП РАН, 30:1 (2018),  69–88  mathnet  elib
2016
3. В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко, “Верификация и анализ вариабельных операционных систем”, Труды ИСП РАН, 28:3 (2016),  189–208  mathnet  elib
2015
4. А. К. Петренко, В. В. Кулямин, А. В. Хорошилов, “Об интеграции формальных методов в задачах верификации операционных систем”, Труды ИСП РАН, 27:5 (2015),  175–190  mathnet  elib
2000
5. В. В. Кулямин, “Об образах многочленов в кольце $M_2(\mathbb Z/8\mathbb Z)$”, Фундамент. и прикл. матем., 6:1 (2000),  275–280  mathnet  mathscinet  zmath
6. В. В. Кулямин, “Образы градуированных многочленов в кольцах матриц над конечными групповыми алгебрами”, УМН, 55:2(332) (2000),  141–142  mathnet  mathscinet  zmath; V. V. Kulyamin, “Images of graded polynomials in matrix rings over finite group algebras”, Russian Math. Surveys, 55:2 (2000), 345–346  isi  scopus
1997
7. В. В. Кулямин, “Об образах многочленов в конечных кольцах матриц”, Фундамент. и прикл. матем., 3:2 (1997),  469–485  mathnet  mathscinet  zmath

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019