Author:
Abdulla P.A.,Cerans K.,Jonsson B.,Yih-Kuen Tsay
Cited by
203 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Slice closures of indexed languages and word equations with counting constraints;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Decidability and Complexity of Decision Problems for Affine Continuous VASS;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Verification under Intel-x86 with Persistency;Proceedings of the ACM on Programming Languages;2024-06-20
4. Ramsey Quantifiers in Linear Arithmetics;Proceedings of the ACM on Programming Languages;2024-01-05
5. Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions;Proceedings of the ACM on Programming Languages;2023-04-06