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

  2. FastMatrixCFPQ: an efficient linear-algebra-based approach to CFL-reachability

    Muravev, I. & Grigorev, S., 21 мая 2026, (Электронная публикация перед печатью) в: International Journal on Software Tools for Technology Transfer.

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

  3. 2025

  4. Universal High-Performance CFL-Reachability via Matrix Multiplication

    Муравьев, И. В. & Григорьев, С. В., 13 июн 2025, SOAP '25: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. Association for Computing Machinery, стр. 28-35 8 стр.

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

ID: 61475735