Finiteness of Symbolic Derivatives in LeanZhuchko, Ekaterina; Maarand, Hendrik; Veanes, Margus; Ebner, Gabriel16th International Conference on Interactive Theorem Proving (ITP 2025)2025 / p. 16:1-16:19 https://doi.org//10.4230/LIPIcs.ITP.2025.16

Lean formalization of extended regular expression matching with lookaroundsZhuchko, Ekaterina; Veanes, Margus; Ebner, GabrielCPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 20242024 / p. 118 - 131 https://doi.org/10.1145/3636501.3636959 Article at Scopus Article at WOS

Symbolic Automata: Omega-Regularity Modulo TheoriesVeanes, Margus; Ball, Thomas; Ebner, Gabriel; Zhuchko, EkaterinaProceedings of the ACM on Programming Languages2025 / art. 2, p. 33-66 : ill https://doi.org/10.1145/3704838 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS