Публикации

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

Монографии

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

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

  1. Antonets D., Russkikh N., Sanchez A., Kovalenko V., Bairamova E., Shtokalo D., Medvedev S., Zakian S. CellCountCV — a web-application for accurate cell counting and automated batch processing of microscopic images using fully convolutional neural networks sensors  // Sensors. – 2020. – Vol. 20, No. 13. – P. 1-17. DOI: 10.3390/s20133653. (Scopus).
  2. Bakiyeva A.M., Batura T.V. Hybrid approach to automatic summarization of scientific and technical texts // Journal of Theoretical and Applied Information Technology.  – 2020. – Vol. 98, No. 4. – P. 559-570. (Scopus).
  3. Batura T.V., Bakiyeva A.M., Charinsteva M.V. A method for automatic text summarization based on rhetorical analysis and topic models // International Journal of Computing. – 2020. – Vol. 19, Iss. 1. – P. 118-127. (Scopus).
  4. Bozhenkova E.N., Virbitskaite I.B. Testing equivalences of time Petri nets // Programming and Computer Software. – 2020. – Vol. 46, No. 4. – P. 251-260. (WoS, Scopus).
  5. Demin A.V. Adaptive locomotion control system for robots with arbitrarily modular design // Procedia Computer Science. – Elsevier, 2020. – Vol. 169. – P. 829-834. (Scopus).
  6. Emelyanov P., Ponomaryov D. The complexity of AND-decomposition of Boolean functions  // Discrete Applied Mathematics. – 2020. – Vol. 280. – P. 113–132. DOI: 10.1016/j.dam.2019.07.005. (Scopus, Web of Science).
  7. Garanina N.O., Anureev I.S, Zyubin V.E. Constructing verification-oriented domain-specific process ontologies // Aut. Control Comp. Sci. – 2020. – Vol. 54, Iss. 7. – P. 739-749. (Scopus, WoS).
  8. Goncharov S., Ospichev S., Ponomaryov D., Sviridenko D. The expressiveness of looping terms in the semantic programming. // Siberian Electronic Mathematical Reports. – 2020. – Vol. 17. – P. 380-394. – http://semr.math.nsc.ru/v17/p380-394.pdf.  (WoS, Scopus, РИНЦ).
  9. Kasekeyeva A.B., Batura T.V., Efimova L.V., Murzin F.A., Tusupov J.A., Yerimbetova A.S., Doshtayev K.Z. Link grammar and formal analysis of paraphrased sentences in a natural language. // Journal of Theoretical and Applied Information Technology.  – 2020. – Vol. 98, No. 4. – P. 1724-1736. (Scopus).
  10. Kondratyev D.A., Promsky A.V. The complex approach of the C-lightver system to automated error localization in C-programs // Aut. Control Comp. Sci. – 2020. – Vol. 54, Iss. 7. – P. 728-739. (WoS, Scopus).
  11. Makhazhanova U.T., Mukhanova A.A., Murzin F.A., Abramov E.P. Fuzzy logic of Zadeh and decision-making in the field of loan // Journal of Theoretical and Applied Information Technology. – 2020. – Vol. 98, No. 6. – P. 1076-1086. (Scopus).
  12. Mantsivoda V., Ponomaryov D. K. On termination of transactions over semantic document models // The Bulletin of Irkutsk State University. Series “Mathematics”. – 2020. – Vol. 31. – P. 111-131.  http://mathizv.isu.ru/ru/article/file?id=1334 (Scopus, РИНЦ).
  13. McCaffrey T.A., St Laurent G. 3rd, Shtokalo D., Antonets D., Vyatkin Y., Jones D., Battison E., Nigg J.T. Biomarker discovery in attention deficit hyperactivity disorder: RNA sequencing of whole blood in discordant twin and case-controlled cohorts  // BMC Med Genomics. – 2020. – Vol. 13, No. 1. DOI: 10.1186/s12920-020-00808-8. (Scopus).
  14. Melnikov A.G., Selivanov V.L., Yamaleev M.M. Turing reducibility in the fine hierarchy // Annals of Pure and Applied Logic. – 2020. – Vol. 171, No 7. – P. 102766. (Scopus, WoS).
  15. Russkikh N., Antonets D., Shtokalo D., Makarov D., Vyatkin Y., Zakharov A., Terentyev E. Style transfer with variational autoencoders is a promising approach to RNA-Seq data harmonization and analysis  // Bioinformatics. – 2020. – Vol. 36, Iss. 20. – P. 5076-5085. DOI: 10.1093/bioinformatics/btaa624. (Scopus).
  16. Rybakov V. V.  Temporal logic with accessibility temporal relations generated by time states themselves // Siberian Electronic Mathematical Reports. – 2020. – Vol. 17. – P. 923-932.  (WoS, Scopus).
  17. Rybakov V.V. Multi-agent logic’s modelling non-monotonic information and reasoning.// Procedia Computer Science. – Elsevier, 2020. – Vol. 176. – P. 670-674. (Scopus).
  18. Rybakov V.V. Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations // Lobachevskii Journal of Mathematics. – 2020. – Vol. 41, No. 2. – P. 243-251. (WoS, Scopus).
  19. Rybakov V.V. Multi-agent temporal nontransitive linear logics and the admissibility problem // Algebra and Logic. – 2020. – Vol. 59 (1). – P. 87-100.  (WoS, Scopus).
  20. Rybakov V.V. Representation of information and satisfiability, algorithms for multi-agent logics // Procedia Computer Science. – Elsevier, 2020. – Vol. 176. – P. 70-77. (Scopus).
  21. Selivanov V. On degree spectra of topological spaces // Lobachevskii Journal of Mathematics. – 2020. – Vol. 41, No. 2. – P. 252-259. (Scopus, WoS).
  22. Selivanov V. Q-Wadge degrees as free structures // Computability. – 2020. – Vol. 9 (11). – P. 1-15.  DOI: 10.3233/COM-180241. (Scopus, WoS).
  23. Tarasyuk I.V. Discrete time stochastic and deterministic Petri box calculus dtsdPBC // Siberian Electronic Mathematical Reports. – 2020. – Vol. 17. – P. 1598-1679. (WoS, Scopus).
  24. Taubayev G., Bychkov A.L.,  Murzin F.A.,  Russkikh N.E., Ryabchikova E.I., Khairulin S.S., Abdikerimova G.B. Machine learning algorithms and classification of textures  // Journal of Theoretical and Applied Information Technology. – 2020. – Vol. 98, No. 10. – P. 3854-3866. (Scopus).
  25. Zagorulko Yu. A., Borovikova O. I. Using a system of heterogeneous ontology design patterns to develop ontologies of scientific subject domains // Programming and Computer Software. – 2020. – Vol. 46, No. 4. – P. 273-280. DOI: 10.1134/S0361768820040064.
  26. Ануреев И.С., Гаранина Н.О., Лях Т.В., Розов А.С., Зюбин В.Е., Горлач С.П. Дедуктивная верификация Reflex-программ // Программирование. – 2020. – № 4. – С. 14-26.
  27. Апанович З.В. Эволюция понятия и жизненного цикла графов знаний  // Системная информатика. – 2020. – № 16. – С. 57-74. (РИНЦ).
  28. Батура Т.В., Бакиева А.М. Гибридный метод автореферирования научно-технических текстов на основе риторического анализа // Программные продукты и системы. – 2020. Т. 33, № 1. – С. 144–153. DOI: 10.15827/0236-235X.129.144-153. (ВАК).
  29. Волянская Т.А. Вопросы адаптивности в системах дистанционного обучения // Системная информатика. – 2020. – № 16.– С. 11-45.
  30. Гаранина Н.О., Ануреев И.С., Зюбин В.Е.,  Старолетов С.М., Лях Т.В., Розов А.С., Горлач С.П. Темпоральная логика для программируемых логических контроллеров // Моделирование и анализ информационных систем. – 2020. – Т. 27, № 4. – С. 412-427.
  31. Городняя Л.В. Методика парадигмальной декомпозиции языков программирования. //  Системная информатика. – 2020. – № 16. – С. 1-10.
  32. Городняя Л.В. Подход к оценке трудоёмкости программирования  // Научный сервис в сети Интернет. – 2020. – № 22. – С. 192-209.
  33. Городняя Л.В. Систематизации парадигм программирования по приоритетам принятия решений// Научный сервис в сети Интернет. – 2020. – Т. 2, № 4. – С. 666-696.  DOI:10.26907/1562-5419-2020-23-4-666-696.
  34. Городняя Л.В., Демидов С.Е., Кириченко М.Д., Ткаченко Д.Д. Проект информационного стенда "ПРИЗМА" для представления измеримых характеристик языков и систем программирования  // Информационные и математические технологии в науке и управлении. – № 1(17). – С. 105-119.  
  35. Загорулько Г.Б. Программная среда и методика разработки интеллектуальных СППР // Проблемы информатики. – 2020. – № 2. – С.48-67. DOI: 10.24411/2073-0667-2020-10008.
  36. Загорулько Ю.А., Боровикова О.И. Использование системы разнородных паттернов онтологического проектирования для разработки онтологий научных предметных областей // Программирование. – 2020. – № 4. – С. 27–35. DOI: 10.31857/S0132347420040068.
  37. Загорулько Ю.А., Боровикова О.И., Загорулько Г.Б., Шестаков В.К. Интернет-ресурс для поддержки использования паттернов онтологического проектирования // Информационные и математические технологии в науке и управлении. – 2020. – № 3 (19). – С. 5-13. DOI: 10.38028/ESI.2020.19.3.001.
  38. Загорулько Ю.А., Загорулько Г.Б., Шестаков В.К., Сапетина А.Ф. Информационно-аналитическая поддержка решения вычислительно сложных задач на суперкомпьютерах // Информационные и математические технологии в науке и управлении. – 2020. – № 3 (19). – С. 86–95. DOI:10.38028/ESI.2020.19.3.009.
  39. Кононенко И.С., Ахмадеева И.Р., Сидорова Е.А. Лингвистические аспекты исследования аргументации на основе онтологии // Информационные и математические технологии в науке и управлении. – 2020. – № 4 (20). – С. 44–55. DOI: 10.38028/ESI.2020.20.4.004.
  40. Крайнева И.А. Николай Андреевич Чинакал: личность в науке // Гуманитарный вектор. – Т. 15, № 6. – С. 101-113. (ВАК).
  41. Крайнева И.А. Ржановы: история семьи защитников Ленинграда // История науки и техники. – 2020. – № 5. – С. 27–37. DOI: 10.25791/intstg.05.2020.1178. (ВАК).
  42. Крайнева И.А., Куперштох Н.А. Помощь СССР в создании ЭВМ в Китае // Всеобщая история. – 2020. – № 2. – С. 28–35. DOI: 10.25791/vseist.02.2020.1100. (ВАК).
  43. Крайнева И.А., Марчук А.Г. История отечественной науки в открытых архивах СО РАН // Там же. – С. 449-461. 
  44. Крайнева И.А., Савелова О.А. Историография истории науки в Сибири советского периода: новые направления исследований // Гуманитарные науки в Сибири. – 2020. – Т.27, № 3. – С. 80-87. (ВАК).
  45. Кузьмин В.Р., Загорулько Ю.А. Применение агентно-сервисного подхода при разработке интеллектуальных систем поддержки принятия решений в энергетике // Вестник НГУ. Серия: Информационные технологии. – 2020. – Т. 18, № 3. – С. 5–18. DOI: 10.25205/1818-7900-2020-18-3-5-18.
  46. Левичев А.В., Пальянов А.Ю. О цветах и электрических зарядах кварков: моделирование в терминах групп U(n) и SU(n,n). // Математические структуры и моделирование. – 2020. – № 4 (56). – C. 31-40. (ВАК).
  47. Марчук А.Г., Трошков С.Н. Некоторые эксперименты по построению и анализу графа Де Брёйна // Системная информатика. – 2020. – № 16.– С. 47- 56.
  48. Непомнящий В.А., Бодин Е.В., Веретнов С.О. Анализ и верификация SDL-спецификаций распределенных систем с помощью языка Dynamic-REAL // Вестник Томского Государственного Университета. Управление, вычислительная техника и информатика. – 2020. –  № 53. – C. 118-126. (WoS, Scopus).
  49. Саломатина Н.В., Кононенко И.С., Сидорова Е.А., Пименов И.С. Распознавание аргументативных связей в научно-популярных текстах // Системная информатика. – 2020. – № 16.– С. 149-164.
  50. Сидорова Е.А., Ахмадеева И.Р., Загорулько Ю.А., Серый А.С., В.К. Платформа для исследования аргументации в научно-популярном дискурсе // Онтология проектирования. – 2020. – Т. 10, № 4 (38). –  С. 489–502. DOI: 10.18287/2223-9537-2020-10-4-489-502.
  51. Тумуров Э.Г., Шелехов В.И. Трансформация, спецификация и верификация программы вычисления числа элементов множества, представленного в виде битовой шкалы // Системная информатика. – 2020. – № 16.– С. 103-136.
  52. Шелехов В.И. Верификация предикатной программы пирамидальной сортировки с применением обратных трансформаций // Системная информатика. – 2020. – № 16.– С. 75-102.
  53. Шелехов В.И. Верификация программы преобразования строки в целое число  //  Системная информатика. – 2020. – № 17. 
  54. Шилов Н.В., Гаранина Н.О. Алгоритмы для BDI -агентов, основанные на знаниях // Моделирование и анализ информационных систем. – 2020. – Т. 27, № 4. – С. 442-453. DOI: 10.18255/1818-1015-2020-4-442-453.

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

  1. Bruches E., Pauls A., Batura T., Isachenko V. Entity recognition and relation extraction from scientific and technical texts in Russian // Science and Artificial Intelligence Conf. Proc. S.A.I.ence. – Novosibirsk, Russia. – 2020. – P. 41-45. DOI: 10.1109/S.A.I.ence50533.2020.9303196. (Scopus).
  2. Kononenko I., Sidorova E., Akhmadeeva I. The Study of Argumentative Relations in Popular Science Discourse // Artificial Intelligence. Proc. RCAI 2020. – 2020. – P. 309–324. (Lect. Notes Comput. Sci.; 12412). DOI: 10.1007/978-3-030-59535-7_23.
  3. Zagorulko Y., Domanov O., Sery A., Sidorova E., Borovikova O. Analysis of the Persuasiveness of Argumentation in Popular Science Texts // Artificial Intelligence. Proc. RCAI 2020. – 2020.– P. 351-367. DOI: 10.1007/978-3-030-59535-7_26.
  4. Городняя Л.В. Возможности двумерного представления программ  // Тр. Национального Суперкомпьютерного Форума. НСКФ-2020.  –  Переславль-Залесский.  – 2020.  –https://2020.nscf.ru/TesisAll/03_Systemnoe_i_promezhytochnoe_PO/108_GorodnyaLV.pdf.
  5. Загорулько Ю.А., Боровикова О.И., Загорулько Г.Б., Шестаков В.К. Разработка информационно-аналитического интернет-ресурса, поддерживающего использование паттернов онтологического проектирования // Тр. Восемнадцатой Национальной конференции по искусственному интеллекту с международным участием. КИИ-2020. – М.: МФТИ, 2020. – С. 20–27. ISBN 978-5-6042802-2-5.
  6. Касьянов В.Н., Касьянова Е.В. Методы и средства обучения программированию в вузе // Преподавание информационных технологий в Российской Федерации: Материалы Восемнадцатой открытой Всероссийской конференции. – М.; МФТИ. – 2020. – С. 262- 263.
  7. Касьянов В.Н., Кламбоцкий К.А. Методы и средства анимации алгоритмов на графах // Преподавание информационных технологий в Российской Федерации: Материалы Восемнадцатой открытой Всероссийской конференции. – М.; МФТИ. – 2020. – С.211- 212.
  8. Крайнева И.А. Технология и метод электронной исторической фактографии // Фундаментальные проблемы гуманитарных наук: опыт и перспективы развития исследовательских проектов РФФИ. Материалы всеросс. науч. конф. с междунар. участием. – 2020. – С. 89-92. DOI: 10.37386/978-5-88210-971-3.

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

  1. Artemova Е., Batura T., Golenkovskaya A., Ivanin V., Ivanov V., Sarkisyan V., Smurov I., Tutubalina E. So what’s the plan? Mining strategic planning documents // 5th Internat. Conf. on Digital Transformation and Global Society. Proc. DTGS 2020. – 2020. – ArXiv: abs/2007.00257.
  2. Garanina N., Anureev I., Sidorova E., Koznov D., Zyubin V., Gorlatch S. An ontology-based approach to support formal verification of concurrent systems // Formal Methods.  International Workshops. Proc. FM 2019. – 2020. – P. 114–130. – (Lect. Notes Comput. Sci.; 12232). DOI:10.1007/978-3-030-54994-7_9.
  3.  Hoyrup M., Kihara T., Selivanov V. Degrees of non-computability of homeomorphism types of Polish spaces // Beyond the Horizon of Computability. 16th Conf. on Computability in Europe. Proc. CiE-2020. –  2020.– P. 189-192. – (Lect. Notes Comput. Sci.; 12098). (Scopus).
  4. Khayrulin S.S. Algorithms of distributed computation on heterogeneous systems with many devices for PCI SPH methods // Marchuk Scientific Readings. Proc. – Novosibirsk, Russia. – 2020. – P. 183-184. (РИНЦ).
  5. Kononenko I.S., Sidorova E.A., Akhmadeeva I.R. Comparative analysis of rhetorical and argumentative structures in the study of popular science discourse // Computational Linguistics and Intellectual Technologies. Internat. Conf. “Dialogue”.  Proc. – Moscow, Russia. – 2020. – Iss. 19 (26). – P. 432–444. DOI: 10.28995/2075-7182-2020-19-432-444.
  6. Korovina M., Kudinov O. Index sets and Computable Copies // Mal’tsev meeting. Proc. – Novosibirsk, Russia. – 2020. – P. 131.
  7. Palyanov A.Yu., Palyanova N.V. A computational approach to investigation of C. elegans backwards crawling mechanism via simulation of involved nervous and muscular cells activity driving body movement // Bioinformatics of Genome Regulation and Structure/Systems Biology . Proc. BGRS/SB-2020. – Novosibirsk, Russia. – 2020. – P. 182-183. (РИНЦ).
  8. Selivanov V. Classifying ω-regular aperiodic k-partitions // DCFS-2020. Proc. – 2020. – P. 193-205. – (Lect. Notes Comput. Sci.; 12442). (Scopus).
  9. Vityaev E.E., Demin A.V., Kolonin Y.A. Logical probabilistic biologically inspired cognitive architecture // Artificial General Intelligence. 13th Internat. Conf. Proc. AGI 2020. – 2020. – P. 337-346. – (Lect. Notes Comput. Sci.; 12177). (Web of Science, Scopus).
  10. Глинский Б.М., Загорулько Ю.А., Загорулько Г.Б., Сапетина А.Ф., Куликов И.М., Титов П.А. Построение онтологий для решения вычислительно сложных задач // Тез. докл. междунар. конф. «Марчуковские научные чтения –  2020». –  Новосибирск. –  2020. – С. 110. DOI: 10.24411/9999-017A-2020-10184.
  11. Городняя Л.В. Перспективно  стратегические парадигмы программирования Академика Андрея Петровича Ершова. // Развитие вычислительной техники в России, странах бывшего СССР и СЭВ: история и перспективы: Труды Пятой международной конференции SoRuCom-20. – М.: МИЭТ НИУ «ВШЭ», 2020– С. 83-97.
  12. Загорулько Ю., Загорулько Г. Недоопределенные модели Нариньяни: становление, применение, проблемы и перспективы // Развитие вычислительной техники в России, странах бывшего СССР и СЭВ: история и перспективы: Труды Пятой международной конференции SoRuCom-20. – М.: МИЭТ НИУ «ВШЭ», 2020. – С.126–132.
  13. Загорулько Ю.А., Боровикова О.И. Разработка системы автоматизированного построения онтологий на основе разнородных паттернов онтологического проектирования // Тез. докл. междунар. конф. «Марчуковские научные чтения –  2020». –  Новосибирск. –  2020. – С. 153. DOI: 10.24411/9999-017A-2020-10266.
  14. Касьянов В.Н., Касьянова Е.В. Курс по теории вычислений // Информатика: проблемы, методы, технологии. Материалы XX Международной научно-методической конференции. – Воронеж: Вэлборн, 2020. – С.1823-1829.
  15. Касьянов В.Н., Касьянова Е.В. Методы и средства обучения программированию в вузе // Математика, ее приложения и математическое образование: Материалы VII Международной конференции. – Улан-Удэ: Изд-во ВСГТУ, 2020. – C. 110-112.
  16. Касьянов В.Н., Касьянова Е.В. Методы и средства обучения программированию в вузе // Информатика: проблемы, методы, технологии. Материалы XX Международной научно-методической конференции. – Воронеж: Вэлборн, 2020. – C. 1989-1998.
  17. Касьянов В.Н., Касьянова Е.В. Системы поддержки графов в программировании // Математика, ее приложения и математическое образование: Материалы VII Международной конференции. – Улан-Удэ: Изд-во ВСГТУ, 2020. – C. 113-115.
  18. Кондратьев Д.А., Промский А.В. Аксиоматическая семантика подмножества языка Cloud Sisal для верификации программ инженерной математики // Тез. докл. междунар. конф. «Марчуковские научные чтения –  2020». –  Новосибирск. –  2020. ‒ С. 106.
  19. Крайнева И., Куперштох Н. ИТМиВТ им. С.А. Лебедева АН СССР: китайский вектор //  Развитие вычислительной техники в России, странах бывшего СССР и СЭВ: история и перспективы: Труды Пятой международной конференции SoRuCom-20. – М.: МИЭТ НИУ «ВШЭ», 2020– С. 178-182.
  20. Саломатина Н.В., Кононенко И.С., Сидорова Е.А. Распознавание цепочек аргументов на основе схем рассуждений от эксперта // Тез. докл. междунар. конф. «Марчуковские научные чтения –  2020». –  Новосибирск. –  2020. – С. 158. DOI: 10.24411/9999-017A-2020-10277.

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

  1. Apanovich Z. Matching of authors and publications in multilingual bibliographic knowledge bases // 21st Conference on Scientific Services and Internet (SSI 2019). – 2020. –P. 26-37. – (CEUR Workshop Proceedings; 2543).  (Scopus).
  2. Gorodnyaya L. Method of paradigmatic analysis of programming languages and systems // 21st Conference on Scientific Services and Internet (SSI 2019). – 2020. –P. 26-37. – (CEUR Workshop Proceedings; 2543).  – P. 149-158.
  3. Kasyanov V.N., Kasyanova E.V. Methods and Tools for Teaching Programming at University // Journal of Physics: Conf. Series.  – 2020. – Vol. 1603. – P. 012021. DOI: 10.1088/1742-6596/1603/012021.
  4. Sapetina A.F., Glinskiy B.M., Zagorulko G.B. Content of ontology for solving compute-intensive problems of the cosmic plasma hydrodynamics // Journal of Physics: Conf. Series.  – 2020. – Vol. 1603. – P. 012019. DOU:10.1088/1742-6596/1640/1/012019.
  5. Selivanov V. Well-quasiorders and hierarchy theory // Well-Quasi Orders in Computation, Logic, Language and Reasoning. – Springer, 2020. – P. 271-319. (Scopus).
  6. Snytnikov A.V., Glinskiy B.M., Zagorulko G.B., Zagorulko Yu.A. Ontological approach to formalization of knowledge in computational plasma physics // Third Virtual Workshop on Numerical Modeling in MHD and Plasma Physics. – Novosibirsk, Russia. – 2020. – P. 012013.  – (Journal of Physics: Conf. Series; 1640). DOI:10.1088/1742-6596/1640/1/012013.
  7. Virbitskaite I.B., Zubarev A.Yu. Time Causal Processes in Time Petri Nets with Weak Semantics // Proceedings of the Institute for System Programming of the RAS. – 2020.  – Vol. 32, No 4. – P. 261-284.
  8. Yerimbetova A.S., Batura T.V., Murzin F.A., Sagnayeva S.K. Automatic text summarization based on syntactic links // ICID-2019. – 2020.  – P. 1-9. – (CEUR Workshop Proceedings; 2570). (Scopus).
  9. Левичев А.В. Классическая модель нейтрона на основе спэннорного представления конформной группы  // Математическое и компьютерное моделирование: Сборник материалов VIII Международной научной конференции, посвященной памяти А.Л. Иозефера. – Омск: Изд-во Омского гос. универ., 2020. – С.80-81. (РИНЦ).

Препринты

  1. Korovina M.V., Kudinov O.V.  On the Computability of Ordered Fields // Computing Research Repository. – 2020. -- arXiv: 2007.14801.
  2. Tarasyuk I.V. Stochastic bisimulation and performance evaluation in discrete time stochastic and deterministic Petri box calculus dtsdPBC // HAL Open Archives, hal-02573419. – France, 2020. – P. 1-113.