Публикации

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

Монографии

  1. Куперштох Н.А., Крайнева И.А. Их именами названы институты Новосибирского научного центра. – Новосибирск: СО РАН, 2022. – 320 с.
  2. Городняя Л. В. Функциональное программирование. Парадигма, модели и методы. – Новосибирск: СО РАН, 2022.

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

  1. Devyaterikov A.P., Palyanov A.Yu.. A software system for modeling evolution in a population of organisms with vision, interacting with each other in 3D simulator // Vavilov Journal of Genetics and Breeding. – 2022. – № 26 (8). – С. 780 -786. DOI: 10.18699/VJGB-22-94.
  2. Garanina N. O., Anureev I. S., Zyubin V. E., Staroletov S. M., Liakh T. V., Rozov A. S.,  Gorlatch S. P. A Temporal Logic for Programmable Logic Controllers // Automated Control and Computer Sciences – Vol. 55, Iss. 7. – 2022. – P. 763-775.
  3. Garanina N. O., Gorlatch S. P. Autotuning Parallel Programs by Model Checking // Automatic Control and Computer Sciences – 2022. – Vol. 56, No. 7. – P. 1–15.
  4. Gribovskaya N.S., Virbitskaite I.B. Partial Orders in Transition Systems from Resolvable Conflict Event Structures // System Informatics. – 2022. – Vol. 20. – P. 1-24.  DOI: 10.31144/si.2307-6410.2022.n20.p1-24.
  5. Jakobsen H.P., Levichev A.V. A representation of SU(2, 2) which can be interpreted as describing chronometric fermions (proton, neutrino, and electron) in terms of a single composition series // Reports on Mathematical Physics. – 2022. – № 90 (1). – P. 103-121.
  6. Kihara T., Selivanov V. Wadge-like degrees of Borel BQO-valued functions // Proceedings of the American Mathematical Society. – 2022. DOI:10.1090/proc/15930.
  7. Kondratyev D.A. Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System // Automatic Control and Computer Sciences. – 2022. – Vol. 56,  Iss. 7. – P. 669-687.
  8. Kondratyev D.A., Nepomniaschy V.A. Automation of C Program Deductive Verification without Using Loop Invariants // Programming and Computer Software. – 2022. – Vol. 48, Iss. 5. – P. 331-346. DOI: 10.1134/S036176882205005X.
  9. Mozheikina L., Emelyanov P. Mobile Applications for Diagnostics, Development, and Alternative Communication for Children with Language Disorders // RUDN Journal of Informatization in Education. – 2022. – Vol. 19, No. 2. – P. 69-89. DOI: 10.22363/2312-8631-2022-19-2-69-89.
  10. Rublev V.D., Sidorova E.A. Developing intelligent assistants to search for content on websites of a certain genre  // Bulletin of the South Ural State University. Series: Computational Mathematics and Software Engineering. – 2022. – Vol. 11, N 4. – P. 51–66. DOI:10.14529/cmse220404.
  11. Selivanov V. A Q-Wadge hierarchy in quasi-Polish spaces // The Journal of Symbolic Logic. – Vol. 87, Iss. 2. – 2022. – P. 732 – 757. DOI:10.1017/jsl.2020.52.
  12. Городняя Л.В. Место функционального программирования в организации параллельных вычислений // Информационные и математические технологии в науке и управлении. – 2022. – Выпуск №1(25). – С. 102-119.
  13. Гусев Д.И., Апанович З.В. Влияние методов построения векторных представлений на подходы выравнивания сущностей // Вестник НГУ. Серия: Информационные технологии. – 2022. – Т.20, №2. – С. 5–17. DOI: 10.25205/1818-7900-2022-20-2-5-17.
  14. Зубарев А.Ю. Сравнение языковых и бисимуляционных эквивалентностей непрерывно-временных сетей Петри со слабой временной стратегией // Проблемы информатики. – 2022. – № 4. – С. 28-38.
  15. Кобринский Б.А., Борисов В.В., Грибова В.В., Еремеев А.П., Загорулько Ю.А., Карпов В.Э., Михеенкова М.А., Редько В.Г., Суханов А.В. XIX Национальная Конференция по Искусственному Интеллекту // Искусственный интеллект и принятие решений. – 2022. – № 2. – С. 74-82.
  16. Кондратьев Д.А., Непомнящий В.А. Автоматизация дедуктивной верификации C-программ без использования инвариантов циклов // Программирование. – 2022.  –№ 5. – С. 37-53.
  17. Кононенко И.С., Сидорова Е.А. Методика разработки лексико-семантических паттернов для извлечения терминологии научной предметной области // Системная информатика. – 2022. – № 20. – С. 25-46.
  18. Крайнева И.А., Марчук А.Г. Академик А.П. Ершов и история информатики в СССР (к 90-летию ученого) // Гуманитарные науки в Сибири. – 2022. – Т. 29, № 1.– С. 81–90.  DOI 10.15372/HSS20220111. – EDN THEOWR.
  19. Левичев А.В., Клевцова Ю.Ю., Пальянов А.Ю. К 110-летию А.Д. Александрова и вклад в хронометрию // Математические структуры и моделирование. – 2022. – № 2(62). – С. 66-75. ISSN 2222-8722.
  20. Лисин В.А., Серый А.С., Сидорова Е.А. Модель представления онтологии предметных областей на основе графовых баз данных // Вестник НГУ. Серия: Информационные технологии. – 2022. – Т.20, №4. – C. 24–38.
  21. Савелова О.А. «Геологическая оборона» учёных Сибири в Великой Отечественной войне // Материалы XV Международной научно-практической конференции «История науки и техники. Музейное дело». Москва, 2022. – Вып. 14. – С. 61-62.
  22. Сидоров В.А. Система программирования в ограничениях Nemo // Системная информатика. – 2022. – № 20. – С. 47-70.
  23. Шелехов В.И. Автоматное программирование на базе системы моделирования и верификации Event-B // Программная инженерия. – 2022. –  Том 13, №4. – С. 155-167.
  24. Тихобаева О.Ю., Бручес Е.П., Батура Т.В. Извлечение семантических отношений из текстов научных статей // Вестник НГУ. Серия: Информационные технологии. –  2022.  – Т. 20, № 3. – С. 65-76. 
  25. Маршалова А.Э., Бручес Е.П., Батура Т.В. Извлечение аспектов из текстов научных статей // Программные продукты и системы. –2022. – № 4. –С. 698-706.
  26. Дементьева Я.Ю., Бручес Е.П., Батура Т.В. Извлечение терминов из текстов научных статей // Программные продукты и системы. – 2022.  –Т. 35; № 4. – С. 689-697. DOI: 10.15827/0236- 235X.140.689-697.
  27. Мезенцева А.А., Бручес Е.П., Батура Т.В. Методы и подходы к автоматическому связыванию сущностей на русском языке // Труды ИСП РАН. –2022.  – Т. 34, Вып. 4. –С. 187-200.
  28. Старолетов С.М. Преподавание дисциплины «Тестирование и верификация программного обеспечения» будущим программистам // Системная информатика. – 2022. – № 21. – С. 1-28.
  29. Крайнева И.А., Меристе М., Сэнборн К. Энн Тыугу: депортированный эстонец и советский академик // Системная информатика. – 2022. – № 21. – С. 29-46.
  30. Овчинникова К.А., Сидорова Е.А. Генерация лексико-синтаксических паттернов онтологического проектирования на основе вопросов оценки компетенции // Системная информатика. – 2022. – № 21. – С. 47-64.

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

  1. Shelekhov V. Extensions to the Predicate Programming Language for Efficient Graph Processing // 2022 Ivannikov Memorial Workshop. Proc. IVMEM. – IEEE, 2022. – P. 65-71, doi: 10.1109/IVMEM57067.2022.9983960.
  2. Городняя Л.В. Модели работы с памятью в учебном языке программирования СИНХРО // Научный сервис в сети Интернет: труды XXIV Всероссийской научной конференции – М.: ИПМ им. М.В.Келдыша, 2022. – С. 137-154. DOI:10.20948/abrau-2022-1.
  3. Гусев Д.И., Апанович З.В. Влияние методов построения векторных представлений имен сущностей на качество выравнивания сущностей // Научный сервис в сети Интернет: труды XXIV Всероссийской научной конференции. – М.: ИПМ им. М.В.Келдыша, 2022. – С. 155-166. DOI:10.20948/abrau-2022-12.
  4. Загорулько Ю.А., Загорулько Г.Б. Опыт использования паттернов содержания при разработке онтологий научных предметных областей // Труды 20-ой Национальной конференции по искусственному интеллекту с международным участием КИИ-2022. – Москва: Изд-во МЭИ. – Т1.  – С. 219-233.
  5. Загорулько Ю.А., Загорулько Г.Б., Шестаков В.К. Система автоматизированного построения онтологий научных предметных областей на основе паттернов онтологического проектирования // Распределенные информационно-вычислительные ресурсы (DICR-2022) [Электронный ресурс]: Сборник трудов XVIII Российской конференции с международным участием / Под ред. С.А. Рылова, Ю.И. Молородова, А.А. Жирнова, Ю.Н. Синявского. –  Новосибирск: ФИЦ ИВТ, 2022. – С. 77-82.
  6. Касьянов В.Н. Визуализация структурированных данных на основе атрибутированных иерархических графов с портами // Тр. III Сибирский научный семинар Data Analysis Technologies with Applications. SibDATA-2022. – Красноярск: ИВМ СО РАН, 2022. – C. 9-10. 
  7. Касьянов В.Н., Касьянова Е.В., Кламбоцкий К.А. Методы отладки функциональных программ // Преподавание информационных технологий в Российской Федерации. Материалы Двадцатой открытой Всероссийской конференции. – М.: ООО «1С-Паблишинг», 2022. – С. 90-91.
  8. Касьянов В.Н., Меркулов А.М.,  Золотухин Т.А. Циркулярная укладка атрибутированного иерархического графа с портами // Преподавание информационных технологий в Российской Федерации. Материалы Двадцатой открытой Всероссийской конференции. – М.: ООО «1С-Паблишинг», 2022. – С. 92-94.
  9. Кондратьев Д.А. Язык для задания семантических меток, позволяющих генерировать объяснения недоказанных условий корректности при дедуктивной верификации C-программ в системе C-lightVer // Тезисы XXIII Всероссийской конференции молодых ученых по математическому моделированию и информационным технологиям. – Новосибирск: ФИЦ ИВТ, 2022. – С. 54-55.
  10. Коровина M. Automated reasoning with continuous data // Вторая конференция Математических центров России.  – https://www.mathnet.ru/conf2187.
  11. Сидорова Е.А., Ахмадеева И.Р., Кононенко И.C., Чагина П.М. Извлечение аргументации на основе индикаторного подхода // Труды 20-ой Национальной конференции по искусственному интеллекту с международным участием КИИ-2022. – Москва: Изд-во МЭИ. – Т. 1.  – С. 120-132.
  12. Шелехов В.И. Дедуктивная верификация простого протокола взаимного исключения // Распределенные информационно-вычислительные ресурсы. Сб. трудов XVIII Российской конференции с международным участием DICR-2022. – Новосибирск, 2022. – С. 229-235.

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

  1. Artemova E., Zmeev M., Loukachevitch N., Rozhkov I., Batura T., Ivanov V., Tutubalina E. RuNNE-2022 Shared Task: Recognizing Nested Named Entities // Computational Linguistics and Intellectual Technologies. International Conference "Dialogue". Proc. – 2022. – Iss. 21. – P. 33-41. – https://www.dialog-1.ru/media/5645/artemovaelplusetal.pdf
  2. Berezin S., Batura T. Named Entity Inclusion in Abstractive Text Summarization  // Proceedings of the Third Workshop on Scholarly Document Processing. SDP Workshop at COLING 2022. – 2022. – P. 158–162. – https://aclanthology.org/2022.sdp-1.17.
  3. Bruches E., Mezentseva A., Batura T. A system for information extraction from scientific texts in Russian // Data Analytics and Management in Data Intensive Domains. Proc. DAMDID/RCDL 2021. – Springer, Cham. – 2022. – Vol. 1620. – P. 234–245. DOI: 10.1007/978-3-031-12285-9_15.
  4. Bruches E., Tikhobaeva O., Dementyeva Y., Batura T. TERMinator: A System for Scientific Texts Processing // 29th International Conference on Computational Linguistics. Proc. COLING 2022. – 2022. – P. 3420–3426. – https://aclanthology.org/2022.coling-1.302.
  5. Demin A., Ponomaryov D. Interpretable Reinforcement Learning with Multilevel Subgoal Discovery // Proc. of the 21st International Conference on Machine Learning and Applications. – 2022. – P. 251-258. DOI: 10.1109/ICMLA55696.2022.00043.
  6. Garanina N., Staroletov S., Gorlatch S. Model Checking Meets Auto-Tuning of High-Performance Programs // Logic-Based Program Synthesis and Transformation. Proc. LOPSTR 2022.  – Springer, Cham. – P. 63-82. – (Lect. Notes Comput. Sci.; 13474). DOI: 10.1007/978-3-031-16767-6_4.
  7. Gorodnyaya L., Kondratyev D. Functional programming learning path // TFPIE 2022, Eleventh International Workshop on Trends in Functional Programming in Education (online).  – https://wiki.tfpie.science.ru.nl/TFPIE2022#Program.
  8. Kasyanov V., Kasyanova E., Zolotuhin T. Information Visualization Based on Attributed Hierarchical Graphs with Ports // GraphiCon 2022: труды 32-й Междунар. конф. по компьютерной графике и машинному зрению. – М.: Институт прикладной математики им. М.В. Келдыша РАН, 2022. – C. 211-217.
  9. Korovina M. Ksmt calculus for non-linear systems // Computing in topological structures: Foundations and implementations. – 2022. – https://sites.google.com/view/cts-2022/home/invited-speakers.
  10. Korovina M. Order positive fields // CCC 2022: Continuity, Computability, Constructivity. From Logic to Algorithms. Dedicated to Dieter Spreen on the Occasion of his 75th Birthday. – 2022. – https://events.math.unipd.it/ccc2022/#speakers.
  11. Loukachevitch N., Braslavski P., Ivanov V., Batura T., Manandhar S., Shelmanov A., Tutubalina E. Entity Linking over Nested Named Entities for Russian // Language Resources and Evaluation Conference. Proc. LREC 2022. – 2022. – P. 4458-4466. – https://aclanthology.org/2022.lrec-1.474.
  12. Marchuk A, Troshkov S., Krayneva I. Long-term Electronic Archives: Modernization and Integration // Scientific Services & Internet 2021 / Ed. by A. Elizarov, E. Lipachev. CEUR Workshop Proceedings. – Vol. 3066. – P. 69-79.
  13. Marshalova A.E., Bruches E.P., Batura T.V. Aspect extraction from scientific texts // International Conference on Computer Data Analysis and Modeling: Stochastics & Data Science. Proc. – Minsk: Belarusian State University,  2022. – P. 122-125.
  14. Miftahova A., Pugachev A., Skiba A., Artemova E., Batura T., Braslavski P., Ivanov V. NamedEntityRangers at SemEval-2022 Task 11: Transformer-based Approaches for Multilingual Complex Named Entity Recognition  // The 16th International Workshop on Semantic Evaluation. Proc. SemEval-2022. – 2022. – P. 1570-1575. – https://aclanthology.org/2022.semeval-1.216.pdf.
  15. Ovchinnikova K., Sidorova E. Analysis of Competency Questions for Automatic Generation of Lexico-Syntactic Ontology Design Patterns // 2022 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON). 2022. – P. 890-895.
  16. Palyanov A. Towards artificial minds through computer simulation of natural ones, from simple to more complex // В книге: Bioinformatics of Genome Regulation and Structure/Systems Biology (BGRS/SB-2022). Abstracts of the Thirteenth International Multiconference. – Novosibirsk, 2022. – С. 1109. DOI: 10.18699/SBB-2022-665 (РИНЦ).
  17. Sapetina A., Kulikov I., Zagorulko G., Glinskiy B. (2022). Constructing an Expert System for Solving Astrophysical Problems Based on the Ontological Approach // Parallel Computational Technologies. Proc. PCT 2022. – Springer, Cham. – P. 30-42. – (Communications in Computer and Information Science; 1618).  DOI:10.1007/978-3-031-11623-0_3.
  18. Брагинская Л.П., Григорюк А.П., Загорулько Г.Б., Ковалевский В.В., Семинский И. К. Семантическая подсистема цифровой платформы для геофизического мониторинга // Марчуковские научные чтения-2022. Тезисы докл. междунар. конф. – 2022. – С. 144. DOI: 10.24412/cl-35065-2022-1-02-09.
  19. Городняя Л.В.. Работа с данными в учебном языке программирования СИНХРО //    Суперкомпьютерные дни в России: Труды международной конференции / Под. ред. Вл. В. Воеводина. – Москва: МАКС Пресс. – 2022. – С. 87-97. – DOI: 10.29003/m3109.RussianSCDays2022.
  20. Касьянов В.Н., Касьянова Е.В., Кламбоцкий К.А. Методы отладки функциональных программ // Информатика: проблемы, методы, технологии. Материалы XXII Международной научно-методической конференции им. Э.К. Алгазинова / Под ред. Д.Н. Борисова. – Воронеж: ООО «Вэлборн», 2022. – С. 1451-1460.
  21. Касьянов В.Н., Меркулов А.М.,  Золотухин Т.А. Циркулярная укладка атрибутированного иерархического графа с портами // Информатика: проблемы, методы, технологии. Материалы XXII Международной научно-методической конференции им. Э.К. Алгазинова.  / Под ред. Д.Н. Борисова. – Воронеж: ООО «Вэлборн», 2022. – С. 615-624.
  22. Левичев А.В., Пальянов А.Ю. Наблюдения звёзд и динамическая система переноса Ферми-Уолкера: общий подход и солнечная конкретика // Тез. докл. Международной конференции по геометрическому анализу, посвященной памяти академика Юрия Григорьевича Решетняка – Новосибирск. – 2022. – С. 75-78. (РИНЦ).
  23. Насибулов И.А., Тихонова Т.И. Роль метода проектов в изучении информатики для формирования навыков исследовательской деятельности // Тр. Всероссийская научно-методическая конференция с международным участием «Профильное образование и специализированное обучение». – Новосибирск, 2022. – С. 52-56.
  24. Саломатина Н.В., Пименов И.С., Сидорова Е.А. Распознавание в научных текстах аргументов с этосом и пафосом // Марчуковские научные чтения-2022. Тезисы докл. междунар. конф. – 2022. – С. 140. DOI: 10.24412/cl-35065-2022-1-02-03

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

  1. Брагинская Л.П., Григорюк А.П., Загорулько Г.Б., Ковалевский В.В., Семинский И.К. Управление данными и знаниями по геофизическому мониторингу Байкала // Геодинамическая эволюция литосферы Центрально-Азиатского подвижного пояса от океана к континенту. Материалы научной конференции. – Иркутск: Институт земной коры СО РАН, 2022.–  Вып. 20. –  С. 31-32.
  2. Крайнева И., Сэнборн К., Меристе М. Энн Тыугу: история эстонского программиста // Право на имя. Биографика XX века. XIX чтения памяти Вениамина Иофе. – Санкт-Петербург, 2022. – С. 67–78.
  3. Крайнева И.А. Электронные архивы: pro et contra // Народы Сибири и Дальнего Востока с древнейших времен до наших дней. Матер. IX Сибирского исторического форума. – Красноярск, 2022. – С. 46–53.
  4. Савелова О.А. Женщины в науке: династия, семья, персона // В сб. «Право на имя. Биографика XX века». XIX чтения памяти Вениамина Иофе. – Санкт-Петербург, 2022. – С. 86-94 .

