RE#: High performance derivative-based regex matching with intersection, complement, and restricted lookaroundsVaratalu, Ian Erik; Veanes, Margus; Ernits, Juhan-PeepProceedings of the ACM on Programming Languages2024 / 32 p. : ill https://doi.org/10.1145/3704837 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Regular planar monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaJournal of logical and algebraic methods in programming2024 / art. 100963, 20 p. : ill https://doi.org/10.1016/j.jlamp.2024.100963 Journal metrics at Scopus Article at Scopus Journal metrics at WOS 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 https://doi.org/10.1145/3704838