1 - 3 out of 3Page size: 10
  1. 2021

  2. 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. 2017

  4. 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

  5. 2016

  6. Новые возможности среды программирования роботов TRIK Studio

    Мордвинов, Д. А. & Литвинов, Ю. В., 2016, VI Всероссийская конференция «Современное технологическое обучение: от компьютера к роботу»: сборник тезисов. СПб: ЗАО «Полиграфическое предприятие № 3», p. 41-43

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

ID: 32861539