Публикации

Список наиболее важных публикаций за 2021 г.

Монографии

  1. Бурцев М. С., Бухвалов О. Л., Ведяхин А. А., Витяев Е. Е., Еременко М. А, Ефимов А. Р., Колонин А. Г., Курпатов А. В., Мазин В. А., Марков С. С., Молчанов А. А., Николенко С. И., Очеретный А.С., Панов А. И., Пономарев Д. К., Потапов А. С., Салихов Д. Р., Сарапулов Г. Свириденко Д. И., Черток А. В., Шаляпин C. О., Шелехов В. И., Franz A. Сильный искусственный интеллект: На подступах к сверхразуму. – М.: Интеллектуальная Литература, 2021.

Статьи в журналах

  1. Anisiutin L., Batuta T., Shvarts N. Information extraction from news textx using a joint deep learning model // Bulletin of the Novosibirsk Computing Center. –   2021. –   No. 45. –   P. 1 - 14. DOI: 10.31144/BNCC.CS.2542-1972.2021.N45.P1-14. (РИНЦ).
  2. Emelyanov P., Krishna M., Kulkarni V., Nandy S.K., Ponomaryov D., Raha S. Factorization of Boolean polynomials: Parallel algorithms and experimental evaluation // Programming and Computer Software. – 2021. – Vol. 47. – P. 108-118. DOI:10.1134/S0361768821020043. (WoS, Scopus).
  3. Glinskiy B.M., Zhernyak G.F., Zagorulko G.B., Titov P.A. Using ontologies for solving scientific problems (by example of geophysics) // Numerical Methods and Programming, 2021. – № 22(4). –  P. 333–343. DOI: 10.26089/NumMet.v22r422.
  4. Gorodnyaya L. Functional programming for parallel computing // Bulletin of the Novosibirsk Computing Center. –   2021. –   No. 45. –   P. 29 - 48. DOI: 10.31144/BNCC.CS.2542-1972.2021.N45.P29-48. (РИНЦ).
  5. Gusev D., Apanovich Z. Methods of processing textual information in entity alignment algorithms // Bulletin of the Novosibirsk Computing Center. –   2021. –   No. 45. –   P. 49 - 58. DOI: 10.31144/BNCC.CS.2542-1972.2021.N45.P49-58. (РИНЦ).
  6. Khayrulin S. Distributed calculation on multiple independent devices for PCISPH method // Bulletin of the Novosibirsk Computing Center. –   2021. –   No. 45. –   P. 49 - 58. DOI: 10.31144/BNCC.CS.2542-1972.2021.N45.P49-58. (РИНЦ).
  7. Marchuk A., Marchuk P. A cassette as specialized repository for factographic systems // Bulletin of the Novosibirsk Computing Center. –   2021. –   No. 45. –   P. 69 - 78. DOI: 10.31144/BNCC.CS.2542-1972.2021.N45.P69-78. (РИНЦ).
  8. Ponomaryov D. On the relationship between the complexity of decidability and decomposability of first-order theories // Lobachevskii Journal of Mathematics. – 2021. –Vol. 42, No. 12. – P. 2905–2912. DOI: 10.1134/S199508022112026X . (WoS, Scopus).
  9. Rybakov V.V. A note on computation MTs with time in instructions or with tapes of fixed length // Journal of Siberian Federal University, Series Mathematics and Physics. – 2021. – Vol. 14, No 1. – P. 69–73. DOI: 10.17516/1997-1397-2021-14-1-69-73.
  10. Rybakov V.V. A short essay towards if P not equal NP // Journal of Siberian Federal University, Series Mathematics and Physics. – 2021. – Vol. 14, No 2. – P. 258–260. DOI: 10.17516/1997-1397-2021-14-2-258-260.
  11. Rybakov V.V. Branching time logics with multiagent temporal accessibility relations // Siberian Mathematical Journal. – Vol. 62, No 3. – P. 503-510. DOI: 10.1134/S0037446621030137.
  12. Rybakov V.V. Quantitative modalities, possible applications to information analysis // Procedia Computer Science. – 2021. – Vol. 192 – P. 251-258. DOI:10.1016/j.procs.2021.08.026.
  13. Selivanov V. L. Effective Wadge hierarchy in computable quasi-Polish spaces //
    Сибирские Электронные Математические Известия. – 2012. – Т. 18, № 1. – С. 121-135. DOI 10.33048/semi.2021.18.010.
  14. Selivanova S., Selivanov V. Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision // Computability.  – 2021. – Vol. 10, No. 2.  – P. 123 – 140. DOI: 10.3233/COM-180215.
  15. Tarasyuk I.V. Performance evaluation in stochastic process algebra dtsdPBC // Siberian Electronic Mathematical Reports. – 2021. – Vol. 18, No 2. – P.1105-1145. DOI 10.33048/semi.2021.18.085.
  16. Алаев П.Е., Селиванов В.Л. Поля алгебраических чисел, вычислимые за полиномиальное время II // Алгебра и логика. – 2021. – Т. 60, № 6. – С. 533-554. DOI: 10.33048/alglog.2021.60.601.
  17. Батура Т.В., Бручес Е.П., Мезенцева А.А, Извлечение информации из научных текстов на русском языке // Системная информатика. – 2021. – № 19. – С.41-56. DOI: 10.31144/si.2307-6410.2021.n19.p41-56.
  18. Бульонков М.А., Малов В.Ю., Нестеренко Т.В. Исследование и прогнозирование пассажиропотока с помощью системы МИКС-ПРОСТОР // Системная информатика. – 2021. – № 19. – С.1-14. DOI: 10.31144/si.2307-6410.2021.n19.p1-14.
  19. Вирбицкайте И.Б., Зубарев А.Ю. «Истинно параллельная» семантика непрерывно-временных сетей Петри со слабой временной и устойчиво атомарной пространственной стратегиями // Программирование.  – 2021. – № 5. – С. 60-74. DOI:10.31857/s0132347421050071.
  20. Глинский Б.М., Загорулько Г.Б., Снытников А.В., Загорулько Ю.А., Шестаков В.К. Автоматизация построения схемы решения вычислительно сложных задач математической физики на суперкомпьютерах // Информационные и математические технологии в науке и управлении. – 2021. – № 4 (24). – С. 50–59. DOI: 10.38028/ESI.2021.24.4.005.
  21. Городняя Л. В. Визуализация результатов анализа языков программирования для их поверхностного сравнения // Вестник НГУ. Серия: Информационные технологии. –2021. – Т. 19, №2. – С. 29–52. DOI: 10.25205/1818-7900-2021-19-2-29-52.
  22. Л.В. Городняя О функциональном программировании // Компьютерные инструменты в образовании. – 2021.  – №3. – С.57-75.  DOI:10.32603/2071-2340-2021-3-57-75.
  23. Городняя Л.В. Перспективы функционального  программирования параллельных  вычислений // Электронные Библиотеки. – 2021. – Т. 24, № 6. – DOI: 10.26907/1562-5419-2021-24-6-1090-1116.
  24. Демин А.В. Глубокое обучение адаптивных систем управления на основе логико-вероятностного подхода // Известия Иркутского государственного университета. Серия «Математика». – 2021. – Т. 38. – С. 65-83.
  25. Емельянов П.Г. Конъюнктивная декомпозиция булевых функций: эксперименты с различными представлениями // Системная информатика. – 2021. – № 18. – С.85-92. DOI: 10.31144/si.2307-6410.2021.n18.p85-92.
  26. Загорулько Ю.А. Автоматизация разработки онтологий научных предметных областей на основе паттернов онтологического проектирования / Ю.А. Загорулько, Е.А. Сидорова, Г.Б. Загорулько, И.Р. Ахмадеева, А.С. Серый // Онтология проектирования. – 2021. – Т. 11, № 4 (42). – С. 500–520. DOI: 10.18287/2223-9537-2021-11-4-500-520.
  27. Касьянов В.Н., Касьянова Е.В. Методы и технологии конструирования эффективных и надежных программ и программных систем на основе графовых моделей и семантических преобразований // Системная информатика. – 2021. – № 19. – С.1-14. DOI: 10.31144/si.2307-6410.2021.n19.p1-14.
  28. Кондратьев Д.А. На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer // Моделирование и анализ информационных систем. – 2021. – Т. 28, № 4. – С. 372-393. DOI: 10.18255/1818-1015-2021-4-372-393.
  29. Крайнева И.А. Академик Будкер: «…будоражить умы и кресла» // История науки и техники. – 2021. – №3. – С. 20-31. DOI: 10.25791/intstg.3.2021.1260. (ВАК).
  30. Крайнева И.А. Исидор Борисович Румер: страницы биографии // Диалог со временем. – 2021. – Вып. 74. – С. 140-155. (Scopus/WoS).
  31. Лаврентьев М.М., Городняя Л.В., Держо М.А., Иванчева Н.А., Иртегов Д.В., Мигинский Д.С., Пищик Б.Н. Вопросы мотивации обучения сложным профессиям // Вестник НГУ. Серия: Информационные технологии. – 2021. – Т.19, №1. – С. 80–92. DOI: 10.25205/1818-7900-2021-19-1-80-92.
  32. Лисин В.А., Сидорова Е.А. Веб-платформа для фольклорных исследований на основе онтологии предметных областей // Вестник НГУ. Серия: Информационные технологии. – 2021. – Т. 19. –  № 2. –  C. 53–64. DOI: 10.25205/1818-7900-2021-19-2-53-64.
  33. Марчук А.Г. Последовательность как абстракция структурированного построения баз данных // Системная информатика. – 2021. – № 18. – С.35-52. DOI: 10.31144/si.2307-6410.2021.n18.p35-52.
  34. Савелова О.А., Крайнева И.А. Электронный архив сестер Карповых: история научной династии // Исторический курьер. – 2021. – № 2 (16). – С. 25–35. DOI:10.31518/2618-9100-2021-2-2. (ВАК).
  35. Серый А.С., Гриневич А.А., Лисин В.А. Подход к построению информационной исследовательской среды для анализа научных материалов и создания аннотированных корпусов // Информационные и математические технологии в науке и управлении. – 2021. – № 4 (24). – С. 68–76. DOI:10.38028/ESI.2021.24.4.007.
  36. Тихонова Т.И. Организация и проведение Летней школы юных программистов // Сибирский учитель. – 2021. – № 1 (134). – С. 83-88.
  37. Шелехов В.И. Методы трансформации и дедуктивной верификации программы инвертирования списков // Программная инженерия. – 2021. – Т. 12, №3. –  С. 127-139. DOI: 10.17587/prin.12.127-139.
  38. Шелехов В.И. Сравнение технологий автоматного программирования и Event-B // Системная информатика. – 2021. –  №18. – C. 53 – 84. DOI: 10.31144/si.2307-6410.2021.n18.p53-84.
  39. Шелехов В.И. Трансформация и верификация программы сортировки прикрепленных к шине устройств // Системная информатика. – 2021. – №18. – C. 1–34. DOI: 10.31144/si.2307-6410.2021.n18.p1-34.

