1 - 3 out of 3Page size: 10
  1. 2025

  2. PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine

    Григорьев, С. В., Чистякова, А. А., Шеметова, Е. Н., Нигматулин, М. В., Парфенов, Д. И. & Ахмедов, Д. Х., 29 Apr 2025, 2025 IEEE/ACM 1st International Workshop on Advancing Static Analysis for Researchers and Industry Practitioners in Software Engineering (STATIC). Institute of Electrical and Electronics Engineers Inc., p. 13-16 4 p.

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

  3. 2022

  4. Программа для анализа поведения danio rerio с помощью компьютерного зрения

    Нигматулин, М. В., 4 Jul 2022, Patent No. 2022662453, 9 Jun 2022

    Research output: Patenting and IP registration › Certificate of registration

  5. 2021

  6. Программа для определения контура микрораны с помощью компьютерного зрения

    Каплун, Д., Синица, А., Нигматулин, М. В. & Ефимчик, Н., 2 Nov 2021, Patent No. 2021667717, 29 Oct 2021

    Research output: Patenting and IP registration › Certificate of registration

ID: 97965034