Публикации

2024

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

  1. Klevtsova Yu., Levichev A., Neshchadim M., Palyanov A. Perspective Chapter: The Proton's Theoretical Description, Based on Wigner-Segal Approach to Elementary Particles // Proton Therapy - Scientific Questions and Future Direction. – Amherst: Intechopen, 2024. – DOI 10.5772/intechopen.1003189. – EDN OCWTYU.
  2. Касьянов В.Н., Касьянова Е. В. Англо-русский словарь по графам для программиста. – Новосибирск: ИСИ СО РАН, 2025. – 160 с.
  3. Крайнева И.А. Время и пространство Юрия Румера. – Новосибирск: изд-во СО РАН, 2024.  – 317 с.  – DOI: 10.53954/9785605099543.

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

  1. Antonets D., Antonets M., Bodnev S., Rotskaya U. Nearly complete genome sequences of the first two identified Colorado potato beetle viruses // Scientific Reports. – 2024. – Vol. 14, No. 1. – P. 352.  – DOI: 10.1038/s41598-023-51093-1. – EDN IKLKVE.
  2. Bulyonkova T., Filippova N., Zvyagina E., Rudykina E. DNA-based occurrence dataset on peatland fungal communities studied by metabarcoding in north-western Siberia // Biodiversity Data Journal. – 2024. – Vol. 12. – DOI: 10.3897/bdj.12.e119851. – EDN FVYLBD.
  3. De Brecht M., Kihara T., Victor Selivanov V. Ideal presentations and numberings of some classes of effective quasi-Polish spaces // Computability. – 2024. – No.13. – P. 325–348. – DOI: 10.3233/COM-230442.
  4. Dyrkheeva N.S., Zakharenko A.L., Malakhova A.A., Okorokova L.S., Shtokalo D.N., Medvedev S.P., Tupikin A.A., Kabilov M.R., Lavrik O.L. Transcriptomic analysis of HEK293A cells with a CRISPR/Cas9-mediated TDP1 knockout // Biochimica et Biophysica Acta (BBA) - General Subjects. – 2024. – Vol. 1868, № 7. – P. 130616. – DOI: 10.1016/j.bbagen.2024.130616.
  5. Garanina N.O. An exact schedulability test for real-time systems with an abstract scheduler // Системная информатика. – 2024. – № 25. – С. 29-38. – DOI: 10.31144/si.2307-6410.2024.n25.p29-38.
  6. Garanina N., Gorlatch S. Knowledge acquisition in multi-agent systems: A formalization of the Eleusis card game. // Journal of Mathematical Sciences. – 2024.  – Vol. 280.  – P. 468–479. – DOI: 10.1007/s10958-024-07107-y.
  7. Kiyatkin V., Rybakov V. Interval multi-agent logic with reliability operator // Журнал Сибирского федерального университета. Серия «Математика и физика».  – 2024. –Т. 17, № 5. – С. 679—683.
  8. M. Korovina. O. Kudinov. Order positive fields. I. // Algebra and Logic. – 2024. Vol. 62(3). – P. 203–214. – DOI: 10.1007/s10469-024-09738-1.
  9. Levichev A.V., Palyanov A.Y., Neshchadim M.V. Applications of Lie groups related to Segal's cosmos. I. The Multi-Level Model as Chronometry's unification with the Standard Model // Lobachevskii Journal of Mathematics. – 2024. – Т.45, №11. – P. 5845-5859. – DOI: 10.1134/S1995080224601759.
  10. Protsenko N., Rybakov V. The satisfiability problem in linear multi-agent knowledge logic based on N // The Bulletin of Irkutsh State University. Series Mathematics. – 2024. – Vol. 49. – P. 124-134. – DOI: 10.26516/1997-7670.2024.49.124.
  11. Ramazanova V., Sambetbaeva M., Zagorulko Yu. Classification and analysis of the application of knowledge graphs in education // Trudy Universiteta. – 2024. – No. 2 (95). – P. 425-433. –DOI: 10.52209/1609-1825_2024_2_425.
  12. Tarasyuk I.V. Embedding and elimination for performance analysis in stochastic process algebra dtsdPBC // International Journal of Parallel, Emergent and Distributed Systems. – 2024. – Vol. 39 (6). – P. 619-652. – DOI: 10.1080/17445760.2024.2417873.
  13. Tashibayeva R., Bakiyeva A., Batura T. Online extraction of aspects from the texts of scientific articles for the Kazakh language // Trudy Universiteta. – 2024. – No. 2(95). – P. 442-449. – DOI 10.52209/1609-1825_2024_2_442. – EDN BZJPNX.
  14. Tomilova Y.E., Russkikh N.E., Yi I.M., Shaburova E.V., Tomilov V.N., Pyrinova G.B., Brezhneva S.O., Tikhonyuk O.S., Gololobova N.S., Popichenko D.V., Arkhipov M.O., Bryzgalov L.O., Brenner E.V., Artyukh A.A., Shtokalo D.N., Antonets D.V. and Ivanov M.K. Enhancing the reverse transcriptase function in Taq polymerase via AI-driven multiparametric rational design // Frontiers in Bioengineering and Biotechnology. – 2024.  – Vol. 12. – DOI: 10.3389/fbioe.2024.1495267.
  15. Бручес Е.П., Леман А.Я., Швенк М.В. Сравнение методов машинного обучения для решения задачи анализа тональности  // Вестник Новосибирского государственного университета. Серия: Информационные технологии. – 2024. – Т. 22, № 3. – С. 49–61. DOI: 10.25205/1818-7900-2024-22-3-49-61. – EDN FKTMQU.
  16. Быстров А.В., Вирбицкайте И.Б., Ошевская Е.С. Инструментальные системы, поддерживающие стохастические сетевые модели // Проблемы информатики. – 2024. – № 2. – С. 32-57. – DOI: 10.24412/2073-0667-2024-2-32-57.
  17. Гаранина Н.О. Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах // Моделирование и анализ информационных систем. – 2024. – Т. 31, № 4. С. 474-494. – DOI: 10.18255/1818-1015-2024-4-474-494.
  18. Л.В. Городняя. Каким должен быть язык учебного программирования  //Электронные библиотеки. – 2024. – Т. 27, № 6. –  DOI: 10.26907/1562-5419-2024-27-6-830–856.
  19. Грибовская Н.С., Вирбицкайте И.Б. Семантика систем переходов структур событий с отменяемыми событиями при сохранении причинно-следственной зависимости // Системная информатика. –  2024. – № 24. – С. 59-90. – DOI:10.31144/si.2307-6410.2024.n24.p59-90.
  20. Девятериков А.П., Пальянов А.Ю. Ускорение алгоритма 3SEQ для поиска рекомбинантных геномных последовательностей за счёт многопоточности и учета дат сбора образцов // Математическая биология и биоинформатика. – 2024. – Т. 19, № 2. – С. 338-353. DOI: 10.17537/2024.19.338. – EDN OSPODY.
  21. Зубарев А.Ю. Иерархия эквивалентностей непрерывно-временных сетей Петри со слабой временной стратегией // Проблемы информатики. – 2024. – № 1. – С. 5 – 40. – DOI: 10.24412/2073-0667-2024-1-5-40.
  22. Зубарев А.Ю. Сравнение эквивалентностей непрерывно-временных сетей Петри относительно стратегий сброса часов // Системная информатика. – 2024. – № 24. – С. 33-58. – DOI: 10.31144/si.2307-6410.2024.n24.p33-58.
  23. Крайнева И.А., Шилов В.В.VI международная конференция «Развитие вычислительной техники в России, странах бывшего СССР и СЭВ»  // Вопросы истории естествознания и техники. – 2024. – Т. 45, № 2. – С. 421-429. DOI: 10.31857/S0205960624020157. – EDN XPRLTC.
  24. Крайнева И.А., Куперштох Н.А. Академия наук СССР в проектах по созданию ЭВМ: импульсы развития в 1948-1991 гг. // Уральский исторический вестник. – 2024. – № 4(85). – С. 145-154. DOI: 10.30759/1728-9718-2024-4(85)-145-154. – EDN VMTRSW.
  25. Крайнева И.А. Становление Института точной механики и вычислительной техники АН СССР в контексте кампании по борьбе с космополитизмом (1948–1953 гг.) // Гуманитарные науки в Сибири. – 2024. – Т. 31, №4. – С. 75–84. DOI: 10.15372/HSS20240409.
  26. Крайнева  И.А., Шилов В.В. О создании первых компьютеров в СССР // Системная информатика. – 2024. – № 24. – С. 1-12. – DOI 10.31144/si.2307-6410.2024.n24.p1-12. – EDN VFZGBY.
  27. Крайнева И.А., Шилов В.В. SoRuCom-23 – VI Международная конференция по истории информатики // Системная информатика. – 2024. – № 24. – С. 75–84. DOI: 10.31144/SI.2307-6410.2024.N24.P13-32.
  28. Мордвинов А.В., Стучинский А.В., Девятериков А.П., Пальянов А.Ю. [и др.] Проект эффективной программной платформы для работы с генетическими данными респираторных вирусов // Информационные технологии и вычислительные системы. – 2024. – № 4. – С. 60–73. DOI: 10.14357/20718632240406. – EDN EUCRNU.
  29. Рамазанова В.С., Самбетбаева М.А., Загорулько Ю.А. Обзор и анализ представлений графов знаний // Труды университета. – 2024. – № 1(94). – С. 413-420.  DOI: 10.52209/1609-1825_2024_1_413.
  30. Рыбаков В.В. Мульти-агентные логики с взаимодействием, унифицируемость и проективность // Сибирские электронные математические известия. – 2024. –  Т. 21, № 2.  – С. 1370 – 1384. – DOI: 10.33048/semi.2024.21.086. 
  31. Рыбаков В.В.. Допустимость и унификация в модальных логиках, близких к S4.2 // Сибирский математический журнал. – 2024. – Т. 65, № 1. – С. 198—206. –DOI: 10.33048/smzh.2024.65.115.
  32. Саломатина Н.В., Сидорова Е.А., Пименов И.С. Применение методов машинного обучения для выявления аргументативных связей в текстах научной коммуникации // Онтология проектирования. – 2024. – Т.14, №1(51). – С.82-93. – DOI: 10.18287/2223-9537-2024-14-1-82-93.
  33. Сидорова Е.А., Кононенко И.С. Онтологический анализ приемов аргументации в научном дискурсе // Информационные и математические технологии в науке и управлении.  – 2024–№ 3(35). – С. 20-32.  DOI: 10.25729/ESI.2024.35.3.002.
  34. Сидорова Е.А., Иванов А.И., Овчинникова К.А. Извлечение информации из текстов на основе онтологии и больших языковых моделей // Онтология проектирования. –  2025. –  Т.15, №1(55). – С.114-129. DOI: 10.18287/2223-9537-2025-15-1-114-129.
  35. Старолетов С.М., Кондратьев Д.А., Гаранина Н.О., Шошмина И.В. Соревнования по формальной верификации VeHa-2023: опыт проведения // Труды Института системного программирования РАН. – 2024.  – Т. 36, № 2. – С. 141-168. – DOI: 10.15514/ISPRAS-2024-36(2)-11.
  36. Старцев П.А. Построение онлайн системы с Web интерфейсом для хранения, обработки и анализа генетических последовательностей вируса SARS-CoV-2 // Системная информатика. – 2024. – № 24. – С. 101–112. – DOI 10.31144/si.2307-6410.2024.n24.p101-112. – EDN RKBUMZ.
  37. Тимофеева М.К., Ильина Д.В., Кононенко И.С. Аргументативная разметка корпуса текстов научной интернет-коммуникации: жанровый анализ и исследование типовых моделей рассуждения с помощью платформы ArgNetBank Studio // Вестник НГУ. Серия: Лингвистика и межкультурная коммуникация.  – 2024. – Т. 22, № 1. – С. 27-49. DOI: 10.25205/1818-7935-2024-22-1-27-49.
  38. Тимофеева М.К., Кононенко И.С., Шестаков В.К., Зоркальцев А.В. Анализ возможностей использования разметки на основе теории риторических структур для уточнения аргументативной разметки // Вестник ТГУ. – 2024. – № 508. – C. 86-98. DOI: 10.17223/15617793/508/9.
  39. Шелехов В.И., Тумуров Э.Г. Методы автоматного программирования для разработки и верификации систем управления // Программная инженерия. – 2024. – Том 15, №2. – С. 73-86. – DOI: 10.17587/prin.15.73-86.
  40. Шелехов В.И. Автоматная модель научной деятельности // Программная инженерия. – 2024. – Том 15, № 9. – С. 485-496. – DOI: 10.17587/prin.15.485-496.

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

  1. Apanovich Z., Kolganova A. AEVis: A visualization method to facilitate understanding data and entity alignment results // 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON). – 2024. – P. 391-395. – DOI: 10.1109/SIBIRCON63777.2024.10758503.
  2. Markelova E., Antonets D., Minin A., Shtokalo D. Prediction of expression changes in single cell RNA using style transfer variational autoencoder // Fourteenth International Multiconference “Bioinformatics of Genome Regulation and Structure”. – 2024. – Novosibirsk: Federal Research Center Institute of Cytology and Genetics SB RAS. – P. 139-140. – DOI: 10.18699/bgrs2024-1.2-18. – EDN KWJQGM.
  3. Marshalova A., Bruches E., Batura T. Automatic aspect extraction from scientific texts // Recent Trends in Analysis of Images, Social Networks and Texts (AIST 2023). Communications in Computer and Information Science. – 2024. – Vol. 1905. –   P. 67–80. – DOI: 10.1007/978-3-031-67008-4_6.
  4. Palyanov A. Yu., Palyanova N.V. Millions of SARS-CoV-2 genomes in the RAM of a regular PC: fast and efficient analysis of evolutionary changes.  Fourteenth International Multiconference “Bioinformatics of Genome Regulation and Structure”. – 2024. – Novosibirsk: Federal Research Center Institute of Cytology and Genetics SB RAS. – P. 2198-2200. – DOI: 10.18699/bgrs2024-12.3-22. – EDN PBRDOX.
  5. Shestakov V., Kononenko I., Sidorova E., Zagorulko Y. Assessing inter-annotator agreement on argumentative markup // 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON). – 2024. – P. 309 - 313. DOI: 10.1109/SIBIRCON63777.2024.10758535.
  6. Sidorova E.A., Zagorulko Yu.A. , Kononenko I.S., Sery  A.S., Chagina P.M. Approach to building a dataset for the problem of extracting argumentative relations // Pattern Recognition and Image Analysis. – 2024.  – Vol. 34, No. 3. – P. 515–522. – DOI: 10.1134/S1054661824700299.
  7. Васюченко Е.П., Антонец Д.В., Вяткин Ю.В., Волчо К.П. Подходы искусственного интеллекта в задачах поиска молекулярных мишеней новых лекарственных препаратов // Четырнадцатая международная мультиконференция «Биоинформатика регуляции и структуры геномов».  – 2024. – Новосибирск: Федеральный исследовательский центр институт цитологии и генетики СО РАН.– С. 645-647. – DOI: 10.18699/bgrs2024-3.2-05. – EDN OEFVFV.
  8. Гавриленко А., Шабурова Е., Антонец Д. Поиск ДНК-связывающих белков (DBPs) с использованием методов глубокого обучения // Четырнадцатая международная мультиконференция «Биоинформатика регуляции и структуры геномов».  – 2024. – Новосибирск: Федеральный исследовательский центр институт цитологии и генетики СО РАН. –  С. 2145-2150. – DOI: 10.18699/bgrs2024-12.3-06. – EDN VHWJXT.
  9. Городняя Л.В. Выбор решений для языка учебного программирования // Научный сервис в сети Интернет. – 2024. – № 26. – С. 57-72. – DOI: 10.20948/abrau-2024-3. – EDN RVDVWH.
  10. Ишманов Т., Звягина Е., Рудыкина Е., Бульонкова Т. Пайплайн для обработки данных метабаркодинга грибов природных сообществ // Четырнадцатая международная мультиконференция «Биоинформатика регуляции и структуры геномов».  – 2024. – Новосибирск: Федеральный исследовательский центр институт цитологии и генетики СО РАН. – С. 1395-1399. – DOI: 10.18699/bgrs2024-8.2-03. – EDN FBRPAR.
  11. Касьянов В.Н., Кламбоцкий К.А. О мобильных приложениях для самостоятельного изучения программирования школьниками // Информатика: проблемы, методы, технологии: материалы XXIV Международной научно-практической конференции. – Воронеж. –  2024. – С.1584 -1593.
  12. Касьянов В.Н., Касьянова Е.В. О визуализации управляющих графов программ на основе их циклической структуры // Информатика: проблемы, методы, технологии: материалы XXIV Международной научно-практической конференции. – Воронеж. –  2024. – С.1422- 1431.
  13. Клевцова Ю.Ю. Об оценках гладкости на решения одной модели атмосферы // Материалы международной научной конференции «Уфимская осенняя математическая школа – 2024». – Уфа. – 2024. – С. 91. – EDN AYLAKS.
  14. Томаровский А., Тотиков А., Беклемишева В., Бульонкова Т.  Полногеномные данные подтверждают присутствие кроссинговера у гибридов соболя (M. zibellina) и лесной куницы (M. martes) // Четырнадцатая международная мультиконференция «Биоинформатика регуляции и структуры геномов».  – 2024. – Новосибирск: Федеральный исследовательский центр институт цитологии и генетики СО РАН. – С. 891-896. – DOI: 10.18699/bgrs2024-5.1-10. – EDN PEEIEQ.
  15. Тотиков А., Томаровский А., Перельман П., Бульонкова Т. Сборка генома обыкновенной ласки (Mustela nivalis) на уровне C-скаффолдов хромосомной длины // Четырнадцатая международная мультиконференция «Биоинформатика регуляции и структуры геномов».  – 2024. – Новосибирск: Федеральный исследовательский центр институт цитологии и генетики СО РАН. – С. 180-185. – DOI: 10.18699/bgrs2024-1.3-06. – EDN DWSKOI.

