Projects per year
Personal profile
Education/Academic qualification
Physical and Mathematical Sciences, Candidate of Sciences
24 Mar 2016 → …
Award Date: 24 Mar 2016
Fingerprint
- 8 Similar Profiles
Network
Projects
-
RFBR_ASP_2019: Поиск путей с ограничениями в терминах формальных языков
Григорьев, С. В. & Азимов, Р. Ш.
1/10/19 → 30/09/21
Project
-
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_a_2018 - 2: Методы и средства разработки языковых процессоров на основе использования поверхностно-встроенных языков: 2019 г. этап 2
Кознов, Д. В., Григорьев, Д. А., Смирнова, А. Н., Березун, Д. А., Вербицкая, Е. А., Булычев, Д. Ю., Луцив, Д. В., Подкопаев, А. В. & Григорьев, С. В.
25/03/19 → 15/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 -
Rational index of bounded-oscillation languages
Shemetova, E., Okhotin, A. & Grigorev, S., 7 Dec 2020, (In preparation) In: arXiv.Research output
File1 Downloads (Pure) -
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 › peer-review
-
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 Nature, 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
4 Citations (Scopus)