Semen Grigorev

Department of Informatics

https://orcid.org/0000-0002-7966-0698

Source: Scopus
Calculated based on no. of publications stored in Pure and citations from Scopus

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Physical and Mathematical Sciences, Candidate of Sciences

24 Mar 2016 → …

Award Date: 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.

8 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or

2 Active
4 Finished

Dog_2020: Автоматическая генерация модульных тестов для языков Си/Си++
Кириленко, Я. А., Григорьев, С. В. & Мордвинов, Д. А.
7/08/20 → 7/08/21
Project
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

32 Citations
4 h-Index
13 статья в сборнике материалов конференции
3 статья
2 тезисы

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

File

1 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 Machinery
Research output › › peer-review
4 Citations (Scopus)