Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Непомнящий Валерий Александрович
В базах данных Math-Net.Ru
Публикаций: 20
Научных статей: 16

Статистика просмотров:
Эта страница:1308
Страницы публикаций:5217
Полные тексты:2602
Списки литературы:564
старший научный сотрудник
кандидат физико-математических наук
E-mail:

Основные темы научной работы

теория программирования, верификация, спецификация, семантика, системы верификации программ, коммуникационные протоколы, сети Петри, телекоммуникационные системы

https://www.mathnet.ru/rus/person54220
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2018
1. Д. А. Кондратьев, И. В. Марьясов, В. А. Непомнящий, “Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов”, Модел. и анализ информ. систем, 25:5 (2018),  491–505  mathnet 2
2017
2. I. V. Maryasov, V. A. Nepomniaschy, D. A. Kondratyev, “Invariant elimination of definite iterations over arrays in C programs verification”, Модел. и анализ информ. систем, 24:6 (2017),  743–754  mathnet  elib 5
2016
3. Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко, “Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM”, Модел. и анализ информ. систем, 23:6 (2016),  688–702  mathnet  mathscinet  elib
2015
4. I. V. Maryasov, V. A. Nepomniaschy, “Loop invariants elimination for definite iterations over unchangeable data structures in C programs”, Модел. и анализ информ. систем, 22:6 (2015),  773–782  mathnet  mathscinet  elib 6
5. S. A. Chernenok, V. A. Nepomniaschy, “The application of coloured Petri nets to verification of distributed systems specified by message sequence charts”, Труды ИСП РАН, 27:3 (2015),  197–218  mathnet  elib
2014
6. С. А. Черненок, В. А. Непомнящий, “Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри”, Модел. и анализ информ. систем, 21:6 (2014),  94–106  mathnet 1
2013
7. И. В. Марьясов, В. А. Непомнящий, А. В. Промский, Д. А. Кондратьев, “Автоматическая верификация C-программ на основе смешанной аксиоматической семантики”, Модел. и анализ информ. систем, 20:6 (2013),  52–63  mathnet
8. И. С. Ануреев, С. Н. Баранов, Д. М. Белоглазов, Е. В. Бодин, П. Д. Дробинцев, А. В. Колчин, В. П. Котляров, А. А. Летичевский, А. А. Летичевский, В. А. Непомнящий, И. В. Никифоров, С. В. Потиенко, Л. В. Прийма, Б. В. Тютин, “Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений”, Тр. СПИИРАН, 26 (2013),  349–383  mathnet 5
2012
9. Д. А. Шкляев, В. А. Непомнящий, “Дедуктивная верификация протокола скользящего окна”, Модел. и анализ информ. систем, 19:6 (2012),  57–68  mathnet
2011
10. Д. М. Белоглазов, М. Ю. Машуков, В. А. Непомнящий, “Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри”, Модел. и анализ информ. систем, 18:4 (2011),  144–156  mathnet 1
2010
11. В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский, “Верификация C-программ в мультиязыковой системе СПЕКТР”, Модел. и анализ информ. систем, 17:4 (2010),  88–100  mathnet 6
12. И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий, “Верификация C-программ на основе смешанной аксиоматической семантики”, Модел. и анализ информ. систем, 17:3 (2010),  5–28  mathnet 5
1971
13. В. А. Непомнящий, “О полноте операций в операторных алгоритмах”, Докл. АН СССР, 199:4 (1971),  780–782  mathnet  mathscinet  zmath
1970
14. В. А. Непомнящий, “Рудиментарные предикаты и тьюринговы вычисления”, Докл. АН СССР, 195:2 (1970),  282–284  mathnet  mathscinet  zmath 2
1966
15. В. А. Непомнящий, “О некоторых автоматах, способных вычислять базис для рекурсивно-перечислимых множеств”, Алгебра и логика. Семинар, 5:5 (1966),  69–83  mathnet  mathscinet
16. В. А. Непомнящий, “Об одном базисе для рекурсивно-перечислимых множеств”, Докл. АН СССР, 170:6 (1966),  1262–1264  mathnet  mathscinet  zmath
2022
17. С. Н. Артемов, Я. М. Барздинь, Л. А. Бокуть, Ю. Ш. Гуревич, А. М. Дехтярь, Л. А. Левин, И. А. Ломазова, Ю. В. Матиясевич, В. А. Непомнящий, С. П. Новиков, А. Рабинович, В. Ю. Сазонов, А. О. Слисенко, В. А. Соколов, М. Б. Трахтенброт, Н. В. Шилов, “Борис Абрамович Трахтенброт (к столетию со дня рождения)”, УМН, 77:1(463) (2022),  191–195  mathnet  mathscinet  zmath; S. N. Artemov, J. M. Barzdiņš, L. A. Bokut', Yu. Gurevich, A. M. Dekhtyar', L. A. Levin, I. A. Lomazova, Yu. V. Matiyasevich, V. A. Nepomnyashchii, S. P. Novikov, A. Rabinovich, V. Yu. Sazonov, A. O. Slisenko, V. A. Sokolov, M. B. Trakhtenbrot, N. V. Shilov, “Boris Abramovich Trakhtenbrot (on the centenary of his birth)”, Russian Math. Surveys, 77:1 (2022), 183–188  isi
2014
18. В. А. Непомнящий, В. А. Соколов, “От редакторов специального выпуска”, Модел. и анализ информ. систем, 21:6 (2014),  5–6  mathnet
2011
19. В. А. Непомнящий, В. А. Соколов, “От редакторов специального выпуска”, Модел. и анализ информ. систем, 18:4 (2011),  5–6  mathnet
2010
20. В. А. Непомнящий, В. А. Соколов, “От редакторов специального выпуска”, Модел. и анализ информ. систем, 17:4 (2010),  1–2  mathnet

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