Проекты за года
Личный профиль
Образование/академическая квалификация
физико-математические науки, кандидат наук
11 мар 2005 → …
Дата присуждения гранта 06: 11 мар 2005
«Отпечаток»
Узнайте самые подробные результаты анализа активности Дмитрий Юрьевич Булычев. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.
- 1 похожих профилей - всего
Сотрудничество
Подробную информацию о сотрудничестве по странам можно получить нажатием на точки.
Проекты
- 2 Всего завершенных проектов
-
RFBR_a_2018 - 3: Методы и средства разработки языковых процессоров на основе использования поверхностно-встроенных языков: 2020 г. этап 3
Кознов, Д. В., Григорьев, Д. А., Смирнова, А. Н., Березун, Д. А., Вербицкая, Е. А., Булычев, Д. Ю., Луцив, Д. В., Подкопаев, А. В. & Григорьев, С. В.
29/03/20 → 26/12/20
Проект: исполнение гранта/договора › исполнение этапа гранта/договора
-
RFBR_a_2018 - 2: Методы и средства разработки языковых процессоров на основе использования поверхностно-встроенных языков: 2019 г. этап 2
Кознов, Д. В., Григорьев, Д. А., Смирнова, А. Н., Березун, Д. А., Вербицкая, Е. А., Булычев, Д. Ю., Луцив, Д. В., Подкопаев, А. В. & Григорьев, С. В.
25/03/19 → 15/12/19
Проект: исполнение гранта/договора › исполнение этапа гранта/договора
Результаты исследований
-
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)