1. 2025
  2. Structural Transformation of Bi2Se3(001) Surface during Sn Monolayer Annealing

    Zakhozhev, K., Ponomarev, S., Golyashov, V., Nasimov, D., Kokh, K. & Rogilo, D., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 80-83 4 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  3. Study of the influence of population immunity to tick-borne encephalitis virus on the characteristics of the epidemic process in Russia

    Muminov, T. K., Gushchin, V. A., Kleymenov, D. A., Tkachuk, A. P., Manuylov, V. A., Siniavin, A. E., Ogarkova, D. A., Kuznetsova, N. A., Zlobin, V. I. & Gintsburg, A. L., 8 Aug 2025, In: Frontiers in Immunology. 16, p. 1525388 12 p.

    Research output: Contribution to journalArticlepeer-review

  4. Towards Verification Reflex Programs in the Rodin Platform

    Shabanova, M. & Garanina, N., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1490-1495 6 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  5. Using Algorithmic Complexity Metrics for Process-Oriented Specifications

    Abramenko, A. & Zyubin, V., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1430-1434 5 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  6. Using Machine Learning Methods to Search for EEG and Genetic Markers of Depressive Disorder

    Zorina, K., Kriveckiy, A., Klemeshova, D., Bocharov, A. & Karmanov, V., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1790-1793 4 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  7. Validation of the Russian Version of the Broad Autism Phenotype Questionnaire in a Russian Speaking Sample of Neurotypical Subjects

    Kuleshov, D., Vlasov, M. & Vergunov, E., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1770-1773 4 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  8. Verification Condition Generator for Revised Reflex Language Using Isabelle/HOL

    Ищенко, А. Д. & Ануреев, И. С., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1440-1445 6 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  9. Программа-рискометр на языке C для определения риска возникновения фибрилляции предсердий у больных ишемической болезнью сердца

    Ложкина, Н. Г., Кудлай, Д. А., Кузин, С. В., Артеменко, С. Н. & Ложкин, П. П., 8 Aug 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2025680759, 27 Jun 2025, Priority date 27 Jun 2025, Priority No. 2025668941

    Research output: PatentSoftware registration

  10. EPR spectroscopy in the study of ribosomal complexes

    Krumkacheva, O., Malygin, A., Graifer, D., Kolokolov, M. & Bagryanskaya, E., 6 Aug 2025, In: Biophysical Reviews.

    Research output: Contribution to journalReview articlepeer-review

  11. Mittag-Leffler Restoration Formula for Discrete Analytic Functions

    Danilov, O. A., Lu, X., Liu, L. & Lu, X., 6 Aug 2025, In: Siberian Advances in Mathematics. 35, 2, p. 99-112 14 p.

    Research output: Contribution to journalArticlepeer-review