401 - 410 out of 1,182Page size: 10
  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 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 proceeding › Conference contribution › Research › peer-review

  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 Jan 2019, In: Physical Review D. 99, 1, 32 p., 012001.

    Research output: Contribution to journal › Article › peer-review

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

    The BELLE collaboration, 4 Jan 2019, In: Physical Review Letters. 122, 1, 8 p., 011801.

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

  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 Jan 2019, In: Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. 788, p. 96-116 21 p.

    Research output: Contribution to journal › Article › peer-review

  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 Jan 2019, In: Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. 788, p. 347-370 24 p.

    Research output: Contribution to journal › Article › peer-review

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

    Grozin, A., 16 Jan 2019, In: Journal of High Energy Physics. 1, 2 p., 134.

    Research output: Contribution to journal › Article › peer-review

  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 Jan 2019, In: Journal of Physics: Conference Series. 1147, 1, 15 p., 012020.

    Research output: Contribution to journal › Conference article › peer-review

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

    The BELLE collaboration, 18 Jan 2019, In: Physical Review D. 99, 1, 7 p., 011102.

    Research output: Contribution to journal › Article › peer-review

  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 Jan 2019, In: Journal of Physics: Conference Series. 1147, 1, 8 p., 012038.

    Research output: Contribution to journal › Conference article › peer-review

Previous 1...37 38 39 40 41 42 43 44 ...119 Next

ID: 3081178