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

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 / art. 1, 32 p https://doi.org/10.1145/3704837