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

  2. Brahma.FSharp: Power of Functional Programming to Create Portable GPGPU-Enabled .NET Applications

    Григорьев, С. В., Кутуев, В. А. & Пономарев, Н. А., 2026, Parallel Computing Technologies (PaCT 2025). Springer Nature, p. 51-58 8 p. ( Lecture Notes in Computer Science; vol. 16185).

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

  3. 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 proceeding › Conference contribution › Research › peer-review

  4. 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

  5. 2024

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

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

    Research output: Contribution to journal › Article › peer-review

  7. 2022

  8. SPbLA: The Library of GPGPU-powered Sparse Boolean Linear Algebra Operations

    Орачев, Е. С., Карпенко, М., Алимов, П. Г. & Григорьев, С. В., 20 Aug 2022, In: The Journal of Open Source Software. 7, 76, p. 1 5 p., 76.

    Research output: Contribution to journal › Article › peer-review

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

    Shemetova, E., Okhotin, A. & Grigorev, S., May 2022, Developments in Language Theory - 26th International Conference, DLT 2022, Proceedings. Diekert, V. & Volkov, M. (eds.). Springer Nature, p. 263-273 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13257 LNCS).

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

  10. 2021

  11. SPbLA: The Library of GPGPU-Powered Sparse Boolean Linear Algebra Operations: The Library of GPGPU-Powered Sparse Boolean Linear Algebra Operations

    Orachev, E., Karpenko, M., Khoroshev, A. & Grigorev, S., 1 Jun 2021, 2021 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2021 - In conjunction with IEEE IPDPS 2021. Los Alamitos, CA, USA: Institute of Electrical and Electronics Engineers Inc., p. 272-275 4 p. 9460674. (2021 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2021 - In conjunction with IEEE IPDPS 2021).

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

  12. 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 Mar 2021.

    Research output: Working paper › Preprint

  13. Multiple-Source Context-Free Path Querying in Terms of Linear Algebra

    Терехов, А. К., Погожельская, В. В., Абзалов, В. И., Зиннатулин, Т. Р. & Григорьев, С. В., 2021, In: OpenProceedings. p. 487-492 6 p.

    Research output: Contribution to journal › Conference article › peer-review

  14. 2020

  15. Secondary structure prediction by combination of formal grammars and neural networks

    Grigorev, S., Kutlenkov, D. & Lunina, P., 17 Dec 2020, In: BMC Bioinformatics. 21, SUPPL 20, 2 p.

    Research output: Contribution to journal › Meeting Abstract › peer-review

Previous 1 2 3 Next

ID: 218973