M. Veanes, T. Ball, G. Ebner, and E. Zhuchko. (2025). Symbolic Automata: Omega-
Regularity Modulo Theories. POPL ’25 (Denver, Jan. 2025).
pdfcode
E. Zhuchko, M. Veanes, G. Ebner. (2024). Lean Formalization of Extended Regular Expression
Matching with Lookarounds. CPP ’24 (London, Jan. 2024).
pdfcode
D. Firsov, S. Laur, E. Zhuchko. (2022). Unsatisfiability of Comparison-Based
Non-Malleability for Commitments. ICTAC ’22 (Tbilisi, Sept. 2022).
pdfcode