1. 2019
  2. Model-driven methods to design of reliable multiagent cyber-physical systems

    Staroletov, S., Shilov, N., Zyubin, V., Liakh, T., Rozov, A., Konyukhov, I., Shilov, I., Baar, T. & Schulte, H., 1 Jan 2019, In: CEUR Workshop Proceedings. 2478, p. 74-91 18 p.

    Research output: Contribution to journalConference articlepeer-review

  3. Radiative decays at LHCb

    Krokovny, P., 1 Jan 2019, In: Proceedings of Science. 377, 020.

    Research output: Contribution to journalConference articlepeer-review

  4. Recent results of the hadronic cross section measurements with the CMD-3 detector at e+e- collider VEPP-2000

    CMD-3 Collaboration, 1 Jan 2019. 6 p.

    Research output: Contribution to conferencePaperpeer-review

  5. Search for heavy Majorana or Dirac neutrinos and right-handed W gauge bosons in final states with two charged leptons and two jets at √s=13 TeV with the ATLAS detector

    The ATLAS collaboration, Максимов, Д. А., Подберёзко, П. С., Резанова, О. Л., Сухарев, А. М., Казанин, В. Ф. & Bogdanchikov, A. G., 1 Jan 2019, In: Journal of High Energy Physics. 2019, 1, 45 p., 16.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

    SND Collaboration, 2019. 7 p.

    Research output: Contribution to conferencePaperpeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

  15. 2018
  16. 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

  17. First Evidence for cos2β>0 and Resolution of the Cabibbo-Kobayashi-Maskawa Quark-Mixing Unitarity Triangle Ambiguity

    <i>B<span class="sc">a</span>B<span class="sc">ar</span></i> Collaboration, 26 Dec 2018, In: Physical Review Letters. 121, 26, 11 p., 261801.

    Research output: Contribution to journalArticlepeer-review

  18. Measurement of cos2β in B0 →d (∗)h0 with D → KS0 π+π- decays by a combined time-dependent Dalitz plot analysis of B a B ar and Belle data

    <i>B<span class="sc">a</span>B<span class="sc">ar</span></i> Collaboration, 26 Dec 2018, In: Physical Review D. 98, 11, 29 p., 112012.

    Research output: Contribution to journalArticlepeer-review

  19. Collider experiment SND and Precision Physics with hadronic e+e- cross sections

    Kharlamov, A. G., Achasov, M. N., Aulchenko, V. M., Yu Barnyakov, A., Beloborodov, K. I., Berdyugin, A. V., Berkaev, D. E., Bogdanchikov, A. G., Botov, A. A., Druzhinin, V. P., Golubev, V. B., Kardapoltsev, L. V., Kasaev, A. S., Kirpotin, A. N., Koop, I. A., Korneev, L. A., Korol, A. A., Koshuba, S. V., Kovrizhin, D. P., Kupich, A. S., & 19 othersLitvinov, R. A., Martin, K. A., Melnikova, N. A., Yu Muchnoi, N., Obrazovsky, A. E., Pakhtusova, E. V., Pugachev, K. V., Rogovsky, Y. A., Rogozina, E., Serednyakov, S. I., Senchenko, A. I., Shtol, D. A., Shwartz, D. B., Silagadze, Z. K., Surin, I. K., Usov, Y. V., Vasiljev, A. V., Zhabin, V. N. & Dimova, T. V., 21 Dec 2018, In: Journal of Physics: Conference Series. 1138, 1, 012016.

    Research output: Contribution to journalConference articlepeer-review

  20. Search for pair and single production of vectorlike quarks in final states with at least one Z boson decaying into a pair of electrons or muons in pp collision data collected with the ATLAS detector at s =13 TeV

    The ATLAS collaboration, 20 Dec 2018, In: Physical Review D. 98, 11, 53 p., 112010.

    Research output: Contribution to journalArticlepeer-review

  21. Measurement of the branching fraction and time-dependent CP asymmetry for B0 →j /ψπ0 decays

    The BELLE collaboration, 19 Dec 2018, In: Physical Review D. 98, 11, 8 p., 112008.

    Research output: Contribution to journalArticlepeer-review

  22. Measurement of the decays Λc → Σππ at Belle

    The BELLE collaboration, 17 Dec 2018, In: Physical Review D. 98, 11, 10 p., 112006.

    Research output: Contribution to journalArticlepeer-review

ID: 3081178