Author:
Caron Pascal,Champarnaud Jean-Marc,Mignot Ludovic
Publisher
Springer Berlin Heidelberg
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Deducing Matching Strings for Real-World Regular Expressions;Dependable Software Engineering. Theories, Tools, and Applications;2023-12-15
2. Algorithms for Checking Intersection Non-emptiness of Regular Expressions;Theoretical Aspects of Computing – ICTAC 2023;2023
3. Incremental Dead State Detection in Logarithmic Time;Computer Aided Verification;2023
4. Constrained Multi-Tildes;Implementation and Application of Automata;2023
5. Symbolic Boolean derivatives for efficiently solving extended regular expression constraints;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18