61 - 68 out of 68Page size: 10
  1. 2023

  2. 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

  3. 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

  4. 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

  5. 2024

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

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

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

  7. 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

  8. 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

  9. 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

  10. 2025

  11. 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

Previous 1...3 4 5 6 7 Next

ID: 3089109