1. 2019
  2. Object-Oriented Requirements: Reusable, Understandable, Verifiable

    Naumchev, A., 8 Oct 2019, Object-Oriented Requirements: Reusable, Understandable, Verifiable. p. 150-162 13 p. Chapter 12. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11771 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

  3. Search for pair production of vectorlike quarks in the fully hadronic final state

    The CMS collaboration & Сковпень, Ю. И., 8 Oct 2019, In: Physical Review D. 100, 7, 072001.

    Research output: Contribution to journalArticlepeer-review

  4. Towards an Anatomy of Software Requirements

    Meyer, B., Bruel, J-M., Ebersold, S., Galinier, F. & Naumchev, A., 8 Oct 2019, Towards an Anatomy of Software Requirements. p. 10-40 31 p. Chapter 2. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11771 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

  5. VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)

    Naumchev, A., Sadovykh, A. & Ivanov, V., 8 Oct 2019, VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). Springer, p. 351-363 13 p. 30. (Software Technology: Methods and Tools; vol. 11771).

    Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

  6. Малогабаритный датчик угловых координат Солнца

    Пелемешко, А. В., Задорожный, А. М., Мелков, А. В., Часовских, В. В., Колесникова, А. Ю. & Баканов, С. С., 8 Oct 2019, IPC No. G01C21/24, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 192954, Priority date 1 Jul 2019, Priority No. 2019120776

    Research output: PatentPatent for utility model

  7. Стенд для ударных испытаний при воздействии горизонтальных нагрузок

    Брагин, О. А., Гореликов, Е. Ю., Пелемешко, А. В. & Прокопьев, В. Ю., 8 Oct 2019, IPC No. G01M7/08, G01N3/32, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 192945, Priority date 1 Jul 2019, Priority No. 2019120775

    Research output: PatentPatent for utility model

  8. Способ инактивации лекарственно чувствительных и лекарственно устойчивых штаммов Mycobacterium tuberculosis в экспериментальных условиях in vitro

    Никонов, С. Д., Бредихин, Д. А., Чередниченко, А. Г. & Петренко, Т. И., 9 Oct 2019, IPC No. A61N5/067, A61P31/06, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2702646, Priority date 20 Dec 2018, Priority No. 2018145230

    Research output: PatentPatent for invention

  9. Evidence for light-by-light scattering and searches for axion-like particles in ultraperipheral PbPb collisions at sNN=5.02TeV

    The CMS collaboration, Блинов, В. Е. & Сковпень, Ю. И., 10 Oct 2019, In: Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. 797, 27 p., 134826.

    Research output: Contribution to journalArticlepeer-review

  10. Excitation of the low-energy Th 229m isomer in the electron bridge process via the continuum

    Borisyuk, P. V., Kolachevsky, N. N., Taichenachev, A. V., Tkalya, E. V., Tolstikhina, I. Y. & Yudin, V. I., 10 Oct 2019, In: Physical Review C. 100, 4, 044306.

    Research output: Contribution to journalArticlepeer-review

  11. Measurement of the CP-violating phase ϕs from Bs 0→J/ψπ+π decays in 13 TeV pp collisions

    The LHCb Collaboration, 10 Oct 2019, In: Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. 797, 12 p., 134789.

    Research output: Contribution to journalArticlepeer-review