Derivative Based Extended Regular Expression Matching Supporting Intersection, Complement and Lookarounds. - Ian Erik Varatalu; Margus Veanes; Juhan-Peep Ernits (CoRR, 2023)

RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement and Lookarounds. - Ian Erik Varatalu; Margus Veanes; Juhan-Peep Ernits (CoRR, 2024)

Regex Decision Procedures in Extended RE#. - Ian Erik Varatalu; Margus Veanes; Ekaterina Zhuchko; Juhan P. Ernits (CAV (3), 2025)

RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement, and Restricted Lookarounds. - Ian Erik Varatalu; Margus Veanes; Juhan P. Ernits (Proc. ACM Program. Lang., 2025)