Публикации

2025

Монографии и главы в книгах

  1. Касьянов В.Н., Касьянова Е.В. Англо-русский словарь по графам для программиста. – Новосибирск: СО РАН, 2025. – 160 с. – ISBN 978-5-6050958-1-1.
  2. Крайнева И.А. Глава 6. Алексей Андреевич Ляпунов на фронте: «Тут у нас математика нужна. Она тут в почете!» // Великая отечественная война. Наука и победа / К. В. Абрамова, А. О. Анисимов, Е. Г. Багрянская [и др.]. – Новосибирск: Сибирское отделение РАН, 2025. – С. 110-126. – ISBN 978-5-605-25024-1. – DOI: 10.53954/9785605250241. – EDN PXAYWG.
  3. Куперштох Н. А., Марчук А. Г. Глава 26. Гурий Иванович Марчук и развитие академических вычислительных центров Сибири // Актуальные проблемы вычислительной математики и математического моделирования (к 100-летию Гурия Ивановича Марчука): Коллективная монография. – Новосибирск: Сибирское отделение РАН, 2025. – С. 618-647. – DOI: 10.53954/9785605250180. – EDN KAMYZM.
  4. Марчук А. Г., Крайнева И. А. Глава 25. Большие компьютерные проекты ВЦ СО АН СССР // Актуальные проблемы вычислительной математики и математического моделирования (к 100-летию Гурия Ивановича Марчука): Коллективная монография. – Новосибирск: Сибирское отделение РАН, 2025. – С. 586-616. – DOI: 10.53954/9785605250180. – EDN TMLAEO.

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

  1. Городняя Л.В., Андреева Т.А. Функциональное программирование: Учебное пособие НГУ. – 352 с. – ISBN: 987−5−4437−1482−0. – https://books.nsu.ru/catalog/tproduct/452808312082-funktsionalnoe-programmirovanie.

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

  1. Ageev D.V., Bulyonkova T.M., Zvyagina E.A., Filippova N.V. Hohenbuehelia incrustata sp. nov., a new species of Hohenbuehelia (Pleurotaceae, Agaricales) from Northwestern Siberia, Russia // Phytotaxa. – 2025. – Vol. 683, No. 2. – P. 133–144. – DOI: 10.11646/phytotaxa.683.2.4.
  2. Alaev P., Selivanov V. Complexity issues for the iterated h-preorders // Computability. –2025. – Vol.14, No. 3-4. – P. 139-156. – DOI: 10.1177/22113568251335491.
  3. Apanovich Z.V., Kernogo D.G. Entity alignment experiments on Russian-English dataset with unmatchable entities // Bull. Novosibirsk Comp. Center. Ser. Computer Science. – Novosibirsk, 2025. – Iss.49. – P. 1–12. – DOI: 10.31144/bncc.cs.2542-1972.2025.n49.p1-12.
  4. Batura T., Yerimbetova A., Mukazhanov N., Shvarts N., Sakenov B., Turdalyuly M. Information extraction from multi-domain scientific documents: Methods and insights // Applied Sciences. – 2025. – Vol. 15, No.16. – 9086. – DOI: 10.3390/app15169086.
  5. Bulyonkov M., Nesterenko T.  User view on the Mix PROSTOR system // Bull. Novosibirsk Comp. Center. Ser. Computer Science. – Novosibirsk, 2025. – Iss.49. – P. 13–36. – DOI: 10.31144/bncc.cs.2542-1972.2025.n49.p13-36.
  6. Demin A. V., Ponomaryov D. K., Vasilenko N. K. Adaptive cost model for query optimization  // The Bulletin of Irkutsk State University. Series: Mathematics. – 2025. – Vol. 52. – P. 137-152. – DOI: 10.26516/1997-7670.2025.52.137. – EDN KBYITK.
  7. Farjami S., Palyanov A., Zhang H.Ya., Saccomanno V., Merrison-Hort R., Ferrario A., Borisyuk R., Tabak J., Li W.Ch. Beyond locomotion: How specialized motor patterns enable a vertebrate to struggle free from capture // iScience. – 2025. – Vol. 28, No. 12. – P. 114068. – DOI: 10.1016/j.isci.2025.114068.
  8. Filippova N.V., Zvyagina E.A., Bolshakov S.Y., Arefyev S.P., Bulyonkova T.M., Filippov I.V., Rebriev Y.A., Shiryaev A.G., Stavishenko I.V., Svetasheva T.Y. Occurrence dataset of protected fungal species for the Red Data Book in Yugra Region, Western Siberia // Biodivers Data Journal. – 2025. – Vol.13 – P. e155657. – DOI: 10.3897/BDJ.13.e155657.
  9. Garanina N.O. An exact schedulability test for real-time systems with an abstract scheduler on multiprocessor platforms // Automatic Control and Computer Sciences. – 2025. – Vol.59 – P. 1105–1124. – DOI: 10.3103/S0146411625700385.
  10. Garanina N., Anureev I., Kondratyev D. Polynomial exact schedulability and infeasibility test for fixed-priority scheduling on multiprocessor platforms // Applied System Innovation. – 2025. – Vol. 8. – No. 1. – P. 15. – DOI: 10.3390/asi8010015.
  11. Gorlatch S., Garanina N., Staroletov S. Using the SPIN model checker for auto-tuning high-performance programs // Journal of Mathematical Sciences. – 2025. – Vol. 290. – P. 641-653. – DOI: 10.1007/s10958-025-07687-3.
  12. Gorodnyaya L., Kondratyev D., Shilov N. A Learning path to functional programming (and what students can see on the path) // Smart Innovation, Systems and Technologies. – 2025. – Vol. 406. – P. 293– 302. – DOI: 10.1007/978-981-97-6469-3_25.
  13. Gribovskaya N., Virbitskaite I. Transition systems from asymmetric prime event structures with cause-respecting reversibility // International Journal of Foundations of Computer Science. – P. 1 – 29. – DOI: 10.1142/S0129054125460049.
  14. Kasyanov V.N., Kasyanova E.V. Methods and tools for constructing specialized versions of universal Cloud Sisal programs // Bull. Novosibirsk Comp. Center. Ser. Computer Science. –Novosibirsk, 2025. – Iss.49. – P. 37–48. – DOI: 10.31144/bncc.cs.2542-1972.2025.n49.p37-48.
  15. Klevtsova Yu., Levichev A., Palyanov A. An overview of the perspective MLM-applications to theoretical aspects of the radiation therapies // American Journal of Biomedical Science & Research. – 2025. – Vol. 28, No. 3. – P. 341-344. – DOI:10.34297/AJBSR.2025.28.003681.
  16. Krayneva I., Kupershtokh N., Marchuk A. Digital computing technology in the USSR: Stages of science and technology policy // Bull. Novosibirsk Comp. Center. Ser. Computer Science. – Novosibirsk, 2025. – Iss.49. – P. 49–64. – DOI: 10.31144/bncc.cs.2542-1972.2025.n49.p49-64.
  17. Kuzovlev D., Batura T.  From text to knowledge: Entity linking of scientific terms to Wikipedia // Bull. Novosibirsk Comp. Center. Ser. Computer Science. – Novosibirsk, 2025. – Iss.49. – P. 65–80. – DOI: 10.31144/bncc.cs.2542-1972.2025.n49.p65-80.
  18. Nechesov A., Kondratyev D., Sviridenko D., Anureev I., Garanina N., Gumirov A., Gorobets I., Dementyeva Y. Conceptual framework for trustworthy artificial intelligence: Combining large language models with formal logic systems // System Informatics. – Novosibirsk, 2025. – No. 27. – P. 93–118. – DOI: 10.31144/si.2307-6410.2025.n27.p93-118.
  19. Sidorova E.A., Akhmadeeva I.R., Ilina D.V., Kononenko I.S., Sery A.S., Zagorulko Yu.A. Document-level approach to extracting argumentation structures from the Russian texts of scientific communication // Supercomputing Frontiers and Innovations. – 2025. – Vol. 12, No. 3. – P. 47–62. – DOI: 10.14529/jsfi250304.
  20. Tarasyuk I.V. Performance analysis of the shared memory system in stochastic process algebra dtsdPBC // International Journal of Parallel, Emergent and Distributed Systems. – 2025. – Vol. 40, No. 4.  – P. 373– 423. – DOI: 10.1080/17445760.2025.2493128.
  21. Tarasyuk I.V. Comparing dtsdPBC with other stochastic process algebras // International Journal of Parallel, Emergent and Distributed Systems. – 2025. – Vol. 40, No. 5. – P. 501-569. – DOI: 10.1080/17445760.2025.2527713.
  22. Tomarovsky A.A., Khan R., Dudchenko O., Beklemisheva V.R., Perelman P.L., Totikov A.A., Serdyukova N.A., Bulyonkova T.M., Pobedintseva M., Abramov A.V., Weisz D., Yakupova A., Zhuk A., Graphodatsky A.S., Powell R., Aiden E.L., Koepfli K.P., Kliver S. Chromosome-length genome assembly of the stone marten (Martes Foiona, Mustelidae): A new view on one of the cornerstones in carnivore cytogenetics // Journal of Heredity. – 2025. – P. esaf101. – DOI: 10.1093/jhered/esaf101.
  23. Zakharenko A. L., Dyrkheeva N. S., Markov A. V., Kleshchev M. A., Ryabchikova E. I., Malakhova A. A., Orishchenko K. E., Okorokova L. S., Shtokalo D. N., Medvedev S. P., Zakian S. M., Tupikin A. A., Kabilov M. R., Luzina O. A., Deyev S. M., and Lavrik O. I. Transcriptomic analysis of TDP1-knockout HEK293A cells treated with the TDP1 inhibitor (Usnic Acid Derivative) // International Journal of Molecular Sciences. – 2025. – Vol. 26, No.19.  – 9291. – DOI: 10.3390/ijms26199291.
  24. Ануреев И.С. Язык спецификации дискретных динамических систем, ориентированных на знания, структурированные в онтологиях // Системная информатика. – 2025. – № 29. – С. 137-158. – DOI: 10.31144/si.2307-6410.2025.n29.p137-158.
  25. Ануреев И.С. Операционная семантика операторов передачи управления в языке C на языке ABML // Системная информатика. – 2025. – № 29. – С. 159-188. – DOI: 10.31144/si.2307-6410.2025.n29.p159-188.
  26. Апанович З.В. Современные промышленные приложения графов знаний // Системная информатика. – 2025. – № 29. – С. 1-30. – DOI: 10.31144/si.2307-6410.2025.n29.p1-30.
  27. Байшань А., Загорулько Ю.А. Разработка системы мониторинга электрокардиограмм на основе микроконтроллера ESP8266 // Системная информатика. – 2025. – № 26. – С. 41–52. – DOI:  10.31144/si.2307-6410.2025.n26.p41-52.
  28. Батура Т., Бручес Е., Швенк М., Малых В. AINL-Eval 2025 Shared Task: Детекция автоматически сгенерированных аннотаций к научным статьям на русском языке // Записки научных семинаров ПОМИ. – 2025. – Т. 546. –  С. 48-58.
  29. Бодин Е.В., Ануреев И.С. Операционная семантика выражений в языке Rust на языке ABML // Системная информатика. – 2025. – № 29. – С. 189-218. – DOI: 10.31144/si.2307-6410.2025.n29.p189-216.
  30. Боженкова Е.Н. Тестовые эквивалентности с обратимостью для временных сетей Петри // Системная информатика. – 2025. – № 29. – С. 31-54. – DOI: 10.31144/si.2307-6410.2025.n29.p31-54.
  31. Бручес Е.П., Батурова Д.Т., Бондаренко И.Ю. BERTScore для русского языка // Труды Института системного программирования РАН. – 2025. – Т. 37, № 3. С.147-158. – DOI: 10.15514/ISPRAS-2025-37(3)-10.
  32. Волянская Т.А. Вопросы реализации адаптивного генерирования электронных учебных курсов в интеллектуальных обучающих системах // Системная информатика. – 2025. – № 26. – С.1-39.  – DOI: 10.31144/si.2307-6410.2025.n26.p1-40.
  33. Гордеев Д.С. Алгоритм восстановления позиций выражений в исходном коде Cloud Sisal программ // Системная информатика. – 2025. – № 29. – С.125-135. – DOI: 10.31144/si.2307-6410.2025.n29.p125-136.
  34. Грибовская Н. С., Вирбицкайте И. Б. Теоретико-категорная характеризация семантик систем переходов первичных структур событий с отменяемыми событиями при сохранении причинной зависимости // Системная информатика. – 2025. – № 29. – С. 55-90. – DOI: 10.31144/si.2307-6410.2025.n29.p55-90.
  35. Емельянов П.Г. О задаче выявления хунты для таблично заданных функций // Труды института математики и механики УрО РАН. – 2025. – Т. 31, № 3. – С. 105-120. – DOI: 10.21538/0134-4889-2025-31-3-fon-07.
  36. Загорулько Г.Б., Устюгов В.А. Подход к разработке интеллектуальных персонализированных медицинских информационных систем // Вестник Новосибирского государственного университета. Серия: Информационные технологии. – 2025. – Т. 23, № 3. – С. 5–22.
  37. Загорулько Ю.А., Сидорова Е.А., Ахмадеева И.Р. Автоматическое извлечение аргументативных отношений из текстов научной коммуникации //  Электронные библиотеки. – Т. 28, № 5. – C. 1070–1084. – DOI: 10.26907/1562-5419-2025-28-5-1070-1084.
  38. Зенин М.С., Девятериков А.П., Пальянов А.Ю. Cамообучающиеся виртуальные организмы в физическом симуляторе: Об оптимальном разрешении их зрительной системы, архитектуре нервной системы и вычислительной сложности задачи // Вавиловский журнал генетики и селекции. – 2025. – Т. 29, № 7. – С. 1051-1061. – DOI: 10.18699/vjgb-25-110.
  39. Кондратьев Д.А., Старолетов С.М., Шошмина И.В., Красненкова А.В., Зиборов К.В., Шилов Н.В., Гаранина Н.О., Черганов Т.Ю. Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы // Труды Института системного программирования РАН. – 2025. – Т. 37, № 1. – С. 159-184.
  40. Кондратьев Д.А., Бояндин Л.К., Гончар Г.Е., Марченко В.В., Обухова А.А., Разбитнова Ю.Ю., Хованская А.С., Янбулатов Д.Р. Формальная верификация реализации хэш-функции «Стрибог» с «Группой Астра» // Системная информатика. – 2025. – № 28. – С. 25-52. – DOI: 10.31144/si.2307-6410.2025.n28.p25-52.
  41. Коньшин Д.Р., Сидорова Е.А. Подход к анализу динамики терминов в русскоязычных корпусах текстов на основе лексикографического анализа // Научный диалог: теория и практика. Сборник научных статей по итогам работы Международного научного форума. – Москва, 2025. – Т. 2. – С. 62–69. – DOI: 10.34660/INF.2025.23.29.071.
  42. Крайнева И. А. Академик Андрей Ершов: «От компьютерной грамотности учащихся к информационной культуре общества» // Исторический курьер. – 2025. – № 1(39). – С. 233-249. – DOI: 10.31518/2618-9100-2025-1-16. – EDN FJCAOK.
  43. Крайнева И. А. Ученые защищают Байкал (1960-1990-е гг.): по материалам Открытого архива СО РАН // Журнал Российского национального комитета по истории и философии науки и техники. – 2025. – Т. 3, № 3. – С. 64-75. – DOI: 10.62139/2949-608X-2025-3-3-64-75. – EDN VNJZMI.
  44. Кузовлев Д.Д., Батура Т.В., Старцев П.А. Связывание терминов из научных текстов с сущностями баз знаний // Системная информатика. – 2025. – № 26. – С. 53–75. – DOI: 10.31144/si.2307-6410.2025.n26.p53-76.
  45. Куперштох Н. А., Крайнева И. А. Академик Гурий Иванович Марчук: алгоритмы возможностей и проблем // Уральский исторический вестник. – 2025. – № 2(87). – С. 178-187. – DOI: 10.30759/1728-9718-2025-2(87)-178-187. – EDN BWXXRY.
  46. Латушко А., Бручес Е. RuMathBert: русскоязычная модель для семантического анализа математических формул // Записки научных семинаров ПОМИ. – 2025. – Т. 546. – С. 193-202.
  47. Лисин В.А., Сидорова Е.А. Модель конструктора информационных порталов на основе онтологий предметной области и ресурсов // Информационные и математические технологии в науке и управлении. – 2025. – № 2 (38). – С. 182–198. – DOI: 10.25729/ESI.2025.38.2.015.
  48. Москаленко К.Ю., Погибельная О.Д., Мигинский Д.С. Обзор современных методов восстановления астрономических изображений в условиях атмосферной турбулентности // Вестник НГУ. Серия: Информационные технологии. – 2025. – Т. 23, № 3. – С. 32-43. – DOI: 10.25205/1818-7900-2025-23-3-32-43.
  49. Насибулов И.А. Насибулов Е.А. Современные тенденции в развитии нейронных сетей // Системная информатика. – 2025. – № 29.  – С. 91-124. – DOI: 10.31144/si.2307-6410.2025.n29.p91-124.
  50. Нечесов А.В., Кондратьев Д.А., Свириденко Д.И., Ануреев И.С., Гаранина Н.О., Гумиров А.В., Горобец И.А., Дементьева Я.Ю. Концептуальная программная платформа для доверенного искусственного интеллекта: комбинирование больших языковых моделей с формальными логическими системами  // Системная информатика. – 2025. –  № 27.  – С. 93-118. – DOI: 10.31144/si.2307-6410.2025.n27.p93-118.
  51. Пименов И.С., Саломатина Н.В., Тимофеева М.К. Компьютерный анализ приемов и стратегий аргументации в текстах научной коммуникации // Вестник Новосибирского государственного университета. Серия: Лингвистика и межкультурная коммуникация. – 2025. – Т. 23, № 1. – С. 93-109. –  DOI: 10.25205/1818-7935-2025-23-1-93-109.
  52. Сидорова Е.А., Иванов А.И., Овчинникова К.А. Извлечение информации из текстов на основе онтологии и больших языковых моделей  // Онтология проектирования. – 2025. – Т.15, №1(55). –  С.114–129. – DOI: 10.18287/2223-9537-2025-15-1-114-129.
  53. Тихонова Т. И., Насибулов И. А. Опыт по исследованию эффективности учебного процесса при поддержке техническими средствами // Системная информатика. – 2025. – № 28. – С. 107-120. – DOI: 10.31144/si.2307-6410.2025.n28.p107-120. – EDN EUFXAJ.
  54. Шелехов В. И. Объектная модель научной деятельности // Управление наукой: теория и практика. – 2025. – Т. 7, № 3. – С. 63–82. – DOI 10.19181/smtp.2025.7.3.6. EDN HXRAGT.

