1. 2019
  2. Search for pair production of Higgs bosons in the bb¯ bb¯ final state using proton-proton collisions at √s=13 TeV with the ATLAS detector

    The CMS collaboration, 1 Jan 2019, In: Journal of High Energy Physics. 2019, 1, 49 p., 30.

    Research output: Contribution to journalArticlepeer-review

  3. 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 proceedingConference contributionResearchpeer-review

  4. Intermediate dynamics of the four pions production in e+e annihilation and tau decay processes

    CMD-3 Collaboration, 2019, In: Proceedings of Science. 364, 525.

    Research output: Contribution to journalConference articlepeer-review

  5. Study of e+e annihilation into hadrons with the SND detector at the VEPP-2000 collider

    Druzhinin, V. P., Achasov, M. N., Barnyakov, A. Y., Baykov, A. A., Beloborodov, K. I., Berdyugin, A. V., Bogdanchikov, A. G., Botov, A. A., Dimova, T. V., Golubev, V. B., Kardapoltsev, L. V., Kharlamov, A. G., Korol, A. A., Kovrizhin, D. P., Kupich, A. S., Litvinov, R. A., Martin, K. A., Melnikova, N. A., Obrazovsky, A. E., Pakhtusova, E. V., & 7 othersPugachev, K. V., Serednyakov, S. I., Shtol, D. A., Silagadze, Z. K., Surin, I. K., Usov, Y. V. & Zabin, V. N., 2019, In: Proceedings of Science. 364, 509.

    Research output: Contribution to journalConference articlepeer-review

  6. Study of e+e- annihilation to hadrons at the VEPP-2000 collider

    SND Collaboration, 2019. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  7. Алгоритм предобработки сигнала импульсного нейтронного гамма-каротажа с учетом статистической зависимости соседних элементов спектра

    Косогова, Н. О. & Власов, А. А., 2019, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 1, p. 42-52 11 p.

    Research output: Contribution to journalArticlepeer-review

  8. Методика автоматического тестирования развивающегося веб-приложения

    Ткачев, А. В. & Иртегов, Д. В., 2019, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 3, p. 93-110 18 p.

    Research output: Contribution to journalArticlepeer-review

  9. Разработка программных средств прозрачного удаленного доступа к технологическим параметрам бурения и данным скважинной телеметрической системы в условиях нестабильной связи

    Литвинов, В. С., Власов, А. А. & Teitelbaum, D. V., 2019, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 2, p. 101-113 13 p.

    Research output: Contribution to journalArticlepeer-review

  10. Системы автоматизированной оценки заданий по программированию: разработка, использование и перспективы

    Иртегов, Д. В., Нестеренко, Т. В. & Чурина, Т. Г., 2019, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 2, p. 61-73 13 p.

    Research output: Contribution to journalArticlepeer-review

  11. 2018
  12. Search for the rare decay of B+ →+νγ with improved hadronic tagging

    The BELLE collaboration, 28 Dec 2018, In: Physical Review D. 98, 11, 13 p., 112016.

    Research output: Contribution to journalArticlepeer-review

ID: 3081178