Author:
Abdulla Parosh Aziz,Faouzi Atig Mohamed,Chen Yu-Fang,Diep Bui Phi,Holik Lukas,Rezine Ahmed,Rummer Philipp
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Parikh’s Theorem Made Symbolic;Proceedings of the ACM on Programming Languages;2024-01-05
2. A decision procedure for string constraints with string/integer conversion and flat regular constraints;Acta Informatica;2023-10-24
3. Solving String Constraints with Lengths by Stabilization;Proceedings of the ACM on Programming Languages;2023-10-16
4. The Formal Grounds for Construction for Intellimedia Automated System;2023 IEEE 12th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS);2023-09-07
5. Word Equations in Synergy with Regular Constraints;Formal Methods;2023