1 - 68 out of 68Page size: 100
  1. 2025

  2. Polynomial Exact Schedulability and Infeasibility Test for Fixed-Priority Scheduling on Multiprocessor Platforms

    Garanina, N., Anureev, I. & Kondratyev, D., 20 Jan 2025, In: Applied System Innovation. 8, 1, 15.

    Research output: Contribution to journal › Article › peer-review

  3. 2024

  4. A novel approach to analyzing the evolution of SARS-CoV-2 based on visualization and clustering of large genetic data compactly represented in operative memory

    Palyanov, A. Y. & Palyanova, N. V., Dec 2024, In: Вавиловский журнал генетики и селекции. 28, 8, p. 843-853 11 p.

    Research output: Contribution to journal › Article › peer-review

  5. Observation of the Anomalous Shape of X (1840) in J/ψ →γ3 (π+π-) Indicating a Second Resonance Near p p ¯ Threshold

    BESIII Collaboration, 12 Apr 2024, In: Physical Review Letters. 132, 15, p. 151901 151901.

    Research output: Contribution to journal › Article › peer-review

  6. Acceleration Of Recombinant Viral Sequences Search By 3SEQ Algorithm Via Adding Support Of Multi-Threaded Calculations And Considering Sample Collection Dates

    Devyaterikov, A. P. & Palyanov, A. Y., Jan 2024, In: Mathematical Biology and Bioinformatics. 19, 2, p. 338-353 16 p., 6.

    Research output: Contribution to journal › Article › peer-review

  7. Соревнования по формальной верификации VeHa-2023: опыт проведения

    Старолетов, С. М., Кондратьев, Д. А., Гаранина, Н. О. & Шошмина, И. В., 2024, In: Труды Института системного программирования РАН. 36, 2, p. 141-168 28 p.

    Research output: Contribution to journal › Article › peer-review

  8. 2023

  9. On the space of SARS-CoV-2 genetic sequence variants

    Palyanov, A. Y. & Palyanova, N. V., Dec 2023, In: Vavilovskii Zhurnal Genetiki i Selektsii. 27, 7, p. 839-850 12 p.

    Research output: Contribution to journal › Article › peer-review

  10. Automata-Based Software Engineering with Event-B

    Shelekhov, V. I., Oct 2023, In: Programming and Computer Software. 49, 5, p. 470-483 14 p.

    Research output: Contribution to journal › Article › peer-review

  11. The Development of the SARS-CoV-2 Epidemic in Different Regions of Siberia in the 2020-2022 Period

    Palyanova, N. V., Sobolev, I. A., Palyanov, A. Y., Kurskaya, O. G., Komissarov, A. B., Danilenko, D. M., Fadeev, A. V. & Shestopalov, A. M., 27 Sept 2023, In: Viruses. 15, 10, 2014.

    Research output: Contribution to journal › Article › peer-review

  12. Acute ischemic stroke lesion segmentation in non-contrast CT images using 3D convolutional neural networks

    Dobshik, A. V., Verbitskiy, S. K., Pestunov, I. A., Sherman, K. M., Sinyavskiy, Y. N., Tulupov, A. A. & Berikov, V. B., Sept 2023, In: Computer Optics. 47, 5, p. 770-777 8 p.

    Research output: Contribution to journal › Article › peer-review

  13. Моделирование развивающихся систем с активными элементами

    Скопин, И. Н., 2023, In: Вычислительные технологии. 28, 1, p. 6-22 17 p., 1.

    Research output: Contribution to journal › Article › peer-review

  14. 2022

  15. Extensions to the Predicate Programming Language for Efficient Graph Processing

    Shelekhov, V., 2022, Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022. Institute of Electrical and Electronics Engineers Inc., p. 65-71 7 p. (Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  16. Влияние методов построения векторных представлений на подходы выравнивания сущностей

    Гусев, Д. И. & Апанович, З. В., 2022, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 20, 2, p. 5-17 13 p., 1.

    Research output: Contribution to journal › Article › peer-review

  17. Искусственный интеллект. Инженерия знаний

    Загорулько, Ю. А. & Загорулько, Г. Б., 2022, Москва: Юрайт. 93 p.

    Research output: Book/Report › Teaching manual › peer-review

  18. 2021

  19. International Conference «Marchuk Scientific Readings 2021» (MSR-2021)

    Mikhailov, G. A., Kabanikhin, S. I., Laevsky, Y. M., Penenko, V. V., Glinsky, B. M., Zagorulko, Y. A., Shishlenin, M. A., Podkolodnyy, N. L. & Penenko, A. V., 13 Dec 2021, In: Journal of Physics: Conference Series. 2099, 1, 011001.

    Research output: Contribution to journal › Editorial › peer-review

  20. On the Relationship Between the Complexity of Decidability and Decomposability of First-Order Theories

    Ponomaryov, D., Dec 2021, In: Lobachevskii Journal of Mathematics. 42, 12, p. 2905-2912 8 p., 24.

    Research output: Contribution to journal › Article › peer-review

  21. Factorization of Boolean Polynomials: Parallel Algorithms and Experimental Evaluation

    Emelyanov, P. G., Krishna, M., Kulkarni, V., Nandy, S. K., Ponomaryov, D. K. & Raha, S., Mar 2021, In: Programming and Computer Software. 47, 2, p. 108-118 11 p.

    Research output: Contribution to journal › Article › peer-review

  22. Preconditioning methods based on spanning tree algorithms

    Perevozkin, D. V. & Omarova, G. A., 4 Jan 2021, In: Journal of Physics: Conference Series. 1715, 1, 012005.

    Research output: Contribution to journal › Conference article › peer-review

  23. Application of the Fuzzy Model Theory for Modeling QA-Systems

    Yakhyaeva, G., Karmanova, A. & Ershov, A., 2021, In: Computing and Informatics. 40, 6, p. 1197-1216 20 p.

    Research output: Contribution to journal › Article › peer-review

  24. Development of a technology for collecting and analyzing data for monitoring based on an ontological approach

    Molorodov, Y. I. & Kasatkin, O. V., 2021, In: CEUR Workshop Proceedings. 3006, p. 212-221 10 p.

    Research output: Contribution to journal › Conference article › peer-review

  25. Modelling purposeful processes based on the geometric representation of their trajectories

    Skopin, I., 2021, In: CEUR Workshop Proceedings. 2913, p. 164-181 18 p.

    Research output: Contribution to journal › Conference article › peer-review

  26. Using mixed reality technologies to explore the exhibits of the Kuzbass Botanical Garden

    Molorodov, Y. I. & Chernyavtsev, E. D., 2021, In: CEUR Workshop Proceedings. 3006, p. 203-211 9 p.

    Research output: Contribution to journal › Conference article › peer-review

  27. Искусственный интеллект. Инженерия знаний

    Загорулько, Ю. А. & Загорулько, Г. Б., 2021, Москва: Юрайт. 93 p.

    Research output: Book/Report › Teaching manual › peer-review

  28. 2020

  29. 20 Years of Experience in Organizing and Holding of Programming Competitions at the Novosibirsk State University

    Churina, T. & Nesterenko, T., 6 Oct 2020, Selected Papers 2020 5th International Conference on the History of Computers and Informatics in the Soviet Union, Russian Federation and in the Countries of Mutual Economic Assistance Council, SoRuCom 2020. Tomilin, A. N. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 139-144 6 p. 9464935. (Selected Papers 2020 5th International Conference on the History of Computers and Informatics in the Soviet Union, Russian Federation and in the Countries of Mutual Economic Assistance Council, SoRuCom 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  30. An ontology-based approach to support formal verification of concurrent systems

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 Sept 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Springer Nature, p. 114-130 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  31. Compact Interface Method Table Layout

    Trepakov, I. & Pavlov, P., Sept 2020, Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020. Prokhorov, S. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 62-68 7 p. 9357020. (Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  32. Evaluation of thread-local garbage collection

    Filatov, A. & Mikheev, V., Sept 2020, Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020. Prokhorov, S. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 15-21 7 p. 9356994. (Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  33. The complexity of AND—decomposition of Boolean functions

    Emelyanov, P. & Ponomaryov, D., 15 Jun 2020, In: Discrete Applied Mathematics. 280, p. 113-132 20 p.

    Research output: Contribution to journal › Article › peer-review

  34. Automatic text summarization based on syntactic links

    Yerimbetova, A. S., Batura, T. V., Murzin, F. A. & Sagnayeva, S. K., 1 Jan 2020, In: CEUR Workshop Proceedings. 2570

    Research output: Contribution to journal › Conference article › peer-review

  35. Matching of authors and publications in multilingual bibliographic knowledge bases

    Apanovich, Z., 1 Jan 2020, In: CEUR Workshop Proceedings. 2543, p. 26-37 12 p.

    Research output: Contribution to journal › Conference article › peer-review

  36. Method of paradigmatic analysis of programming languages and systems

    Gorodnyaya, L., 1 Jan 2020, In: CEUR Workshop Proceedings. 2543, p. 149-158 10 p.

    Research output: Contribution to journal › Conference article › peer-review

  37. On termination of transactions over semantic document models

    Mantsivoda, A. V. & Ponomaryov, D. K., 1 Jan 2020, In: Bulletin of Irkutsk State University, Series Mathematics. 31, p. 111-131 21 p.

    Research output: Contribution to journal › Article › peer-review

  38. The expressiveness of looping terms in the semantic programming

    Goncharov, S., Ospichev, S., Ponomaryov, D. & Sviridenko, D., 2020, In: Сибирские электронные математические известия. 17, p. 380-394 15 p., 024.

    Research output: Contribution to journal › Article › peer-review

  39. Программные средства поддержки дистанционного обучения функциональному программированию

    Касьянов, В. Н. & Малышев, А. А., 2020, Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ. Касьянов, В. Н. (ed.). Новосибирск: ИПЦ НГУ, p. 1-9 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  40. 2019

  41. Parallel Factorization of Boolean Polynomials

    Kulkarni, V., Emelyanov, P., Ponomaryov, D., Krishna, M., Raha, S. & Nandy, S. K., 16 Dec 2019, (E-pub ahead of print) Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer International Publishing AG, p. 80-94 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11964 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  42. Academician Andrei Ershov and Graphs in Programming

    Kasyanov, V., Aug 2019, 2019 15th International Asian School-Seminar Optimization Problems of Complex Systems, OPCS 2019. Institute of Electrical and Electronics Engineers Inc., p. 73-77 5 p. 8880185. (2019 15th International Asian School-Seminar Optimization Problems of Complex Systems, OPCS 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  43. A formalization of document models with semantic modelling

    Mantsivoda, A. V. & Ponomaryov, D. K., 1 Jan 2019, In: Bulletin of Irkutsk State University, Series Mathematics. 27, p. 36-54 19 p.

    Research output: Contribution to journal › Article › peer-review

  44. A polynomial time delta-decomposition algorithm for positive DNFs

    Ponomaryov, D., 1 Jan 2019, Computer Science – Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Proceedings. van Bevern, R. & Kucherov, G. (eds.). Springer, p. 325-336 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11532 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  45. Quantitative Evaluation of Thread-Local Garbage Collection Efficiency for Java

    Filatov, A. Y. & Mikheev, V. V., 1 Jan 2019, In: Programming and Computer Software. 45, 1, p. 1-11 11 p.

    Research output: Contribution to journal › Article › peer-review

  46. Towards semantic document modelling of business processes

    Mantsivoda, A. V. & Ponomaryov, D. K., 1 Jan 2019, In: Bulletin of Irkutsk State University, Series Mathematics. 29, p. 52-67 16 p.

    Research output: Contribution to journal › Article › peer-review

  47. Two-Step Deductive Verification of Control Software Using Reflex

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Zyubin, V. & Gorlatch, S., 1 Jan 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer International Publishing AG, p. 50-63 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11964 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  48. 2018

  49. Visualization of graph presentations of data-flow programs

    Kasyanov, V. N. & Zolotuhin, T. A., 1 Dec 2018, p. 138-141. 4 p.

    Research output: Contribution to conference › Paper › peer-review

  50. Creation of tools and algorithms for assessing the relevance of documents

    Yerimbetova, A. S., Sagnayeva, S. K., Murzin, F. A. & Tussupov, J. A., 4 Oct 2018, RPC 2018 - Proceedings of the 3rd Russian-Pacific Conference on Computer Technology and Applications. Institute of Electrical and Electronics Engineers Inc., 8482202

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  51. Agents as a Tool for the Formation of Algorithmic Thinking of Schoolchildren

    Tikhonova, T., 28 Jun 2018, Selected Papers - 2017 4th International Conference "Computer Technology in Russia and in the Former Soviet Union", SoRuCom 2017. Krayneva & Tomilin, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 147-149 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  52. A system for visualization of big attributed hierarchical graphs

    Kasyanov, V. N. & Zolotuhin, T. A., 1 Mar 2018, In: International Journal of Computer Networks and Communications. 10, 2, p. 55-67 13 p.

    Research output: Contribution to journal › Article › peer-review

  53. Analysis and visualization algorithm for cross-language author names disambiguation

    Apanovich, Z. & Isachenko, V., 1 Jan 2018, In: CEUR Workshop Proceedings. 2277, p. 193-199 7 p.

    Research output: Contribution to journal › Conference article › peer-review

  54. Defind: a protege plugin for computing concept definitions in εL Ontologies

    Ponomaryov, D. & Yakovenko, S., 1 Jan 2018, Semantic Technology - 8th Joint International Conference, JIST 2018, Proceedings. Springer, p. 235-243 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11341 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  55. Mobile applications as tools of alternative communication, diagnostics and language development for children with language disorders

    Mozheikina, L. & Emelyanov, P., 1 Jan 2018, Social Informatics - 10th International Conference, SocInfo 2018, Proceedings. Staab, S., Koltsova, O. & Ignatov, DI. (eds.). Springer, p. 75-84 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11186 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  56. On a Polytime Factorization Algorithm for Multilinear Polynomials over F2

    Emelyanov, P. & Ponomaryov, D., 1 Jan 2018, Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Proceedings. Gerdt, VP., Koepf, W., Seiler, WM. & Vorozhtsov, EV. (eds.). Springer, p. 164-176 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11077 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  57. On the complexity of formulas in semantic programming

    Ospichev, S. & Ponomarev, D., 1 Jan 2018, In: Сибирские электронные математические известия. 15, p. 987-995 9 p.

    Research output: Contribution to journal › Article › peer-review

  58. On Two Kinds of Dataset Decomposition

    Emelyanov, P., 1 Jan 2018, Computational Science – ICCS 2018 - 18th International Conference, Proceedings. Shi, Y., Fu, H., Tian, Y., Krzhizhanovskaya, VV., Lees, MH., Dongarra, J. & Sloot, PMA. (eds.). Springer, p. 171-183 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10861 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  59. Pattern-based methodology for building the ontologies of scientific subject domains

    Zagorulko, Y., Zagorulko, G. & Borovikova, O., 1 Jan 2018, New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 17th International Conference, SoMeT 2018. Fujita, H. & Herrera-Viedma, E. (eds.). IOS Press, p. 529-542 14 p. (Frontiers in Artificial Intelligence and Applications; vol. 303).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  60. Verification of dual pivot quicksort program

    Shelekhov, V. I. & Сhushkin, M. S., 1 Jan 2018, In: CEUR Workshop Proceedings. 2260, p. 511-524 14 p.

    Research output: Contribution to journal › Conference article › peer-review

  61. 2017

  62. Methodology for the development of ontologies for thematic intelligent scientific internet resources

    Zagorulko, Y. A., Borovikova, O. I. & Zagorulko, G. B., 5 Dec 2017, RPC 2017 - Proceedings of the 2nd Russian-Pacific Conference on Computer Technology and Applications. Institute of Electrical and Electronics Engineers Inc., Vol. 2017-December. p. 194-198 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  63. Cartesian decomposition in data analysis

    Emelyanov, P. & Ponomaryov, D., 18 Oct 2017, Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017. Institute of Electrical and Electronics Engineers Inc., p. 55-60 6 p. 8071964

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  64. Classification by Compression: Application of Information-Theory Methods for the Identification of Themes of Scientific Texts

    Selivanova, I. V., Ryabko, B. Y. A. & Guskov, A. E., 1 Jun 2017, In: Automatic documentation and mathematical linguistics. 51, 3, p. 120-126 7 p.

    Research output: Contribution to journal › Article › peer-review

  65. Progression of decomposed local-effect action theories

    Ponomaryov, D. & Soutchanski, M., 1 Jun 2017, In: ACM Transactions on Computational Logic. 18, 2, 41 p., 16.

    Research output: Contribution to journal › Article › peer-review

  66. An approach to filtering prohibited content on the web

    Sidorova, E. A., Kononenko, I. S. & Zagorulko, Y. A., 1 Jan 2017, In: CEUR Workshop Proceedings. 2022, p. 64-71 8 p.

    Research output: Contribution to journal › Conference article › peer-review

  67. An approach to the construction of robust systems of interacting processes

    Skopin, I. N., 1 Jan 2017, Mathematical Research Summaries. Nova Science Publishers, Inc., Vol. 2. 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  68. Application of ontology design patterns in the development of the ontologies of scientific subject domains

    Zagorulko, Y. A., Borovikova, O. I. & Zagorulko, G. B., 1 Jan 2017, In: CEUR Workshop Proceedings. 2022, p. 258-265 8 p.

    Research output: Contribution to journal › Conference article › peer-review

  69. Early learning in parallel programming

    Skopin, I. N., 1 Jan 2017, Mathematical Research Summaries. Nova Science Publishers, Inc., Vol. 2. 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  70. Methods and tools of parallel programming

    Kasyanov, V. & Kasyanova, E., 1 Jan 2017, In: CEUR Workshop Proceedings. 1839, p. 141-154 14 p.

    Research output: Contribution to journal › Conference article › peer-review

  71. On the complexity of semantic integration of OWL ontologies

    Kazakov, Y. & Ponomaryov, D., 1 Jan 2017, In: CEUR Workshop Proceedings. 1879

    Research output: Contribution to journal › Conference article › peer-review

  72. Webometric analysis of Russian scientific and education web

    Kosyakov, D., Guskov, A. & Bykhovtsev, E., 1 Jan 2017, In: CEUR Workshop Proceedings. 1839, p. 196-207 12 p.

    Research output: Contribution to journal › Conference article › peer-review

  73. 2016

  74. Link Grammar Parser for Turkic languages and algorithms for estimation the relevance of documents

    Victorovna, B. T., Zhaksylykbayevna, T. S., Alexandrovich, M. F., Sembekovna, Y. A., Kairolliyevna, S. S. & Muratovna, B. A., 25 Jul 2016, Application of Information and Communication Technologies, AICT 2016 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., 7991663

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  75. AND–decomposition of boolean polynomials with prescribed shared variables

    Emelyanov, P., 1 Jan 2016, Algorithms and Discrete Applied Mathematics - 2nd International Conference, CALDAM 2016, Proceedings. Springer, Vol. 9602. p. 164-175 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9602).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  76. 2015

  77. Algorithmic issues of AND-decomposition of boolean formulas

    Emelyanov, P. G. & Ponomaryov, D. K., 1 May 2015, In: Programming and Computer Software. 41, 3, p. 162-169 8 p.

    Research output: Contribution to journal › Article › peer-review

  78. 2014

  79. Path Reconstruction in the Barning–Hall Tree

    Emelyanov, P. G., Oct 2014, In: Journal of Mathematical Sciences (United States). 202, 1, p. 72-79 8 p.

    Research output: Contribution to journal › Article › peer-review

  80. 2013

  81. Программный комплекс ПРОСТОР для моделирования и прогнозирования опорной транспортной сети России

    Малов, В. Ю., Бульонков, М. А., Филаткина, Н. Н. & Марусин, В. В., 20 Jun 2013, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2013614125, Priority date 12 Mar 2013, Priority No. 2013611781

    Research output: Patent › Software registration

ID: 3089109