Конференции и семинары (международные и российские)

  1. Akhmadeeva I., Kononenko I., Sidorova E., Shestakov V. Using rhetorical structures to analyze argumentation in scientific communication // Proc. Computational Linguistics and Intellectual Technologies: Papers from the Annual International Conference “Dialogue 2025”. – 2025. – Iss. 23. – P. 1–11. – DOI: 10.28995/2075-7182-2025-23-1-11.
  2. Akhmadeeva I., Sidorova E., Ilina D. Argument mining in scientific communication: Comparative study // Proc. Internet and Modern Society. Human-Computer Communication. IMS 2024. Communications in Computer and Information Science. – Cham:  Springer, 2025. – Vol. 2534. – P. 152–166. – DOI: 10.1007/978-3-031-96177-9_13.
  3. Chernenko I., Anureev I. Generation of Isabelle/HOL theory focused on proving verification conditions of PoST programs and based on derived requirement patterns // Proc. 2025 IEEE 26th International Conference of Young Professionals in Electron Devices and Materials (EDM). – 2025. – P. 1480-1485. – DOI: 10.1109/EDM65517.2025.11096665.
  4. Chilikov L., Selivanov, V. Ordered fields and Grzegorczyk’s hierarchy // Computer Algebra in Scientific Computing. Proc. CASC 2025. – Cham: Springer, 2025. – P. 47-66. – (Lect. Notes in Comp. Sci.; 16235). – DOI: 10.1007/978-3-032-09645-6_3.
  5. Gorodnyaya L., Kondratyev D., Shilov N. A Learning path to functional programming (and what students can see on the path) // Agents and Multi-agent Systems: Technologies and Applications. Proc. KES-AMSTA 2024. – Singapore: Springer Singapore, 2025. – P. 293-302. – DOI: 10.1007/978-981-97-6469-3_25. EDN KIKNDN.
  6. Ishchenko A. D., Anureev I. S. Verification condition generator for revised reflex language using Isabelle/HOL // Proc. 2025 IEEE 26th International Conference of Young Professionals in Electron Devices and Materials (EDM). – 2025. – P. 1440-1445. – DOI: 10.1109/EDM65517.2025.11096836.
  7. Kasyanov V.N., Kasyanova E.V. Methods and tools for constructing specialized Versions of general-purpose Cloud Sisal programs // Proc. 2025 IEEE 21st International Asian School-Seminar on Optimization Problems of Complex Systems (
  8. Levichev A.V. On the space of the chronometric proton wave functions: scaling-based detection of its new elements // Тр. Омской конференции по геометрии и её приложениям. – Омск: Изд-во Омского государственного университета им. Ф.М. Достоевского, 2025.  – С. 113-114.
  9. Mukazhanov N., Batura T., Yerimbetova A., Turdalyuly M., Sakenov B., Bayekeyeva A. Kazakh text classification using Deep Learning Approaches // 10th International Conference on Computer Science and Engineering. Proc. UBMK. – Istanbul. – 2025. – P. 495–500. – DOI: 10.1109/UBMK67458.2025.11207069.
  10. Selivanov V. Lωω, Lω1ω, and the Wadge hierarchy // Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. Proc. CiE. – 2025. – P. 425-439. – (Lect. Notes in Comp. Sci.; 15764).  – DOI: 10.1007/978-3-031-95908-0_30.
  11. Selivanov V., Smirnov I. Ordinal invariants of the h-preorder on k-labeled forests, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. Proc. CiE. – 2025. – P.  440-451. – (Lect. Notes in Comp. Sci.; 15764). – DOI: 10.1007/978-3-031-95908-0_31.
  12. Shabanova M., Garanina N. Towards verification reflex programs in the Rodin platform // Proc. 26th International Conference of Young Professionals in Electron Devices and Materials (EDM).  –  2025. – P. 1490-1495. –  DOI: 10.1109/EDM65517.2025.11096842.
  13. Sery A., Ilina D., Sidorova E., Zagorulko Y. Applying generative neural networks to extract argument relations from scientific communication texts // Proc. Data Analytics and Management in Data Intensive Domains. DAMDID/RCDL 2024. Communications in Computer and Information Science. – Cham: Springer, 2025. – Vol. 2641. – P. 112–126. – DOI: 10.1007/978-3-032-03997-2_8.
  14. Sidorova E., Ivanov A., Ilina D., Ovchinnikova K., Osmushkin N., Sery A. An approach to information extraction from texts of a limited subject domain based on a chain of large language models // Proc. Computational Linguistics and Intellectual Technologies: Papers from the Annual International Conference “Dialogue 2025”. – 2025. – Iss. 23. – P. 361–373. – DOI: 10.28995/2075-7182-2025-23-361-373.
  15. Sidorova E.A., Zagorulko Yu.A., Kononenko I.S., Ilina D.V., Timofeeva M.K. Enriching the ontology of argumentation based on critical questions // Proc. 2025 IEEE XVII International Scientific and Technical Conference on Actual Problems of Electronic Instrument Engineering (APEIE). – Novosibirsk, 2025. – P. 1–5. – DOI: 10.1109/APEIE66761.2025.11289342.
  16. Vasilenko N.K., Demin A.V., Burlakov V.S. Hint based query optimization with LLM agent and plan similarity // Proc. 2025 IEEE XVII International Scientific and Technical Conference on Actual Problems of Electronic Instrument Engineering (APEIE). – Novosibirsk. –   2025. – P. 1-4. – DOI: 10.1109/APEIE66761.2025.11289347.
  17. Zagorulko Y., Zagorulko G., Sidorova E. Approach to developing a machine learning ontology // Proc. Data Analytics and Management in Data Intensive Domains. DAMDID/RCDL 2024. Communications in Computer and Information Science. – Cham: Springer, 2025. – Vol. 2641. – P. 21–31. – DOI: 10.1007/978-3-032-03997-2_2.
  18. Апанович З.В., Керного Д.Г. Эксперименты по выравниванию сущностей на русско-английском наборе данных несопоставимыми сущностями // Тр. XXV Всероссийской научной конференции «Научный сервис в сети Интернет». – М.: ИПМ им. М.В.Келдыша, 2025.
  19. Апанович З.В., Керного Д.Г. Выравнивание русско-английских графов знаний с несопоставимыми сущностями. С. 18-24 // Тр. X Международной конференции “Знания - Онтологии - Теория” (ЗОНТ-2025). – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, Новосибирский государственный университет, 2025. – С. 18–24.
  20. Ахмадеева И.Р., Загорулько Ю.А., Кононенко И.С., Серый А.С., Сидорова Е.А. Автоматическая классификация аргументов на основе систематизации моделей рассуждения Д. Уолтона // Тр. Двадцать второй национальной конф. по искусственному интеллекту с международным участием (КИИ-2025). – СПб: Изд-во СПб ФИЦ РАН, 2025. – Т. 1. – С. 227–239. – DOI: 10.15622/rcai.2025.021.
  21. Бурлаков В.С., Демин А.В., Василенко Н.К. Оптимизация SQL-запросов на основе обратной связи с помощью больших языковых моделей // Тр. X Международной конференции “Знания - Онтологии - Теория” (ЗОНТ-2025). – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, Новосибирский государственный университет, 2025. – С. 81–89.
  22. Василенко Н.К., Демин А.В., Бурлаков В.С. Оптимизация SQL запросов при помощи прогноза по аналогам на основе LLM эмбеддингов // Тр. X Международной конференции “Знания - Онтологии - Теория” (ЗОНТ-2025). – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, Новосибирский государственный университет, 2025. – С. 90 – 97.
  23. Городняя Л.В. Сравнение диалектов языка Lisp // Тр. XXV Всероссийской научной конференции «Научный сервис в сети Интернет». – М.: ИПМ им. М.В.Келдыша, 2025. 
  24. Городняя Л.В., Файфель Б.Л. Лисп как программная основа при преподавании функционального программирования // Тр. XXV Всероссийской научной конференции «Научный сервис в сети Интернет». – М.: ИПМ им. М.В.Келдыша, 2025.
  25. Емельянов П.Г. Декомпозиция Ашенхёрста для таблично заданных булевых функций // Труды ИСП РАН.  – 2025. – Т. 37, Вып. 1. – С. 1–14. –  DOI: 10.15514/ISPRAS–2025–37(1)–1.
  26. Загорулько Ю.А., Загорулько Г.Б., Сидорова Е.А., Плотникова И.О.  Организация содержательного доступа к систематизированным знаниям и ресурсам по машинному обучению на основе онтологии // Тр. Двадцать второй национальной конф. по искусственному интеллекту с международным участием (КИИ-2025). – СПб: Изд-во СПб ФИЦ РАН, 2025. – Т. 1. – С. 47–58. – DOI: 10.15622/rcai.2025.004.
  27. Каблуков И.В., Тумуров Э. Г., Шелехов В. И. Разработка, оптимизирующая трансформация и верификация предикатной программы нахождения кратчайшего пути в графе // Тр. X Международной конференции “Знания - Онтологии - Теория” (ЗОНТ-2025). – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, Новосибирский государственный университет, 2025. – С. 153-162. ISSN 0568-661X.
  28. Касьянов В. Н., Касьянова Е. В. Методы и системы поддержки применения теоретико-графовых моделей и алгоритмов в программировании // Тр. Двадцать третьей открытая Всероссийской конференции «Преподавание информационных технологий в Российской Федерации: сборник научных трудов». – Омск: Изд-во ОмГу им. Ф.М. Достоевского, 2025. – C.185-186.
  29. Касьянов В. Н., Касьянова Е. В., Малышев А. А. Методы и средства построения специализированных версий универсальных Cloud Sisal программ // Тр. Информатика: проблемы, методы, технологии: материалы XXV Международной научно-практической конференции. – Воронеж: Воронежский государственный университет, 2025.– С.43-52.
  30. Касьянов В. Н., Касьянова Е. В. Методы и системы поддержки применения теоретико-графовых методов в информатике и программировании // Тр. Информатика: проблемы, методы, технологии: материалы XXV Международной научно-практической конференции. – Воронеж: Воронежский государственный университет, 2025. – С.1295-1302.
  31. Касьянов В. Н., Касьянова Е. В. Вики системы по теоретико-графовым моделям и методам в программировании // Тр. XXVII Всероссийской научной конференции «Научный сервис в сети Интернет» (онлайн). – М.: ИПМ им. М.В.Келдыша, 2025.
  32. Кравченко Т. М., Сидорова Е. А. Подход к обнаружению и классификации фейковых сообщений на основе аргументации // Тр. X Международной конференции “Знания - Онтологии - Теория” (ЗОНТ-2025). – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, Новосибирский государственный университет, 2025. – С. 188 –192. ISSN 0568-661X.
  33. Крикунов М.А., Загорулько Ю.А. Разработка информационно-аналитического интернет-ресурса по компьютерным языкам // Тр. X Международной конференции “Знания - Онтологии - Теория” (ЗОНТ-2025). – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, Новосибирский государственный университет, 2025. – С. 195–204. ISSN 0568-661X.
  34. Макаренко И. Д., Платонов Ю. Г., Марчук А. Г. Проектирование распределенной системы управления данными с использованием паттерна CQRS для избирательного разграничения доступа // Тр. Донецкие чтения - 2025: образование, наука, инновации, культура и вызовы современности: Материалы X Международной научной конференции, посвященной 60-летию создания Донецкого научного центра. – Донецк: Донецкий государственный университет, 2025. – С. 214-216. EDN SGBIGH.
  35. Пименов И.С., Саломатина Н.В., Сидорова Е.А. Обработка расхождений в аргументационной разметке: исследование влияния базовых операций корректировки на распознавание аргументов // Тр. X Международной конференции “Знания - Онтологии - Теория” (ЗОНТ-2025). – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, Новосибирский государственный университет, 2025. – С. 284–293. ISSN 0568-661X.
  36. Сидорова Е.А., Серый А.С., Ахмадеева И.Р., Ильина Д.В. Классификация аргументов с помощью больших языковых моделей // Тр.  Двадцать второй национальной конф. по искусственному интеллекту с международным участием (КИИ-2025). – СПб: Изд-во СПб ФИЦ РАН, 2025. – Т. 1. – С. 298–309. – DOI: 10.15622/rcai.2025.027.

