• 14 всего цитирований публикаций, внесённых в Pure
  • 3 h-индекс по публикациям в Pure
20132020

Результат исследований по году

Если Вы внесли какие-либо изменения в Pure, они скоро будут показаны здесь.

Личный профиль

Образование/академическая квалификация

физико-математические науки, кандидат наук

24 мар 2016 → …

Дата присуждения гранта: 24 мар 2016

«Отпечаток» Узнайте самые подробные результаты анализа активности Семен Вячеславович Григорьев. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.

  • 8 похожих профилей - всего

Сотрудничество Подробную информацию о сотрудничестве по странам можно получить нажатием на точки.

Проекты

  • 2 Всего завершенных проектов
  • 3 Всего активных проектов

RSF_RG_2018 - 3: Логические и алгебраические методы в теории формальных языков: 2020 г. этап 3

Охотин, А. С., Григорьев, С. В., Пентус, М. Р., Селиванов, В. Л., Сорокин, А. А., Макаров, В. М., Шеметова, Е. Н., Мартынова, О. М. & Петров, С. А.

1/01/2031/12/20

Проект: исполнение гранта/договораисполнение этапа гранта/договора

RFBR_ASP_2019: Поиск путей с ограничениями в терминах формальных языков

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

1/10/1930/09/21

Проект: исполнение гранта/договораисполнение гранта/договора в целом

RSF_RG_2018 - 2: Логические и алгебраические методы в теории формальных языков: 2019 г. этап 2

Охотин, А. С., Григорьев, С. В., Пентус, М. Р., Селиванов, В. Л., Сорокин, А. А., Макаров, В. М., Сажнева, Е. А., Азимов, Р. Ш., Шеметова, Е. Н., Мартынова, О. М. & Петров, С. А.

1/01/1931/12/19

Проект: исполнение гранта/договораисполнение этапа гранта/договора

Результаты исследований

  • 14 всего цитирований публикаций, внесённых в Pure
  • 3 h-индекс по публикациям в Pure
  • 13 статья в сборнике материалов конференции
  • 2 статья
  • 1 тезисы

Optimizing GPU programs by partial evaluation

Tyurin, A., Berezun, D. & Grigorev, S., 19 фев 2020, PPoPP 2020 - Proceedings of the 2020 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, стр. 431-432 2 стр. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Открытый доступ
  • 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. (ред.). Berlin, Heidelberg: Springer Nature, стр. 264-281 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11541 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • 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 июн 2019, Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Arora, A., Bhattacharya, A. & Fletcher, G. (ред.). Association for Computing Machinery

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

  • 1 Цитирования (Scopus)

    Improved Architecture of Artificial Neural Network for Secondary Structure Analysis

    Grigorev, S. & Lunina, P., 2019, В : BMC Bioinformatics. 20, S17, P2.

    Результат исследований: Научные публикации в периодических изданияхтезисы

    Открытый доступ

    Path Querying with Conjunctive Grammars by Matrix Multiplication

    Azimov, R. & Grigorev, S., 1 дек 2019, В : Programming and Computer Software. 45, 7, стр. 357-364 8 стр.

    Результат исследований: Научные публикации в периодических изданияхстатья