Мордвинов Дмитрий Александрович

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

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

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

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

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

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

30 июн 2021 → …

Дата присуждения гранта 06: 30 июн 2021

«Отпечаток»

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

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

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