Тезисы докладов на конференциях

  1. Korovina M. Conflict driven clause learning for invariant verification // Мальцевские чтения: Тезисы докладов международной конференции.  – Новосибирск: Международный математический центр в Академгородке, 2025. – С. 81. http://old.math.nsc.ru/conference/malmeet/25/Sbornik/Malcev_Meeting_2025.pdf.
  2. Selivanova S. Solving systems of linear hyperbolic differential equations in Grzegorczyk’s hierarchy classes // Мальцевские Чтения: Тезисы докладов международной конференции. – Новосибирск: Международный математический центр в Академгородке, 2025. – С. 129. –http://old.math.nsc.ru/conference/malmeet/25/Sbornik/Malcev_Meeting_2025.pdf.
  3. Михайлов М., Селиванов В.Л. Определимость в структуре слов без повторений с отношением вложимости // Материалы докладов  V Конференции математических центров России. – Красноярск: ИВМ СО РАН, 2025.  – С. 222. – https://kmc.sfu-kras.ru/conf2025/files/sbornik_2025.pdf.
  4. Ореховский В.Н., Селиванов В.Л. О логических и топологических классификациях регулярных языков на бесконечных ординальных словах // Материалы докладов  V Конференции математических центров России. – Красноярск: ИВМ СО РАН, 2025.  – С.  226-228. – https://kmc.sfu-kras.ru/conf2025/files/sbornik_2025.pdf.

