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

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

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

    Research output: PatentSoftware registration

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

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

  6. Ternary Kulakov Algebras With an Elementary Identity

    Neshchadim, M. V. & Simonov, A. A., 6 Aug 2025, In: Siberian Advances in Mathematics. 35, 2, p. 156-166 11 p.

    Research output: Contribution to journalArticlepeer-review

  7. The Structure of the Characteristic Polynomial of the Laplacian Matrix for a Circulant Graph with Non-Fixed Jumps

    Mednykh, A. D., Mednykh, I. A. & Sokolova, G. K., 6 Aug 2025, In: Siberian Advances in Mathematics. 35, 2, p. 146-155 10 p.

    Research output: Contribution to journalArticlepeer-review

  8. Visible-Light-Driven Degradation of Biological Contaminants on the Surface of Textile Fabric Modified with TiO2-N Photocatalyst

    Solovyeva, M., Zhuravlev, E., Kozlova, Y., Bardasheva, A., Morozova, V., Stepanov, G., Kozlov, D., Lyulyukin, M. & Selishchev, D., 5 Aug 2025, In: International Journal of Molecular Sciences. 26, 15, 7550.

    Research output: Contribution to journalArticlepeer-review

  9. STEFFEN’S FLEXIBLE POLYHEDRON IS EMBEDDED. A PROOF VIA SYMBOLIC COMPUTATIONS

    Александров, В. А. & Волокитин, Е. П., 4 Aug 2025, In: Journal for Geometry and Graphics. 29, 1, 9 p.

    Research output: Contribution to journalArticlepeer-review

  10. The Early Cambrian Microfossils and Trace Fossils from Southwestern Belarus (Kobrin-1k Borehole)

    Golubkova, E. Y., Marusin, V. V., Kushim, E. A., Raevskaya, E. G. & Kuznetsov, A. B., 2 Aug 2025, In: Doklady Earth Sciences. 524, 1, 7 p., 7.

    Research output: Contribution to journalArticlepeer-review

  11. Two-jet Plasma Optical Emission Spectrometry Determination of Boron in Animals’ Tissues and Biodistribution After Administration of Boron Nanoparticles

    Guselnikova, T. Y., Lepeshonkova, Y. V., Tsygankova, A. R., Khaptakhanova, P. A., Uspenskii, S. A., Solovieva, O. I., Rasumov, I. A., Volzhenin, A. V. & Kanygin, V. V., 2 Aug 2025, In: Atomic Spectroscopy. 46, 4, p. 391-398 8 p., 8.

    Research output: Contribution to journalArticlepeer-review

  12. Structural Features of Nucleoproteins from the Recently Discovered Orthonairovirus songlingense and Norwavirus beijiense

    Yanshin, A. O., Ivkina, D. I., Tuyrin, V. Y., Osinkina, I. A., Tishin, A. E., Olkin, S. E., Ukladov, E. O., Radchenko, N. S., Arkhipov, S. G., Ryzhykau, Y. L., Li, N., Agafonov, A. P., Imatdinov, I. R. & Gladysheva, A. V., 1 Aug 2025, In: International Journal of Molecular Sciences. 26, 15, 7445.

    Research output: Contribution to journalArticlepeer-review

  13. Study of the influence of moderator material on sensitivity of the epithermal neutron flux detector using the 71Ga(n,γ)72Ga reaction

    Byambatseren, E., Bykov, T., Kasatov, D., Kolesnikov, I., Savinov, S., Shein, T. & Taskaev, S., 1 Aug 2025, In: Applied Radiation and Isotopes. 222, p. 111844 111844.

    Research output: Contribution to journalArticlepeer-review

  14. Additive Manufacturing of Ti64–WC Coating Using Fiber and CO2 Lasers

    Golyshev, A. A., Malikov, A. G., Gertsel, I. S., Vitoshkin, I. E. & Gulov, M. A., Aug 2025, In: JOM. 77, 8, p. 6061-6070 10 p., 26.

    Research output: Contribution to journalArticlepeer-review

  15. Analysis of the Spectrum of the mtDNA Haplogroups in Patients with Hearing Loss Carrying the Likely Pathogenic Ultra-Rare m.1494C>T Variant in the MT-RNR1 Gene

    Borisova, T. V., Cherdonova, A. M., Pshennikova, V. G., Teryutin, F. M., Morozov, I. V., Bondar, A. A., Baturina, O. A., Kabilov, M. R., Romanov, G. P., Solovyev, A. V., Fedorova, S. A. & Barashkov, N. A., Aug 2025, In: Russian Journal of Genetics. 61, 8, p. 974-986 13 p., 9.

    Research output: Contribution to journalArticlepeer-review

  16. A Phenol-Free Method for the Robust Isolation of the Double-Stranded RNA Produced in the E. coli HT115 Strain

    Ivanov, A. A. & Golubeva, T. S., Aug 2025, In: Russian Journal of Bioorganic Chemistry. 51, 4, p. 1521-1528 8 p., 8.

    Research output: Contribution to journalArticlepeer-review

  17. Asymptotic potential of a rose-shaped disk

    Sagaydak, A. E. & Silagadze, Z. K., Aug 2025, In: Journal of Electrostatics. 136, 5 p., 104099.

    Research output: Contribution to journalArticlepeer-review

  18. Elementary atoms in spaces of constant curvature by the Nikiforov–Uvarov method

    Alizzi, A. E., Sagaydak, A. E. & Silagadze, Z. K., Aug 2025, In: Annals of Physics. 479, 170066.

    Research output: Contribution to journalArticlepeer-review

  19. Magnetic Properties of the Iron-Doped LiBa12(BO3)7F4 Fluoroborate (LBBF)

    Korotaev, E. V., Bekker, T. B., Davydov, A. V., Miroshnichenko, L. V. & Fedorenko, A. D., Aug 2025, In: Journal of Structural Chemistry. 66, 8, p. 1743-1765 23 p., 19.

    Research output: Contribution to journalArticlepeer-review

  20. Maximum spreading-based method for determining the pre-rebounding sliding length of a water droplet after impact on an inclined superhydrophobic textured surface

    Verkhodanov, D., Piskunova, A., Piskunov, M., Vozhakov, I., Safonov, A., Starinskiy, S. V. & Smirnov, N., Aug 2025, In: International Journal of Multiphase Flow. 189, 105257.

    Research output: Contribution to journalArticlepeer-review

  21. Novel multitarget LAMP and PCR assays for the detection of Bordetella species

    Koryukov, M. A., Oscorbin, I. P., Gordukova, M. A., Turina, I. E., Aminova, A. I. & Filipenko, M. L., Aug 2025, In: Methods. 240, p. 63-72 10 p.

    Research output: Contribution to journalArticlepeer-review