| Relaxed parsing of regular approximations of string-embedded languages E Verbitskaia, S Grigorev, D Avdyukhin Perspectives of System Informatics: 10th International Andrei Ershov …, 2016 | 23 | 2016 |
| Relational Interpreters for Search Problems P Lozov, E Verbitskaia, D Boulytchev miniKanren and Relational Programming Workshop, 43, 2019 | 14 | 2019 |
| Parser combinators for context-free path querying E Verbitskaia, I Kirillov, I Nozkin, S Grigorev Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 13-23, 2018 | 9 | 2018 |
| An Empirical Study of Partial Deduction for miniKanren E Verbitskaia, D Berezun, D Boulytchev | 7 | 2020 |
| String-embedded language support in integrated development environment S Grigorev, E Verbitskaia, A Ivanov, M Polubelova, E Mavchun Proceedings of the 10th Central and Eastern European Software Engineering …, 2014 | 6 | 2014 |
| A Case Study in Functional Conversion and Mode Inference in miniKanren E Verbitskaia, I Engel, D Berezun Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial …, 2024 | 1 | 2024 |
| On a Direction-Driven Functional Conversion E Verbitskaia, D Berezun, D Boulytchev miniKanren workshop, 2022 | 1 | 2022 |
| Binding-Time Analysis for miniKanren E Verbitskaia, I Artemeva, D Berezun | 1 | 2020 |
| Semi-Automated Direction-Driven Functional Conversion E VERBITSKAIA, I ENGEL, D BEREZUN | 1 | |
| Proceedings of the 2024 miniKanren and Relational Programming Workshop E Verbitskaia, JP Near arXiv preprint arXiv:2409.06505, 2024 | | 2024 |
| ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, EPTCS A Lisitsa, A Nemytykh, A Nepeivoda, E Verbitskaia, D Berezun, ... | | 2021 |
| Binding-time analysis for relational programs I Artemeva, E Verbitskaia CEUR Workshop Proceedings, 2020 | | 2020 |
| An Empirical Study of Partial Deduction for miniKanren E VERBITSKAIA, D BEREZUN, D BOULYTCHEV | | 2020 |
| IDE support of string-embedded languages S Grigorev, E Verbitskaia, M Polubelova, A Ivanov, E Mavchun Modelirovanie i Analiz Informacionnyh Sistem 21 (6), 131-143, 2014 | | 2014 |
| Integration of Offline Partial Deduction and Functional Conversion for miniKanren A Shefer, E Verbitskaia | | |
| Supercompilation Strategies for MINIKANREN M Kuklina, E Verbitskaia | | |
