1 - 4 out of 4Page size: 10
  1. 2025

  2. Объектная модель научной деятельности

    Шелехов, В. И., 2025, In: Управление наукой: теория и практика. 7, 3, p. 63-82

    Research output: Contribution to journal › Article › peer-review

  3. 2023

  4. Automata-Based Software Engineering with Event-B

    Shelekhov, V. I., Oct 2023, In: Programming and Computer Software. 49, 5, p. 470-483 14 p.

    Research output: Contribution to journal › Article › peer-review

  5. 2022

  6. Extensions to the Predicate Programming Language for Efficient Graph Processing

    Shelekhov, V., 2022, Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022. Institute of Electrical and Electronics Engineers Inc., p. 65-71 7 p. (Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022).

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

  7. 2018

  8. Verification of dual pivot quicksort program

    Shelekhov, V. I. & Сhushkin, M. S., 1 Jan 2018, In: CEUR Workshop Proceedings. 2260, p. 511-524 14 p.

    Research output: Contribution to journal › Conference article › peer-review

ID: 3431193