Margus Veanes

1. RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement, and Restricted Lookarounds
   2024/07/30 by Ian Erik Varatalu, Margus Veanes, Juhan-Peep Ernits · 3 voices · 6 citations
   Computer Science · #Natural Language Processing Techniques #semigroups and automata theory #Algorithms and Data Compression
2. Monadic Decomposition
   2017/04/30 by Margus Veanes, Nikolaj Bjørner, Lev Nachmanson +1 · 3 citations
   Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #semigroups and automata theory
3. Derivative Based Extended Regular Expression Matching Supporting Intersection, Complement and Lookarounds
   2023/09/25 by Ian Erik Varatalu, Margus Veanes, Varatalu, Ian Erik +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques #Web Application Security Vulnerabilities