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

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

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

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

Поиск результатов

  • 2020

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

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

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

    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)
  • The composition of dense neural networks and formal grammars for secondary structure analysis

    Grigorev, S. & Lunina, P., 1 янв 2019, BIOINFORMATICS 2019 - 10th International Conference on Bioinformatics Models, Methods and Algorithms, Proceedings; Part of 12th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2019. De Maria, E., Gamboa, H. & Fred, A. (ред.). SciTePress, стр. 234-241 8 стр.

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

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

    Context-free path querying by matrix multiplication

    Azimov, R. & Grigorev, S., 10 июн 2018, Proceedings of the 1st ACM SIGMOD Joint International Workshop on Graph Data Management Experiences and Systems (GRADES) and Network Data Analytics (NDA), GRADES-NDA 2018. Bhattacharya, A., Fletcher, G., Roy, S., Arora, A., Larriba Pey, J. L. & West, R. (ред.). Association for Computing Machinery, a5. (Proceedings of the 1st ACM SIGMOD Joint International Workshop on Graph Data Management Experiences and Systems (GRADES) and Network Data Analytics (NDA), GRADES-NDA 2018).

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

    11 Цитирования (Scopus)
  • Extended context-free grammars parsing with generalized LL

    Gorokhov, A. & Grigorev, S., 1 янв 2018, Tools and Methods of Program Analysis - 4th International Conference, TMPA 2017, Revised Selected Papers. Zakharov, V., Itsykson, V. & Scedrov, A. (ред.). Springer Nature, стр. 24-37 14 стр. (Communications in Computer and Information Science; том 779).

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

    2 Цитирования (Scopus)
  • Parser combinators for context-free path querying

    Kirillov, I., Nozkin, I. & Grigorev, S., 17 сен 2018, Scala 2018 - Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, co-located with ICFP 2018. Erdweg, S. & Oliveira, B. C. D. S. (ред.). Association for Computing Machinery, стр. 13-23 11 стр. (Scala 2018 - Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, co-located with ICFP 2018).

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

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

    Context-free path querying with structural representation of result

    Grigorev, S. & Ragozina, A., 20 окт 2017, CEE-SECR 2017 - Proceedings of the 13th Central and Eastern European Software Engineering Conference in Russia. Association for Computing Machinery, 3166104. (ACM International Conference Proceeding Series).

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

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

    Relaxed parsing of regular approximations of string-embedded languages

    Grigorev, S. & Avdyukhin, D., 1 янв 2016, Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, Revised Selected Papers. Mazzara, M. & Voronkov, A. (ред.). Springer Nature, стр. 291-302 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9609).

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

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

    On development of static analysis tools for string-embedded languages

    Khabibullin, M. & Grigorev, S., 22 окт 2015, CEE-SECR 2015 - Proceedings of the 11th Central and Eastern European Software Engineering Conference in Russia. Association for Computing Machinery, 5. (ACM International Conference Proceeding Series; том 22-23-October-2015).

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

  • 2014

    From Abstract Parsing to Abstract Translation

    Grigoriev, S. & Kirilenko, I., 2014, Preliminary Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering.

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

  • String-embedded language support in integrated development environment

    Grigorev, S., Verbitskaia, E., Ivanov, A., Polubelova, M. & Mavchun, E., 23 окт 2014, CEE-SECR 2014 - Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia. Association for Computing Machinery, a21. (ACM International Conference Proceeding Series; том 23-24-October-2014).

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

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

    GLR-based abstract parsing

    Grigorev, S. & Kirilenko, I., 2013, ACM International Conference Proceeding Series.

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