No photo of Semen Grigorev

View Scopus Profile

Semen Grigorev

 https://orcid.org/0000-0002-7966-0698
  • 22 Citations
  • 3 h-Index
20132020

Research output 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.

Projects

Dog_2020: Автоматическая генерация модульных тестов для языков Си/Си++

Кириленко, Я. А., Григорьев, С. В., Мордвинов, Д. А. & Мисонижник, А. В.

7/08/20 → 7/08/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_ASP_2019: Поиск путей с ограничениями в терминах формальных языков

Григорьев, С. В. & Азимов, Р. Ш.

1/10/19 → 30/09/21

Project

RFBR_a_2018 - 2: Методы и средства разработки языковых процессоров на основе использования поверхностно-встроенных языков: 2019 г. этап 2

Кознов, Д. В., Григорьев, Д. А., Смирнова, А. Н., Березун, Д. А., Вербицкая, Е. А., Булычев, Д. Ю., Луцив, Д. В., Подкопаев, А. В. & Григорьев, С. В.

25/03/19 → 15/12/19

Project

Research Output

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

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

    • 3 Citations (Scopus)

    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