Проекты за года
Личный профиль
Образование/академическая квалификация
физико-математические науки, кандидат наук
30 июн 2021 → …
Дата присуждения гранта 06: 30 июн 2021
«Отпечаток»
Узнайте самые подробные результаты анализа активности Дмитрий Александрович Мордвинов. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.
- 1 похожих профилей - всего
Сотрудничество
Подробную информацию о сотрудничестве по странам можно получить нажатием на точки.
Проекты
- 1 Всего активных проектов
-
RSF_SRG_2022 - 1: Автоматическая направленная генерации тестов на основе двунаправленного символьного исполнения: 2022 г. этап 1
Кознов, Д. В., Мордвинов, Д. А., Костюков, Ю. О. & Костицын, М. П.
1/01/22 → 31/12/22
Проект: исполнение гранта/договора › исполнение этапа гранта/договора
Результаты исследований
- 5 всего цитирований публикаций, внесённых в Pure
- 2 h-индекс по публикациям в Pure
- 2 статья в сборнике материалов конференции
-
Beyond the elementary representations of program invariants over algebraic data types
Kostyukov, Y., Mordvinov, D. & Fedyukovich, G., 18 июн 2021, PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Freund, S. N. & Yahav, E. (ред.). Association for Computing Machinery, стр. 451-465 15 стр. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование
3 Цитирования (Scopus) -
TRIK Studio: Technical Introduction
Мордвинов, Д. А., Литвинов, Ю. В. & Bryksin, T., 2017, PROCEEDINGS OF THE 20TH CONFERENCE OF OPEN INNOVATIONS ASSOCIATION (FRUCT 2017). Balandin, S. (ред.). IEEE Canada, стр. 296-308 13 стр. (Proceedings Conference of Open Innovations Association FRUCT).Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование
2 Цитирования (Scopus)