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

    Muravev, I. & Grigorev, S., 21 May 2026, (E-pub ahead of print) In: International Journal on Software Tools for Technology Transfer.

    Research output: Contribution to journalArticlepeer-review

  3. Multi-task Deep Convolutional Neural Network Based on YOLOv11 for Tomato Fruit Ripening Detection

    Wang, Q., Fu, G. & Li, Z., 2026, Proceedings of the Ninth International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’25), Volume 2 . Springer Nature, p. 144-154 11 p. (Lecture Notes in Networks and Systems; vol. 1763 LNNS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  4. 2025
  5. Система для управления роем роботов одним пультом

    Амелин, К. С., Архипов, И. С., Граничин, О. Н., Киселев, В. А. & Чернов, А. О., 4 Sep 2025, In: МЕХАТРОНИКА, АВТОМАТИЗАЦИЯ, УПРАВЛЕНИЕ. 26, 9, p. 471-479 9 p.

    Research output: Contribution to journalArticlepeer-review

  6. Ускоренный протокол локального голосования для группы роботов с одним пультом дистанционного управления

    Архипов, И. С., Ерофеева, В. А., Граничин, О. Н., Киселев, В. А. & Чернов, А. О., 19 Aug 2025, In: Труды СПИИРАН. 24, 4, p. 1029-1058 30 p.

    Research output: Contribution to journalArticlepeer-review

  7. Desbordante: from benchmarking suite to high-performance science-intensive data profiler

    Чернышев, Г. А., Полынцов, М. А., Чижов, А. И., Ступаков, К. В., Щукин, И. В., Смирнов, А., Струтовский, М. А., Шлёнских, А. А., Фирсов, М. А., Мананников, С. Д., Бобров, Н., Гончаров, Д. Ю., Баруткин, И. Д., Якшигулов, В. Н., Шальнев, В. А., Муравьев, К. И., Рахмукова, А. И., Щека, Д. В., Черников, А. А., Кузин, Я. С. & 11 others, Синельников, М. А., Абросимов, Г., Попов, Д., Демченко, А. Е., Белоконный, С. А., Соловьёва, Л-Ю. В., Курбатов, Я. А., Выродов, М. В., Салью, А. К., Гайсин, Э. Р. & Смирнов, К. К., 25 Jun 2025, CODS-COMAD 2024 - Proceedings of the 8th Jpint International Conference on Data Science and Management of Data. Association for Computing Machinery, p. 234-243 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

ID: 123453470