Projects per year
Personal profile
Education/Academic qualification
Physical and Mathematical Sciences, Candidate of Sciences
24 Mar 2016 → …
Fingerprint Dive into the research topics where Семен Вячеславович Григорьев is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 7 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects
RFBR_a_2018 - 3: Методы и средства разработки языковых процессоров на основе использования поверхностно-встроенных языков: 2020 г. этап 3
Кознов, Д. В., Григорьев, Д. А., Смирнова, А. Н., Березун, Д. А., Вербицкая, Е. А., Булычев, Д. Ю., Луцив, Д. В., Подкопаев, А. В. & Григорьев, С. В.
29/03/20 → 26/12/20
Project
RSF_RG_2018 - 3: Логические и алгебраические методы в теории формальных языков: 2020 г. этап 3
Охотин, А. С., Григорьев, С. В., Пентус, М. Р., Селиванов, В. Л., Сорокин, А. А., Макаров, В. М., Шеметова, Е. Н., Мартынова, О. М. & Петров, С. А.
1/01/20 → 31/12/20
Project
RFBR_ASP_2019: Поиск путей с ограничениями в терминах формальных языков
Григорьев, С. В. & Азимов, Р. Ш.
1/10/19 → 30/09/21
Project
RFBR_a_2018 - 2: Методы и средства разработки языковых процессоров на основе использования поверхностно-встроенных языков: 2019 г. этап 2
Кознов, Д. В., Григорьев, Д. А., Смирнова, А. Н., Березун, Д. А., Вербицкая, Е. А., Булычев, Д. Ю., Луцив, Д. В., Подкопаев, А. В. & Григорьев, С. В.
25/03/19 → 15/12/19
Project
RSF_RG_2018 - 2: Логические и алгебраические методы в теории формальных языков: 2019 г. этап 2
Охотин, А. С., Григорьев, С. В., Пентус, М. Р., Селиванов, В. Л., Сорокин, А. А., Макаров, В. М., Сажнева, Е. А., Азимов, Р. Ш., Шеметова, Е. Н., Мартынова, О. М. & Петров, С. А.
1/01/19 → 31/12/19
Project
Research Output
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 › › peer-review
Open Access
Bar-Hillel Theorem Mechanization in Coq
Bozhko, S., Khatbullina, L. & Grigorev, S., 2019, Logic, Language, Information, and Computation : 26th International Workshop, Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (eds.). Berlin, Heidelberg: Springer, p. 264-281 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11541 LNCS).Research output › › peer-review
Evaluation of the context-free path querying algorithm based on matrix multiplication
Mishin, N., Sokolov, I., Spirin, E., Kutuev, V., Nemchinov, E., Gorbatyuk, S. & Grigorev, S., 30 Jun 2019, Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Arora, A., Bhattacharya, A. & Fletcher, G. (eds.). Association for Computing MachineryResearch output › › peer-review
Improved Architecture of Artificial Neural Network for Secondary Structure Analysis
Grigorev, S. & Lunina, P., 2019, In : BMC Bioinformatics. 20, S17, P2.Research output
Open Access
Path Querying with Conjunctive Grammars by Matrix Multiplication
Azimov, R. & Grigorev, S., 1 Dec 2019, In : Programming and Computer Software. 45, 7, p. 357-364 8 p.Research output