Григорьев Семен Вячеславович

  • Источник данных о цитировании публикаций, внесённых в Pure: Scopus
  • Рассчитывается на основе количества публикаций, внесённых в Pure, и цитирований из Scopus
20132020

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

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

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

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

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

24 мар 2016 → …

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

«Отпечаток»

Узнайте самые подробные результаты анализа активности Семен Вячеславович Григорьев. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.
  • 8 похожих профилей - всего

Сотрудничество

Подробную информацию о сотрудничестве по странам можно получить нажатием на точки.
  • 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).

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

    Открытый доступ
  • Rational index of bounded-oscillation languages

    Shemetova, E., Okhotin, A. & Grigorev, S., 7 дек 2020, (Подготовка) В: arXiv.

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

    Файл
    1 Загрузки (Pure)
  • Secondary structure prediction by combination of formal grammars and neural networks

    Grigorev, S., Kutlenkov, D. & Lunina, P., 17 дек 2020, В: BMC Bioinformatics. 21, SUPPL 20, 2 стр.

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

  • 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

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

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