Препринты

  1. Levichev A., Palyanov A. The Multi-Level Model for Quarks and Leptons as the Symbiosis of Segal’s Chronometry with the Standard Model.  – 2022. – (Preprint / Preprints.org; 2022020280).  DOI:10.20944/preprints202202.0280.v2.
  2. Tarasyuk I.V. Performance preserving equivalence for stochastic process algebra dtsdPBC . – 2022. – (Preprint / Research Gate). – URL: https://www.researchgate.net/publication/362034663_Performance_preserving_equivalence_for_stochastic_process_algebra_dtsdPBC
  3. Tarasyuk I.V. Stochastic bisimulation and performance evaluation in discrete time stochastic and deterministic Petri box calculus dtsdPBC. – 2022. – (Preprint  / HAL Open Archives; hal-02573419v3). – https://hal.archives-ouvertes.fr/hal-02573419v3/file/dtsdpbchalrrv.pdf.
  4. Андреева Т.А., Городняя Л.В. Функциональный подход к измерению вклада программируемых решений в производительность программ .– Новосибирск, 2022. – (Препринт / ИСИ СО РАН; 187). DOI: 10.31144/prep.2022.n187.pp62.
  5. Крайнева И.А., Шилов В.В. На фоне советской истории: профессор Панов (1904–1975). – Новосибирск, 2022. – (Препринт / ИСИ СО РАН; 186). DOI: 10.31144/prep.2022.n186.pp59.

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

  1. Касьянов В.Н., Касьянова Е.В., Малышев А.А. Программа CPPS поддержки облачного программирования на языке Cloud Sisal / Свидетельство о государственной регистрации программы для ЭВМ  RU 2022613110, 01.03.2022. 
  2. Касьянов В.Н., Гордеев Д.С. Программа интерпретации внутреннего представления Cloud Sisal программ (CSIRI) / Свидетельство о государственной регистрации программы для ЭВМ  RU 2022613108, 01.03.2022.