Российские конференции и семинары

  1. Вирбицкайте И. Б., Зубарев А. Ю. Сравнение языков моделей сетей Петри со слабой временной стратегией // Тезисы Всероссийской научной конференции «Математические основы информатики и информационно-коммуникационных систем». –  Тверь, 2021. – С. 125–131. DOI: 10.26456/mfcsics-21-20.
  2. Городняя Л.В. О неявной мультипарадигмальности параллельного программирования // Научный сервис в сети Интернет: труды XXIII Всероссийской научной конференции (онлайн). – М.: ИПМ им. М.В.Келдыша, 2021. – С. 104-116. DOI:10.20948/abrau-2021-6.
  3. Городняя Л.В. От дискретной математики к семантике языков программирования // Всероссийская научная конференция «Математические основы информатики и информационно-коммуникационных систем». DOI: 10.26456/mfcsics-21-22.
  4. Gorodnyaya L. The role of functional programming in the organization of parallel computing // 23rd All-Russian Scientific Conference “Scientific Service & Internet”. Proc.  – 2021. – P. 46 – 58. DOI: 10.20948/abrau-2021-5-ceur.
  5. Загорулько Г.Б., Загорулько Ю.А. Применение паттернов онтологического проектирования для разработки онтологии поддержки принятия решений // Тр. Девятнадцатой Национальной конференции по искусственному интеллекту с международным участием. КИИ-202 / Под ред. В.В. Борисова, Б.А. Кобринского. – Ростов-на-Дону; Таганрог: Издательство Южного федерального университета, 2021. – С. 120–128.
  6. Загорулько Г.Б., Загорулько Ю.А. Применение паттернов онтологического проектирования при обучении методам разработки онтологий // Информационные и математические технологии в науке и управлении. Тезисы докладов XXVI Байкальской Всероссийской конференции с международным участием. – Иркутск: Институт систем энергетики им. Л. А. Мелентьева, 2021. – С.27.
  7. Загорулько Ю.А., Загорулько Г.Б. Автоматизированная разработка онтологий научных предметных областей на основе системы паттернов онтологического проектирования // Информационные и математические технологии в науке и управлении. Тезисы докладов XXVI Байкальской Всероссийской конференции с международным участием. – Иркутск: Институт систем энергетики им. Л. А. Мелентьева, 2021. – С.28.
  8. Зубарев А.Ю. Временные интерливинговые процессы временных сетей Петри со слабой временной и устойчиво атомарной пространственной стратегиями // Тезисы XXVI Байкальской Всероссийской конференции с международным участием «Информационные и математические технологии в науке и управлении».  – Иркутск, 2021. – С. 32.
  9. Кондратьев Д. А. Модификации метода автоматизации локализации ошибок в C-программах, реализованного в системе C-lightVer // Тезисы XXII Всероссийской конференции молодых ученых по математическому моделированию и информационным технологиям. – Новосибирск: ФИЦ ИВТ, 2021. –  С. 54.
  10. Пономарев, Д. К. Декомпозиция логических теорий: вычислительные проблемы и приложения // Тр. Всероссийской научной конференции «Математические основы информатики и информационно-коммуникационных систем». — Тверь: ТвГУ, 2021. – С. 57–60. DOI: 10.26456/mfcsics-21-7. (РИНЦ).

