| Reconciling event structures with modern multiprocessors E Moiseenko, A Podkopaev, O Lahav, O Melkonian, V Vafeiadis arXiv preprint arXiv:1911.06567, 2019 | 13* | 2019 |
| A survey of programming language memory models E Moiseenko, A Podkopaev, D Koznov Programming and Computer Software 47, 439-456, 2021 | 8 | 2021 |
| Constructive negation for minikanren E Moiseenko 1 Towards a miniKanren with fair search strategies by Lu, Ma & Friedman 1 2 …, 2019 | 8 | 2019 |
| Model checking for a multi-execution memory model E Moiseenko, M Kokologiannakis, V Vafeiadis Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 758-785, 2022 | 3 | 2022 |
| Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models EA Moiseenko, VP Gladstein, AV Podkopaev, DV Koznov Journal Scientific and Technical Of Information Technologies, Mechanics and …, 2022 | 1 | 2022 |
| Mechanized theory of event structures: a case of parallel register machine VP Gladstein, DV Mikhailovskii, EA Moiseenko, AA Trunov Труды Института системного программирования РАН 33 (3), 143-154, 2021 | 1 | 2021 |
| Relational programming with memoization and negation/Реляционное программирование с мемоизацией и отрицанием EA Moiseenko, AV Podkopaev St. Petersburg State Polytechnical University Journal. Computer Science …, 2018 | | 2018 |
