Author:
Abdulla Parosh Aziz,Atig Mohamed Faouzi,Chen Yu-Fang,Holík Lukáš,Rezine Ahmed,Rümmer Philipp,Stenman Jari
Publisher
Springer International Publishing
Cited by
65 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Tarsis: An effective automata‐based abstract domain for string analysis;Journal of Software: Evolution and Process;2024-02-14
2. Parikh’s Theorem Made Symbolic;Proceedings of the ACM on Programming Languages;2024-01-05
3. Word Equations, Constraints, and Formal Languages;Lecture Notes in Computer Science;2024
4. Z3-Noodler: An Automata-based String Solver;Lecture Notes in Computer Science;2024
5. Solving String Constraints with Lengths by Stabilization;Proceedings of the ACM on Programming Languages;2023-10-16