Публикации

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

Монографии

  1. Городняя Л.В. Гуманитарные аспекты программирования  Новосибирск: Наука. – 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.