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

Просмотреть профиль в Scopus

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

 https://orcid.org/0000-0002-6437-3020
  • Источник: Scopus
  • Рассчитывается на основе количества публикаций, сохраненных в Pure, и цитирований из Scopus
20172022

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

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

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

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

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

30 июн 2021 → …

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

«Отпечаток»

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

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

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