Препринты

  1. Garanina N., Zyubin V., Anureev I. Developing controlled natural language for formal specification patterns using AI assistants. – 2025. – (Preprint/Cornell University). – DOI: 10.48550/arXiv.2512.24159.
  2. Korovina M., Kudinov O. Order Positive Fields II. – 2025. – (Preprint/Cornell University). – DOI: 10.48550/arXiv.2601.00049.
  3. Tarasyuk I.V. Stochastic bisimulation and performance evaluation in discrete time stochastic and deterministic Petri box calculus dtsdPBC. – 2025. – (Preprint/HAL Open Archives hal-02573419v5 (version 6). – https://hal.science/hal-02573419v6/file/dtsdpbchal5rv.pdf.
  4. Гордеев Д.С. Модель визуальной отладки Cloud Sisal программ с помощью цветных сетей Петри. – Новосибирск, 2025. – https://www.iis.nsk.su/files/preprint/gordeev.pdf.
  5. Городняя Л.В. Синхрон – язык ознакомления с миром параллелизма. – Новосибирск, 2025. – DOI: 10.31144/prep.2025.n204.pp131. –  https://www.iis.nsk.su/files/page/gorodnyaya-sinkhron.pdf.
  6. Городняя Л.В. Опыт парадигмальной декомпозиции определения языка программирования на примере языка Clisp. – Новосибирск, 2025. –  DOI: 10.31144/prep.2025.n199.pp63. – https://www.iis.nsk.su/files/preprint/gorodnyaya-preprint-pp-yap-clisp.pdf.
  7. Городняя Л.В., Андреева Т.А.  Парадигмы программирования. Часть 2. Учебное пособие.  – Новосибирск, 2025. – DOI: 10.31144/prep.2025.n212.pp146. – https://www.iis.nsk.su/files/page/paradigmy-gorodnyaya-andreeva-2025.pdf.
  8. Городняя Л.В. Lisp и его диалекты. – Новосибирск, 2025. –   DOI: 10.31144/prep.2025.n205.pp80. – https://www.iis.nsk.su/files/page/lisps-gorodnyaya.pdf.
  9. Городняя Л.В. Формы для показа результатов сравнения языков программирования на примере диалектов языка LISP. – Новосибирск, 2025. – DOI: 10.31144/prep.2025.n208.pp41. – https://www.iis.nsk.su/preprints/preprints/preprint/208.
  10. Золотухин Т.А. Visual Graph Library: архитектура и возможности Java‑библиотеки для визуализации графов. – Новосибирск, 2025. – https://www.iis.nsk.su/files/preprint/red-visual-graph-library.pdf.
  11. Карнаухов Н.С., Першин Д.Ю., Шелехов В.И., Янбулатов Д.Р.  Язык предикатного программирования. – Новосибирск, 2025. – https://www.iis.nsk.su/files/preprint/red-yappr.pdf.
  12. Коровина М., Кудинов О. Порядково позитивные поля. – Новосибирск, 2025. –   DOI: 10.31144/prep.2025.n211.pp16. – https://www.iis.nsk.su/files/preprint/2025-1-19.pdf. 
  13. Шелехов В.И. Правила доказательства корректности предикатных программ. –   Новосибирск, 2025. – https://www.iis.nsk.su/files/preprint/preprint-red-prrules.pdf.
  14. Шелехов В.И. Задача 6. Решение через циклы. – Новосибирск, 2025. – https://www.iis.nsk.su/files/preprint/leftsub.pdf.
  15. Шелехов В.И., Янбулатов Д.Р., Ворожбитов Н.О., Каблуков И.В., Тумуров Э.Г. Графы в предикатном программировании. – Новосибирск, 2025.  – https://www.iis.nsk.su/files/preprint/preprint-pgraph.pdf.

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

  1. Свидетельство о государственной регистрации программы для ЭВМ № 2025668565 от 17.07.2025. Программа на языке программирования Python, реализующая детерминированный полиномиальной временной сложности алгоритм факторизации мультилинейных полиномов над конечным полем порядка 2 с использованием средств многопроцессорности / Емельянов П.Г.; правообладатель ФГБУН Институт систем информатики им. А.П. Ершова СО РАН.
  2. Свидетельство РК о внесении сведений в государственный реестр прав на объекты, охраняемые авторским правом № 61347 от 11.08.2025. Программа для распознавания сущностей и извлечения отношений в научных текстах на казахском и русском языках / Еримбетова А.С., Батура Т.В., Мукажанов Н.К., Турдалыулы М., Сэкенов Б.Е., Шварц Н.А.
  3. Свидетельство РК о внесении сведений в государственный реестр прав на объекты, охраняемые авторским правом № 61387 от 13.08.2025. Датасет научных текстов с аннотацией сущностей и отношений “SciMDIX” на казахском и русском языках / Еримбетова А.С., Мукажанов Н.К., Батура Т.В., Сэкенов Б.Е., Шварц Н.А., Турдалыулы М.
  4. Свидетельство о регистрации программы для ЭВМ RU 2025681297 от 13.08.2025. Программа CS2CPP для кроссплатформенной компиляции Cloud Sisal программ / Касьянов В.Н., Касьянова Е.В., Малышев А.А.; правообладатель Институт систем информатики им. А.П. Ершова СО РАН.
  5. Свидетельство о регистрации программы для ЭВМ RU 2025681291 от 13.08.2025. Программа CSVisDbg для визуальной отладки Cloud Sisal программ / Касьянов В.Н., Гордеев Д.С.; правообладатель Институт систем информатики им. А.П. Ершова СО РАН.