1. Towards Verification Reflex Programs in the Rodin Platform

    Shabanova, M. & Garanina, N., 8 авг. 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, стр. 1490-1495 6 стр. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

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

  2. Toward the Notion of Intrinsically Linear Models in Nonlinear Regression

    Linke, Y. Y. & Borisov, I. S., 1 июл. 2019, в: Siberian Advances in Mathematics. 29, 3, стр. 210-216 7 стр.

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

  3. Toward the optimization of measurement system for tsunami warning

    Kuzakov, D., Lavrentiev, M. & Marchuk, A., 2021, OCEANS 2021: San Diego - Porto. Institute of Electrical and Electronics Engineers Inc., 4 стр. (Oceans Conference Record (IEEE); том 2021-September).

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

  4. Toward understanding the unusual reactivity of mesoporous niobium silicates in epoxidation of C = C bonds with hydrogen peroxide

    Ivanchikova, I. D., Skobelev, I. Y., Maksimchuk, N. V., Paukshtis, E. A., Shashkov, M. V. & Kholdeeva, O. A., 1 дек. 2017, в: Journal of Catalysis. 356, стр. 85-99 15 стр.

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

  5. Town book niederstatbuch as a source for Medieval Lübeck Society

    Weber, D. I. & Nosova, E. I., 1 февр. 2020, в: Vestnik Sankt-Peterburgskogo Universiteta, Istoriya. 65, 2, стр. 535-545 11 стр.

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

  6. TOXIC ELEMENTS IN NATURAL WATERS OF THE NOVOSIBIRSK URBAN AGGLOMERATION: DISTRIBUTION, BACKGROUND, ANOMALIES

    CHERNYKH, A. V., NOVIKOV, D. A., MAKSIMOVA, A. A., DULTSEV, F. F. & DERKACHEV, A. S., 2023, в: Chemistry for Sustainable Development. 31, 4, стр. 452-464 13 стр.

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

  7. TpH2 expression after neonatal dexamethasone treatment and acute or chronic stress in adulthood

    Kalinina, T., Sukhareva, E., Lanshakov, D., Bulygina, V. & Dygalo, N., 2019, в: European Neuropsychopharmacology. 29, стр. S222-S222 1 стр.

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

  8. Tpансцеллюляpный транспорт в литоральных клетках лимфоузла после имплантации никелида титана

    Горчаков, В. Н. & Логинов, А. Г., 2020, в: Международный научно-исследовательский журнал. 6-2 (96), стр. 88-92 5 стр., 16.

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

  9. Trace Balancing Technique for Trace Playback in LuNA System

    Malyshkin, V., Perepelkin, V. & Lyamin, A., 2023, Parallel Computing Technologies - 17th International Conference, PaCT 2023. Springer, стр. 42-50 9 стр.

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

  10. Trace-Based Optimization of Fragmented Programs Execution in LuNA System

    Malyshkin, V. & Perepelkin, V., 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Malyshkin, V. (ред.). Springer, стр. 3-10 8 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12942 LNCS).

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