1 - 7 из 7Размер страницы: 10
Сортировать по:: Год публикации
  1. 2025

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

    Григорьев, С. В., Чистякова, А. А., Шеметова, Е. Н., Нигматулин, М. В., Парфенов, Д. И. & Ахмедов, Д. Х., 29 апр 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., стр. 13-16 4 стр.

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

  3. LAMeD: LLM-generated Annotations for Memory Leak Detection

    Шеметова, Е. Н., Шенбин, И., Смирнов, И. З., Алексеев, А. М., Рухович, А., Николенко, С. И., Ломшаков, В. & Пионтковская, И., 2025, (Электронная публикация перед печатью) LAMeD: LLM-generated Annotations for Memory Leak Detection. 10 стр.

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

  4. 2024

  5. Rational Index of Languages Defined by Grammars with Bounded Dimension of Parse Trees

    Шеметова, Е. Н., Охотин, А. С. & Григорьев, С. В., 1 июн 2024, в: Theory of Computing Systems. 68, 3, стр. 487-511 25 стр.

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

  6. 2022

  7. Rational Index of Languages with Bounded Dimension of Parse Trees

    Shemetova, E., Okhotin, A. & Grigorev, S., мая 2022, Developments in Language Theory - 26th International Conference, DLT 2022, Proceedings. Diekert, V. & Volkov, M. (ред.). Springer Nature, стр. 263-273 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13257 LNCS).

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

  8. 2021

  9. One Algorithm to Evaluate Them All: Unified Linear Algebra Based Approach to Evaluate Both Regular and Context-Free Path Queries

    Shemetova, E., Azimov, R., Orachev, E., Epelbaum, I. & Grigorev, S., 26 мар 2021.

    Результаты исследований: Рабочие материалы › Препринт

  10. 2020

  11. Rational index of bounded-oscillation languages

    Shemetova, E., Okhotin, A. & Grigorev, S., 7 дек 2020.

    Результаты исследований: Рабочие материалы › Препринт

  12. 2019

  13. Интерактивный поиск неточных повторов в документации программного обеспечения

    Луцив, Д. В., Кознов, Д. В., Шелиховский, А. А., Романовский, К. Ю., Чернышев, Г. А., Григорьев, Д. А., Терехов, А. Н., Смирнова, А. Н., Боровков, Д. В., Васенина, А. И. & Шеметова, Е. Н., ноя 2019, в: ПРОГРАММИРОВАНИЕ. 6, стр. 55-66

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

ID: 39437091