Projects per year
Personal profile
Education/Academic qualification
Physical and Mathematical Sciences, Candidate of Sciences
30 Jun 2021 → …
Award Date: 30 Jun 2021
Fingerprint
Dive into the research topics where Дмитрий Александрович Мордвинов is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Active
-
RSF_SRG_2022 - 1: Автоматическая направленная генерации тестов на основе двунаправленного символьного исполнения: 2022 г. этап 1
Кознов, Д. В., Мордвинов, Д. А., Костюков, Ю. О. & Костицын, М. П.
1/01/22 → 31/12/22
Project: Grant fulfilment › Grant stage fulfilment
Research output
- 5 Citations by Pure records
- 2 h-Index by Pure records
- 2 Conference contribution
-
Beyond the elementary representations of program invariants over algebraic data types
Kostyukov, Y., Mordvinov, D. & Fedyukovich, G., 18 Jun 2021, PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Freund, S. N. & Yahav, E. (eds.). Association for Computing Machinery, p. 451-465 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
3 Scopus citations -
TRIK Studio: Technical Introduction
Мордвинов, Д. А., Литвинов, Ю. В. & Bryksin, T., 2017, PROCEEDINGS OF THE 20TH CONFERENCE OF OPEN INNOVATIONS ASSOCIATION (FRUCT 2017). Balandin, S. (ed.). IEEE Canada, p. 296-308 13 p. (Proceedings Conference of Open Innovations Association FRUCT).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
2 Scopus citations