31 - 40 out of 1,182Page size: 10
Sort by: Title

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

  2. Two-particle Bose–Einstein correlations in pp collisions at √s=13 TeV measured with the ATLAS detector at the LHC

    The ATLAS collaboration, Jul 2022, In: European Physical Journal C. 82, 7, 608.

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

  3. Two-particle azimuthal correlations in photonuclear ultraperipheral Pb+Pb collisions at 5.02 TeV with ATLAS

    The ATLAS collaboration & Bogdanchikov, A. G., Jul 2021, In: Physical Review C. 104, 1, 014903.

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

  4. Tunka Advanced Instrument for cosmic rays and Gamma Astronomy (TAIGA): Status, results and perspectives

    Kuzmichev, L., Astapov, I., Bezyazeekov, P., Boreyko, V., Borodin, A., Brückner, M., Budnev, N., Chiavassa, A., Gress, O., Gress, T., Grishin, O., Dyachok, A., Epimakhov, S., Fedorov, O., Gafarov, A., Grebenyuk, V., Grinyuk, A., Haungs, A., Horns, D., Huege, T., & 57 othersIvanova, A., Jurov, D., Kalmykov, N., Kazarina, Y., Kindin, V., Kiryuhin, V., Kokoulin, R., Kompaniets, K., Korosteleva, E., Kostunin, D., Kozhin, V., Kravchenko, E., Kunnas, M., Lenok, V., Lubsandorzhiev, B., Lubsandorzhiev, N., Mirgazov, R., Mirzoyan, R., Monkhoev, R., Nachtigal, R., Osipova, E., Pakharukov, A., Panasyuk, M., Pankov, L., Petrukhin, A., Poleschuk, V., Popesku, M., Popova, E., Porelli, A., Postnikov, E., Prosin, V., Ptuskin, V., Pushnin, A., Rubtsov, G., Ryabov, E., Sagan, Y., Samoliga, V., Schröder, F. G., Semeney, Y., Silaev, A., Silaev, A., Sidorenko, A., Skurikhin, A., Slunecka, V., Sokolov, A., Spiering, C., Sveshnikova, L., Sulakov, V., Tabolenko, V., Tarashansky, B., Tkachenko, A., Tkachev, L., Tluczykont, M., Wischnewski, R., Zagorodnikov, A., Zurbanov, V. & Yashin, I., 26 Jun 2017, ISVHECRI 2016 - 19th International Symposium on Very High Energy Cosmic Ray Interactions. EDP Sciences, Vol. 145. 01001

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  5. Trigger slow control system of the Belle II experiment

    Kim, C. H., Unno, Y., Cho, H. E., Cheon, B. G., Kim, S. H., Lee, I. S., Jang, E. J., Choi, S. K., Kim, Y. J., Ahn, J. K., Remnev, M., Kuzmin, A., Koga, T., Lai, Y. T., Iwasaki, Y., Nakazawa, H., Liventsev, D., Nakao, M., Yamada, S., Itoh, R., & 5 othersKonno, T., Park, S. H., Kwon, Y. J., Hartbrich, O. & Ritzert, M., 21 Oct 2021, In: Nuclear Instruments and Methods in Physics Research, Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. 1014, 165748.

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

  6. Transverse momentum dependent production cross sections of charged pions, kaons and protons produced in inclusive e+e- annihilation at s =10.58 GeV

    The BELLE collaboration, 14 Jun 2019, In: Physical Review D. 99, 11, 15 p., 112006.

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

  7. Transverse momentum and process dependent azimuthal anisotropies in √sNN=8.16 TeV p+Pb collisions with the ATLAS detector

    The ATLAS collaboration, Бузыкаев, А. Р. & Bogdanchikov, A. G., 30 Jan 2020, In: European Physical Journal C. 80, 1, 31 p., 73.

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

  8. Towards safe embedded systems: Industrialc translational semantics for avr microcontrollers∗

    Rozov, A., Anureev, I., Garanina, N., Liakh, T. & Zyubin, V., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 857-861 5 p. 8958258. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  9. Towards safe cyber-physical systems: The reflex language and its transformational semantics

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Schulte, H. & Zyubin, V., Apr 2019, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Stukach, O. (ed.). Institute of Electrical and Electronics Engineers Inc., 6 p. 8729633. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  10. Towards mass composition study with KASCADE using deep neural networks

    Kuznetsov, M., Petrov, N., Plokhikh, I. & Sotnikov, V., 14 Dec 2023, In: Proceedings of Science. 423, 8 p., 092.

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

Previous 1 2 3 4 5 6 7 8 ...119 Next

ID: 3081178