Доклады на конференциях и семинарах

  1. Garanina N.O., Gorlatch S.P. Auto-tuning high-performance programs with model checking in Promela // Regular talk at XIV Annual International Conference of the Georgian Mathematical Union, Batumi, Georgia, September 2-7, 2024. –http://gmu.gtu.ge/conferences/wpcontent/uploads/2024/09/Program_2024_4.09.pdf .
  2. Gorodnyaya L., Kondratyev D., Shilov N. A learning path to functional programming (and what students can see on the path) //  Panel talk (online) at the 18th International KES Conference on Agents and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2024), June 19-21, 2024. – http://sdf-24.kesinternational.org/SDF24%20full%20programme.pdf.
  3. Кондратьев Д.А., Старолетов С.М., Шошмина И.В., Красненкова А.В., Зиборов К.В., Шилов Н.В. Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы // Секционный доклад на Международной Открытой конференции ИСП РАН им. В.П.Иванникова, Москва, 11-12 декабря, 2024. –  https://www.isprasopen.ru/docs/isprasopen-2024.pdf.
  4. Левичев А.В. The multi-level model as the unification of standard model with Segal’s chronometry // Приглашённый пленарный доклад на международной конференции XIX International Conference on Symmetry Methods in Physics (SYMPHYS-XIX), организованной Международным центром передовых исследований при Ереванском государственном университете, Ереван, Армения, сентябрь 8-13, 2024.
  5. Селиванова С.В. Solving differential equations in exact real computation approach, and applications to particle physics Секционный доклад (совместно с Holger Thies)  на Международной конференции «Алгебра и математическая логика: теория и приложения», Казань, 27 июня - 1 июля, 2024. –  https://mathcenter.kpfu.ru/algmathlog.
  6. Селиванова С.В. Theory and practice of exact real computation for differential equations // Приглашённый пленарный доклад на CCC’2024: Continuity, Computability, Constructivity,  Ницца (Франция), 30 сентября - 4 октября 2024. – https://www.lix.polytechnique.fr/CCC2024/i.php?Main.Home.
  7. Селиванова С.В. Методы точных вычислений для решения задач математической физики // Секционный доклад (онлайн)  на Марчуковских научных чтениях 2024,  Новосибирск, 7-11 октября 2024. – https://conf.icmmg.nsc.ru/event/12/.

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

  1. Brausse F., Korovin K., Korovina M. Solving non-linear constraints in CDСL-style // The Summer Workshop on Interval Methods SWIM 2024. – Maastricht University, 2024. – https://www.maastrichtuniversity.nl/sites/default/files/2024-06/SWIM%202024%20-%20Abstracts.pdf.
  2. Garanina N.O., Gorlatch S.P. Auto-tuning high-performance programs with model checking in Promela // Abstracts of XIV Annual International Conference of the Georgian Mathematical Union. – 2024. – P. 24. – http://gmu.gtu.ge/conferences/wp-content/uploads/2024/08/Conference_GMU_2024_22.08.pdf.
  3. M. Korovina. O. Kudinov. Arithmetical complexity for order positive fields // Мальцевские чтения:  Тезисы международной конференции. – Новосибирск, 2024. – С. 152.
  4. Дырхеева Н., Захаренко А., Малахова А., Штокало Д. Транскриптомный анализ клеток НЕК293А с нокаутом по гену белка TDP1 // Физико-химическая биология: Тезисы V Всероссийской конференции, приуроченной к 40-летию ИХБФМ СО РАН. – Новосибирск: Офсет-ТМ, 2024. – С. 18. – EDN ISFHSQ.
  5. Каблуков И.В., Ворожбитов Н. О., Тумуров Э. Г., Шелехов В. И. Алгоритмы на графах в языке предикатного программирования и их оптимизирующая трансформация // Марчуковские научные чтения 2024: Тезисы Международной конференции. – Новосибирск, ИВМиМГ СО РАН, 2024. – С. 134. – ISBN 978-5-901548-51-6.
  6. Касьянов В.Н., Касьянова Е.В. Методы визуализация управляющих графов программ на основе их циклической структуры // Преподавание информационных технологий в Российской Федерации: Тезисы двадцать второй открытой Всероссийской конференции. – Тверь: Издательство ТГУ, 2024. – С.174-175. – ISBN 978-5-7609-1978-6.
  7. Касьянов В.Н., Кламбоцкий К.А. О мобильных приложениях для поддержки самостоятельного изучения программирования школьниками // Преподавание информационных технологий в Российской Федерации:  Тезисы двадцать второй открытой Всероссийской конференции. – Тверь: Издательство ТГУ, 2024. – С.376-377. – ISBN 978-5-7609-1978-6.
  8. Касьянов В.Н., Касьянова Е. В., Малышев А. А. Кроссплатформенный Cloud Sisal компилятор облачной системы параллельного программирования CPPS // Марчуковские научные чтения 2024: Тезисы Междунар. конф. – Новосибирск: ИВМиМГ СО РАН, 2024 – С.135. – ISBN 978-5-901548-51-6.
  9. Касьянов В.Н., Золотухин Т. А., Касьянова Е. В. Методы и средства визуализации сложно структурированных данных большого размера на основе атрибутированных иерархических графов с портами // Марчуковские научные чтения 2024: Тезисы Междунар. конф. – Новосибирск: ИВМиМГ СО РАН, 2024 – С.134-135. – ISBN 978-5-901548-51-6.
  10. Ореховский В.Н., Селиванов В.Л. О логических и топологических классификациях регулярных языков на бесконечных ординальных словах // Мальцевские чтения:  Тезисы международной конференции. – Новосибирск, 2024. – С. 144.
  11. Платонов Ю.Г., Марченко И.Д., Платонова И.Ю. Проектирование распределенной системы управления данными на основе паттерна CQRS для исключения несанкционированного доступа к части данных // Марчуковские научные чтения 2024: Тезисы Международной конференции. – Новосибирск, ИВМиМГ СО РАН, 2024. – С. 138. –ISBN 978-5-901548-51-6.
  12. Селиванова С.В. Методы точных вычислений для решения задач математической физики // Марчуковские научные чтения 2024: Тезисы Международной конференции. – Новосибирск, ИВМиМГ СО РАН, 2024. – С. 137. – ISBN 978-5-901548-51-6.

