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

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

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

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

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

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

    Research output: PatentSoftware registration

  7. Evolution of Accelerator Based Neutron Source VITA

    Bikchurina, M. I., Bykov, T. A., Verkhovod, G. D., Degtyarev, V. S., Kasatov, D. A., Kashcheev, A. A., Kolesnikov, Y. A., Konovalova, V. D., Koshkarev, A. M., Kuznetsov, A. S., Ostreinov, G. M., Savinov, S. S., Singatulina, N. S., Sokolova, E. A., Soldatov, A. E., Sorokin, I. N., Shein, T. V., Shuklina, A. A., Shchudlo, I. M. & Taskaev, S. Y., 11 Aug 2025, In: Physics of Particles and Nuclei Letters. 22, 4, p. 807-810 4 p.

    Research output: Contribution to journalArticlepeer-review

  8. Fitness Landscapes of Buffer Allocation Problem in Production Lines and Genetic Algorithms Performance

    Dolgui, A., Eremeev, A. & Sigaev, V., 11 Aug 2025, GECCO 2025 Companion - Proceedings of the 2025 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, p. 27-28 2 p. (GECCO 2025 Companion - Proceedings of the 2025 Genetic and Evolutionary Computation Conference Companion).

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

  9. High Energy Electron Cooling System for the NICA Collider

    Reva, V. B., Batrakov, A. M., Belikov, O. V., Bekhtenev, E. A., Bryzgunov, M. I., Bubley, A. V., Vakhrushev, R. V., Goncharov, A. D., Gorchakov, K. M., Gusev, I. A., Denisov, A. P., Ivanov, A. V., Zharikov, A. A., Karpov, G. V., Kondaurov, M. N., Konstantinov, V. M., Korchagin, V. Y., Kremnev, V. I., Kremnev, N. S., Muratkoziev, P. E., & 18 othersPavlenko, A. V., Panasyuk, V. M., Parkhomchuk, V. V., Petrozhitskiy, A. V., Polukhin, V. A., Pospolita, L. S., Pospolita, S. P., Pureskin, D. N., Put’makov, A. A., Ruvinsky, S. I., Sen’kov, D. V., Skorobogatov, D. N., Urazov, E. R., Chekavinskiy, V. A., Cheskidov, V. G., Shiyankov, S. V., Shtro, K. S. & Schegolev, L. M., 11 Aug 2025, In: Physics of Particles and Nuclei Letters. 22, 4, p. 769-774 6 p.

    Research output: Contribution to journalArticlepeer-review

  10. Influence of Space Charge Waves on Measurements with Pickups

    Urazov, E. R., Bekhtenev, E. A., Bryzgunov, M. I., Parkhomchuk, V. V. & Reva, V. B., 11 Aug 2025, In: Physics of Particles and Nuclei Letters. 22, 4, p. 825-827 3 p.

    Research output: Contribution to journalArticlepeer-review

  11. Longitudinal Phase Space Tomography at NICA Booster Electron Cooling Experiments

    Urazov, E. R., Bryzgunov, M. I., Parkhomchuk, V. V. & Reva, V. B., 11 Aug 2025, In: Physics of Particles and Nuclei Letters. 22, 4, p. 821-824 4 p.

    Research output: Contribution to journalArticlepeer-review