EST
ENG
Home
About
Research Groups
Publications
Projects
Contact
EST
ENG
Search
Ian Erik Varatalu
Researches
High-assurance software laboratory
Publications
Regex decision procedures in extended RE#
Members of related research groups
Juhan-Peep Ernits
Ian Erik Varatalu
Journal / Periodical:
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
Authors:
Varatalu, Ian Erik; Veanes; Margus; Zhuchko, Ekaterina; Ernits, Juhan-Peep
Year:
2025
RE#: High performance derivative-based regex matching with intersection, complement, and restricted lookarounds
Members of related research groups
Juhan-Peep Ernits
Ian Erik Varatalu
Journal / Periodical:
Proceedings of the ACM on Programming Languages
Authors:
Varatalu, Ian Erik; Veanes, Margus; Ernits, Juhan
Year:
2025
The Health and Food Technologies Centre of Excellence uses cookies. By clicking "I Agree," you consent to the
cookies and privacy policy
I agree
I don't agree