Препринты

  1. Bruches E., Tsanda A. Russian-language multimodal dataset for automatic summarization of scientific papers. – 2024. – (Preprint/ Cornell University). – DOI:  10.48550/arXiv.2405.07886.
  2. Demin A., Dorn Y., Katrutsa A., Kazantsev D., Latypov I., Maximlyuk Y., and Ponomaryov D.  EEvA: Fast expert-based algorithms for buffer page replacement. – 2024. – (Preprint/ Cornell University). – DOI: 10.48550/arXiv.2405.00154.
  3. Skachkov D., Ponomaryov D., Dorn Y., and Demin A. Competitive ratio of online caching with predictions: Lower and upper bounds. – 2024. – (Preprint/ Cornell University). – DOI: 10.48550/arXiv.2410.01760.
  4. Tarasyuk I.V. Comparing dtsdPBC with other stochastic process algebras. –  2024. – (Preprint/ResearchGate). – DOI: 10.13140/RG.2.2.19344.21769/1. –https://www.researchgate.net/publication/380669323_Comparing_dtsdPBC_with_other_stochastic_process_algebras, http://itar.iis.nsk.su/files/itar/pages/dtsdpbccmplncs.pdf
  5. Tarasyuk I.V. Combining embedding and elimination for performance analysis in stochastic process algebra dtsdPBC. –  2024. – (Preprint/ResearchGate). – DOI: 10.13140/RG.2.2.12633.33122/3. – https://www.researchgate.net/publication/381435160_Combining_embedding_and_elimination_for_performance_analysis_in_stochastic_process_algebra_dtsdPBC, http://itar.iis.nsk.su/files/itar/pages/dtsdpbcerelncs.pdf
  6. Tarasyuk I.V. Stochastic bisimulation and performance evaluation in discrete time stochastic and deterministic Petri box calculus dtsdPBC. – 2024. – (Preprint/ HAL Open Archives hal-02573419v5 (version 5). –  https://hal.science/hal-02573419v4/file/dtsdpbchal4rv.pdf , http://itar.iis.nsk.su/files/itar/pages/dtsdpbchal4rv.pdf
  7. Vasilenko N., Demin A., and Ponomaryov D. Adaptive cost model for query optimization. – 2024. – (Preprint/ Cornell University). – DOI: 10.48550/arXiv.2409.17136.
  8. Карнаухов Н.С., Першин Д.Ю., Шелехов В.И., Каблуков И.В. Язык предикатного программирования P. Версия 0.24 . – ИСИ СО РАН, Новосибирск, 2024. – 51 с. –https://persons.iis.nsk.su/files/persons/pages/plang24.pdf.
  9. Шелехов В.И., Янбулатов Д.Р., Ворожбитов Н.О., Каблуков И.В., Тумуров Э.Г. Графы в предикатном программировании. – ИСИ СО РАН, Новосибирск, 2024. – 44 с. – https://persons.iis.nsk.su/files/persons/pages/click.pdf.
  10. Шелехов В.И. Правила доказательства корректности предикатных программ. – ИСИ СО РАН, Новосибирск, 2024. – 28 с. –http://persons.iis.nsk.su/files/persons/pages/prrules.pdf.

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

  1. Свидетельство о государственной регистрации программы для ЭВМ № 2024680317 от 28 августа 2024 года. Программный комплекс для мультимодального анализа данных в области гуманитарных исследований "Фольконт"  / Е. А. Сидорова, А. А. Гриневич, Г. Б. Загорулько [и др.]; заявитель Институт систем информатики им. А.П. Ершова СО РАН.
  2. Свидетельство о государственной регистрации программы для ЭВМ № 2024668306 от 8 августа 2024 года. Программный комплекс для разработки тематических интеллектуальных научных интернет-ресурсов INIR-4ssd Software Toolkit / Ю. А. Загорулько, Г. Б. Загорулько, В. К. Шестаков, А. С. Серый; заявитель Институт систем информатики им. А.П. Ершова Сибирского отделения Российской академии наук.