Международные конференции и семинары

  1. Bozhenkova E., Virbitskaite I. On semantics for testing in time Petri nets // 29th International Workshop on Concurrency, Specification and Programming. Proc. CS&P. –  Berlin.  – 2021. – P. 60-71. – (CEUR Workshop Proceedings; 2951).
  2. Kasyanov V.N., Kasyanova E.V., Malishev A.A. Support tools for functional programming distance learning and teaching // Marchuk Scientific Readings-2021. Abstracts. – Novosibirsk: ICM&MG, 2021. – P.154-155. DOI: 10.24412/cl-35065-2021-1-02-25.
  3. Kasyanov V.N., Merculov A.M., Zolotuhin T. A. A circular layout algorithm for attributed hierarchical graphs with ports // Marchuk Scientific Readings-2021: Abstracts. Novosibirsk: ICM&MG. – 2021. – P.155. DOI 10.24412/cl-35065-2021-1-02-26.
  4. Brauße M. F., Korovin K., Korovina M., Müller N. Th. Automated reasoning and non-linear functions // Eighteenth International Conference on Computability and Complexity in Analysis. Abstracts. CCA-21. – 2021. – http://cca-net.de/cca2021/abstracts/ (online).
  5. Brauße M. F., Korovin K., Korovina M., Müller N. Th. Ksmt for solving non-linear constraints // Fourth Workshop on Mathematical Logic and its Applications.  MLA. – 2021. – https://www.jaist.ac.jp/event/mla2021/speakers.html (online).
  6. . Brauße M. F, Korovin K., Korovina M., Müller N. Th. The ksmt for solving non-linear constaints // North American Annual Meeting, Association for Symbolic Logic. – Notre Dame.  – 2021. – https://sites.nd.edu/asl2021/program/ (online).
  7. Brauße M. F., Korovin K., Korovina M., Müller N. Th. The ksmt for solving non-linear constaints // Third Workshop on Digitalization and Computable Models. Proc. WDCM-2. – Novosibirsk and Kazan. – 2021. – https://sites.google.com/view/wdcm-2021/home/invited-speakers (online).
  8. Brauße M. F., Korovina M., Müller N. Th. Generalizing Taylor models for multivariate real functions // Fourth Workshop on Mathematical Logic and its Applications.  MLA. – 2021. – https://www.jaist.ac.jp/event/mla2021/speakers.html (online).
  9. Korovina M., Kudinov O. Some properties of complexity classes over real numbers // Japan-Russia Workshop on Effective Descriptive Set Theory, Computable Analysis and Automata. – 2021. – https://sites.google.com/view/jp-ru-logic2021/.
  10. Krayneva I., Savelova O. The female face of programming (mid 1950s – early 21st century) // 7th IEEE History of Electrotechnology Conference. Selected Papers. HISTELCON.  – 2021. – P. 1-6. DOI: 10.1109/HISTELCON52394.2021.9787301.
  11. Гордеев Д.А. Модель визуализации и отладки на графовом представлении Cloud-Sisal программ // Tр. 31-й Междунар. конф. по компьютерной графике и машинному зрению GraphiCon. – Нижний Новгород: Нижегород. гос. тех. ун-т., 2021. –  C.54-62. DOI: 10.20948/graphicon-2021-1-54-62.
  12. Зубарев А.Ю. Интерливинговые семантики непрерывно-временных сетей Петри со слабой временной стратегией // Тезисы докладов международной конференции «Мальцевские чтения». –  Новосибирск. –  2021. –  С. 42.
  13. Касьянов В.Н., Касьянова Е.В. Опыт преподавания программирования в пандемию // Информатика: проблемы, методы, технологии. Материалы XXI Международной научно-методической конференции. – Воронеж: ООО «Вэлборн», 2021. – C.1689-1698.
  14.   Касьянов В.Н., Малышев А.А. Программные средства поддержки дистанционного обучения функциональному программированию // Информатика: проблемы, методы, технологии. Материалы XXI Международной научно-методической конференции. – Воронеж: ООО «Вэлборн», 2021. – C.1834-1842.
  15. Шелехов В.И. Библиотека теории групп в системе автоматического доказательства Why3 // Тр. Знания-Онтологии-Теории. ЗОНТ-21. –  Новосибирск: ИМ СО РАН, 2021. –  С. 281-286.
  16. Glinskiy B.M., Zagorulko Y.A., Zagorulko G.B., Kulikov I.M., Sapetina A.F., Titov P.A., Zhernyak G.F. Building ontologies for solving compute-intensive problem // International Conference «Marchuk Scientific Readings 2020». Proc. MSR-2020.  – 2021. – P. 012071. – (Journal of Physics: Conference Series; 1715). DOI:10.1088/1742-6596/1715/1/012071.
  17. Zagorulko Yu.A., Sidorova E.A., Akhmadeeva I.R., Sery A.S. Approach to automatic population of ontologies of scientific subject domain using lexico-syntactic patterns // International Conference «Marchuk Scientific Readings 2021» Proc. MSR-2021.  – 2021. – P. 012028. – (Journal of Physics: Conference Series; 2099). DOI:10.1088/1742-6596/2099/1/012028.
  18. Glinskiy B.M., Sapetina A.F., Snytnikov A.V., Zagorulko Y.A., Zagorulko G.B. The automated construction of a scheme for solving compute-intensive problems based on the ontological approach and Semantic Web technologies // International Conference «Marchuk Scientific Readings 2021» Proc. MSR-2021.  – 2021. – P. 012022. – (Journal of Physics: Conference Series; 2099). DOI:10.1088/1742-6596/2099/1/012022.
  19. Загорулько Ю.А., Ахмадеева И.Р., Шестаков В.К. Построение онтологий научных предметных областей с использованием системы паттернов онтологического проектирования // Информационные технологии, системы и приборы в АПК: материалы 8-й Международной научно-практической конференции «АГРОИНФО-2021». – Новосибирская обл., р.п. Краснообск: Сибирский федеральный научный центр агробиотехнологий Российской академии наук, Сибирский физико-технический институт аграрных проблем, 2021. – С. 73–77. DOI: 10.26898/agroinfo-2021-73-77.
  20. Salomatina N.V., Kononenko I.S., Sidorova E.A., Pimenov I.S. Identification of connected arguments based on reasoning schemes “from expert opinion” // International Conference «Marchuk Scientific Readings 2020». Proc. MSR-2020.  – 2021. – P. 012013. – (Journal of Physics: Conference Series; 1715). DOI:10.1088/1742-6596/1715/1/012013. (Scopus).
  21. Ilina D., Kononenko I., Sidorova E. On developing a web resource to study argumentation in popular science discourse // Computational Linguistics and Intellectual Technologies. Annual International Conference “Dialogue”. Proc.  – Москва: РГГУ, 2021. – P. 318–327. DOI: 10.28995/2075-7182-2021-20-318-327.
  22. Salomatina N.V., Pimenov I.S., Sidorova E.A. Identification of argumentative sentences in Russian scientific and popular science texts // International Conference «Marchuk Scientific Readings 2021» Proc. MSR-2021.  – 2021. – P. 012025. – (Journal of Physics: Conference Series; 2099). DOI: 10.1088/1742-6596/2099/1/012025.
  23. Ovchinnikova K., Kononenko I., Sidorova E. Development of lexico-syntactic ontology design patterns for information extraction of scientific data // XXIII International Conference on Data Analytics and Management in Data Intensive Domains. Proc. DAMDID/RCDL. – Moscow, 2021. – P. 349–361. – (CEUR Workshop Proceedings; 3036).
  24. Grinevich A., Sery A. Analyzing the cultural universals of the folklore of peoples of Siberia and the Far East // XXIII International Conference on Data Analytics and Management in Data Intensive Domains. Proc. DAMDID/RCDL. – Moscow, 2021. – P. 384–401. – (CEUR Workshop Proceedings; 3036).
  25. Glinskiy B.М., Zagorulko Y.A., Zagorulko G.B., Sapetina A.F., Snytnikov A.V., Titov P.A., Shestakov V.K. Automated construction of a scheme for solving compute-intensive problems based on the ontological approach and Semantic Web technologies // Marchuk Scientific Readings-2021: Abstracts of the Intern. conf. – Novosibirsk: ICM&MG, 2021. – P. 177. DOI 10.24412/cl-35065-2021-1-02-62.
  26. Zagorulko Yu.A., Sidorova E.A., Akhmadeeva I.R., Sery A.S. Approach to automatic population of ontologies of scientific subject domain using lexico-syntactic patterns // Marchuk Scientific Readings-2021: Abstracts of the Intern. conf.  – Novosibirsk: ICM&MG, 2021. – P. 184. DOI 10.24412/cl-35065-2021-1-02-75.
  27. Glinskiy B.М., Wins D.V., Zagorulko Y.A., Zagorulko G.B., Kulikov I.M., Sapetina A.F., Titov P.A., Chernykh I.G. Some approaches to the creation of supercomputer technologies for solving compute-intensive problem // Marchuk Scientific Readings-2021: Abstracts of the Intern. conf. – Novosibirsk: ICM&MG, 2021. – P. 124–125. DOI 10.24412/cl-35065-2021-1-01-72.

