Relaxed Parsing of Regular Approximations of String-Embedded Languages. - Ekaterina Verbitskaia; Semyon V. Grigorev; Dmitry Avdyukhin (Ershov Memorial Conference, 2015)

Parser combinators for context-free path querying. - Ekaterina Verbitskaia; Ilya Kirillov; Ilya Nozkin; Semyon V. Grigorev (SCALA@ICFP, 2018)

An Empirical Study of Partial Deduction for miniKanren. - Ekaterina Verbitskaia; Daniil Berezun; Dmitry Boulytchev (VPT@ETAPS, 2021)

A Case Study in Functional Conversion and Mode Inference in miniKanren. - Ekaterina Verbitskaia; Igor Engel; Daniil Berezun (PEPM, 2024)

Proceedings of the 2024 miniKanren and Relational Programming Workshop. - Ekaterina Verbitskaia; Joseph P. Near (CoRR, 2024)

Can LLMs Enable Verification in Mainstream Programming? - Aleksandr Shefer; Igor Engel; Stanislav Alekseev; Daniil Berezun; Ekaterina Verbitskaia; Anton Podkopaev (CoRR, 2025)