Projects per year
Personal profile
Education/Academic qualification
Physical and Mathematical Sciences, Candidate of Sciences
24 Mar 2016 → …
Award Date: 24 Mar 2016
Fingerprint
- 1 Similar Profiles
Network
-
RSF_RG_2018 - 5: Логические и алгебраические методы в теории формальных языков: 2022 г. этап 5
Охотин, А. С., Григорьев, С. В., Петров, С. А., Сажнева, Е. А., Макаров, В. М., Селиванов, В. Л., Мартынова, О. М. & Шеметова, Е. Н.
1/01/22 → 31/12/22
Project: Grant fulfilment › Grant stage fulfilment
-
RSF_RG_2018 - 4: Логические и алгебраические методы в теории формальных языков: 2021 г. этап 4
Охотин, А. С., Григорьев, С. В., Петров, С. А., Сажнева, Е. А., Мрыхин, М. К., Макаров, В. М., Пентус, М. Р., Селиванов, В. Л., Мартынова, О. М. & Шеметова, Е. Н.
30/04/21 → 31/12/21
Project: Grant fulfilment › Grant stage fulfilment
-
RFBR_a_2018 - 3: Методы и средства разработки языковых процессоров на основе использования поверхностно-встроенных языков: 2020 г. этап 3
Кознов, Д. В., Григорьев, Д. А., Смирнова, А. Н., Березун, Д. А., Вербицкая, Е. А., Булычев, Д. Ю., Луцив, Д. В., Подкопаев, А. В. & Григорьев, С. В.
29/03/20 → 26/12/20
Project: Grant fulfilment › Grant stage fulfilment
-
RSF_RG_2018 - 3: Логические и алгебраические методы в теории формальных языков: 2020 г. этап 3
Охотин, А. С., Григорьев, С. В., Пентус, М. Р., Селиванов, В. Л., Макаров, В. М., Шеметова, Е. Н., Мартынова, О. М., Петров, С. А., Сажнева, Е. А., Азимов, Р. Ш. & Мрыхин, М. К.
1/01/20 → 31/12/20
Project: Grant fulfilment › Grant stage fulfilment
-
RFBR_ASP_2019: Поиск путей с ограничениями в терминах формальных языков
Григорьев, С. В. & Азимов, Р. Ш.
1/10/19 → 30/09/21
Project: Grant fulfilment › Total grant fulfilment
Research output
-
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
Open Access1 Scopus citations -
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
File29 Downloads (Pure) -
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
-
Context-Free Path Querying by Kronecker Product
Orachev, E., Epelbaum, I., Azimov, R. & Grigorev, S., Aug 2020, Advances in Databases and Information Systems - 24th European Conference, ADBIS 2020, Proceedings. Darmont, J., Novikov, B. & Wrembel, R. (eds.). Springer Nature, p. 49-59 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12245 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
2 Scopus citations -
Optimizing GPU programs by partial evaluation
Tyurin, A., Berezun, D. & Grigorev, S., 19 Feb 2020, PPoPP 2020 - Proceedings of the 2020 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 431-432 2 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Open Access1 Scopus citations