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

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

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

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

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

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

11 мар 2005 → …

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

«Отпечаток»

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

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

Подробную информацию о сотрудничестве по странам можно получить нажатием на точки.
  • Efficient fair conjunction for structurally-recursive relations

    Lozov, P. & Boulytchev, D., 18 янв 2021, PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Association for Computing Machinery, стр. 58-73 16 стр. (PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021).

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

    Открытый доступ
  • Certified Semantics for Relational Programming

    Rozplokhas, D., Vyatkin, A. & Boulytchev, D., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (ред.). Springer Nature, стр. 167-185 19 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12470 LNCS).

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

    2 Цитирования (Scopus)
  • Relational Synthesis for Pattern Matching

    Kosarev, D., Lozov, P. & Boulytchev, D., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (ред.). Springer Nature, стр. 293-310 18 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12470 LNCS).

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

  • Relational Interpreters for Search Problems.

    Lozov, P., Verbitskay, E. & Булычев, Д. Ю., 2019, стр. 43-57.

    Результат исследований: Материалы конференцийтезисы

  • Improving Refutational Completeness of Relational Search via Divergence Test

    Rozplokhas, D. & Булычев, Д. Ю., 3 сен 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, 20 стр. (Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming).

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

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