1. 2019
  2. Two-Step Deductive Verification of Control Software Using Reflex

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Zyubin, V. & Gorlatch, S., 1 янв. 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 50-63 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  3. Search for long-lived particles in final states with displaced dimuon vertices in pp collisions at s =13 TeV with the ATLAS detector

    The ATLAS collaboration, Балдин, Е. М., Бобровников, В. С., Бузыкаев, А. Р., Масленников, А. Л., Пелеганчук, С. В., Талышев, А. А., Тихонов, Ю. А. & Bogdanchikov, A. G., 3 янв. 2019, в: Physical Review D. 99, 1, 32 стр., 012001.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  4. Search for a Light CP -odd Higgs Boson and Low-Mass Dark Matter at the Belle Experiment

    Belle Collaboration, 4 янв. 2019, в: Physical Review Letters. 122, 1, 8 стр., 011801.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  5. Precise measurement of Ruds and R between 1.84 and 3.72 GeV at the KEDR detector

    KEDR Collaboration, Сухарев, А. М., Масленников, А. Л., Кудрявцев, В. Н., Максимов, Д. А., Масленников, А. Л., Николаев, И. Б., Онучин, А. П., Осипов, А. А., Пелеганчук, С. В., Резанова, О. Л., Рубан, А. А., Шварц, Б. А., Талышев, А. А., Тихонов, Ю. А. & Zhuravlev, A. N., 10 янв. 2019, в: Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. 788, стр. 42-51 10 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  6. Search for heavy charged long-lived particles in proton–proton collisions at s=13TeV using an ionisation measurement with the ATLAS detector

    The ATLAS collaboration, 10 янв. 2019, в: Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. 788, стр. 96-116 21 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  7. Search for vector-boson resonances decaying to a top quark and bottom quark in the lepton plus jets final state in pp collisions at s=13 TeV with the ATLAS detector

    The ATLAS collaboration, 10 янв. 2019, в: Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. 788, стр. 347-370 24 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  8. Addendum to: Four-loop cusp anomalous dimension in QED (vol 2019, 073, 2018)

    Grozin, A., 16 янв. 2019, в: Journal of High Energy Physics. 1, 2 стр., 134.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  9. Dynamic registration of ejection from shock-loaded metals

    Ten, K. A., Pruuel, E. R., Kashkarov, A. O., Rubtsov, I. A., Antipov, M. V., Georgievskaya, A. B., Mikhailov, A. L., Spirin, I. A., Shekhtman, L. I., Zhulanov, V. V. & Tolochko, B. P., 18 янв. 2019, в: Journal of Physics: Conference Series. 1147, 1, 15 стр., 012020.

    Результаты исследований: Научные публикации в периодических изданияхстатья по материалам конференцииРецензирование

  10. Measurement of time-dependent CP violation in B0 → KS0 π0π0 decays

    Belle Collaboration, 18 янв. 2019, в: Physical Review D. 99, 1, 7 стр., 011102.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  11. Methods to restore the dynamics of carbon condensation during the detonation of high explosives

    Rubtsov, I. A., Ten, K. A., Pruuel, E. R., Kashkarov, A. O., Kremenko, S. I., Voronin, M. S., Shekhtman, L. I., Zhulanov, V. V. & Tolochko, B. P., 18 янв. 2019, в: Journal of Physics: Conference Series. 1147, 1, 8 стр., 012038.

    Результаты исследований: Научные публикации в периодических изданияхстатья по материалам конференцииРецензирование

ID: 3081178