Статьи в сборниках

  1. Okhotin A., Selivanov V. Input-driven pushdown automata on well-nested infinite strings // Lecture Notes in Computer Science. – 2021. – Vol. 12730. – P. 349-360. DOI: https://doi.org/10.1007/978-3-030-79416-3_21.
  2.  Brauße F., Korovin K., Korovina M., Müller N. Th. The ksmt calculus is a delta-complete decision procedure for non-linear constraints // Lecture Notes in Computer Science. – 2021. – Vol. 12699. – P. 113-130. DOI: 10.1007/978-3-030-79876-5_7.
  3. Garanina N., Koznov D.  Static Checking Consistency of Temporal Requirements for Control Software // Advances in Model and Data Engineering in the Digitalization Era. –  2021. – Vol. 1481. – P. 189-203. DOI:10.1007/978-3-030-87657-9_15.
  4. Kasyanov V.N., Kasyanova E.V., Malishev A.A. Support tools for functional programming distance learning and teaching // J. Phys.: Conf. Ser. – 2021. – Vol. 2099. –   P. 012052. DOI:10.1088/1742-6596/2099/1/012052.
  5. Kasyanov V.N., Merculov A.M., Zolotuhin T. A. A circular layout algorithm for attributed hierarchical graphs with ports // J. Phys.: Conf. Ser. – 2021. – Vol. 2099. –   P. 012051. DOI:10.1088/1742-6596/2099/1/012051.
  6. Rybakov V. Temporal multi-agent’s logic, knowledge, uncertainty, and plausibility // Agents and Multi-Agent Systems:  Technologies and Applications. – 2021. – P. 205-214. DOI: 10.1007/978-981-16-2994-5_17.
  7. Virbitskaite I.B., Zubarev A.Y. ‘True Concurrency’ semantics for time Petri nets with weak time and persistent atomic policies // Programming and Computer Software. – 2021. – Vol. 47, No. 5. – P. 389-401. DOI: 10.1134/S0361768821050078.
  8. Гаранина Н.О., Горлач С. П.  Подход к автонастройке параллельных программ методом проверки моделей // Моделирование и анализ информационных систем. – 2021. – Т. 28, №4. – С. 338–355. DOI: 10.18255/1818-1015-2021-4-338-355.
  9. Крайнева И.А. Ржановы под Ленинградом: выжить, защищая город // Сборник 18-х международных чтений «Право на имя: Биографика ХХ века» памяти Вениамина Иофе. – СПб.: АО «Норма», 2021. – С. 43-54.
  10. Марчук, А.Г., Трошков С.Н, Крайнева И.А.  К вопросу о модернизации и интеграции электронных архивов длительного срока жизни // Сборник конференции «Научный сервис в сети Интернет».  – 2021. – № 23. – С. 214-227.
  11. Zagorulko Y., Zagorulko G., Snytnikov A., Glinskiy B., Shestakov V. Information-analytical system to support the solution of computer-intensive problems of mathematical physics on supercomputers  //  Lecture Notes in Computer Science. – 2021. – Vol. 12942. – P. 434 – 444. DOI: 10.1007/978-3-030-86359-3_33.
  12. Zagorulko Y., Sidorova E., Akhmadeeva I., Sery A., Zagorulko G. Approach to the automated development of scientific subject domain ontologies based on heterogeneous ontology design patterns // Lecture Notes in Computer Science. – 2021. – Vol. 12948. –P. 248 – 263. DOI: 10.1007/978-3-030-86855-0_17.
  13. Zagorulko Y., Zagorulko G. Application of ontology design patterns for building an ontology of decision support in weakly formalized domains // Selected Contributions to the Russian Advances in Artificial Intelligence Track at RCAI 2021, collocated with the 19th Russian Conference on Artificial Intelligence. Proc. RCAI 2021. – 2021. – Vol. 3044. – P. 108–116. – (CEUR Workshop Proceedings; 3044).
  14. Касьянов В.Н., Касьянова Е.В. Особенности преподавания программирования в пандемию // Преподавание информационных технологий в Российской Федерации: Материалы Девятнадцатой открытой Всероссийской конференции. – М.: ООО «1С-Паблишинг», 2021. – C. 229-231. ISBN 978-5-9677-3108-2.
  15. Касьянов В.Н., Малышев А.А. Программные средства поддержки дистанционного обучения функциональному программированию // Преподавание информационных технологий в Российской Федерации: Материалы Девятнадцатой открытой Всероссийской конференции. – М.: ООО «1С-Паблишинг», 2021. –  С. 129-131. ISBN 978-5-9677-3108-2.

Препринты

  1. Selivanov V. Wadge degrees of classes of omega-regular k-partitions. Arxiv 2104.10358. DOI: 10.48550/arXiv.2104.10358.

Свидетельства о гос. регистрации программ для ЭВМ

  1. Кондратьев Д.А. Программа-транслятор аннотированных C-программ в семантически аксиоматизируемое представление для задач верификации. Свидетельство о государственной регистрации программы для ЭВМ № 2021614956, 01.04.2021. Заявка № 2021611218 от 04.02.2021.

Учебно-методические издания

  1. Городняя Л. В. Парадигма программирования: учебное пособие для вузов. 2-е изд., стер. — Санкт-Петербург: Лань, 2021.