OpenAlex is a bibliographic catalogue of scientific papers, authors and institutions accessible in open access mode, named after the Library of Alexandria. It's citation coverage is excellent and I hope you will find utility in this listing of citing articles!
If you click the article title, you'll navigate to the article, as listed in CrossRef. If you click the Open Access links, you'll navigate to the "best Open Access location". Clicking the citation count will open this listing for that article. Lastly at the bottom of the page, you'll find basic pagination options.
Requested Article:
Model Checking Strategies from Synthesis over Finite Traces
Suguman Bansal, Yong Li, Lucas M. Tabajara, et al.
Lecture notes in computer science (2023), pp. 227-247
Closed Access | Times Cited: 3
Suguman Bansal, Yong Li, Lucas M. Tabajara, et al.
Lecture notes in computer science (2023), pp. 227-247
Closed Access | Times Cited: 3
Showing 3 citing articles:
Derivative-Guided Symbolic Execution
Yongwei Yuan, Z. Zhou, Julia Belyakova, et al.
Proceedings of the ACM on Programming Languages (2025) Vol. 9, Iss. POPL, pp. 1475-1505
Open Access
Yongwei Yuan, Z. Zhou, Julia Belyakova, et al.
Proceedings of the ACM on Programming Languages (2025) Vol. 9, Iss. POPL, pp. 1475-1505
Open Access
Decompositions in Compositional Translation of LTLf to DFA (Student Abstract)
Yash Kankariya, Suguman Bansal
Proceedings of the AAAI Conference on Artificial Intelligence (2024) Vol. 38, Iss. 21, pp. 23537-23538
Open Access
Yash Kankariya, Suguman Bansal
Proceedings of the AAAI Conference on Artificial Intelligence (2024) Vol. 38, Iss. 21, pp. 23537-23538
Open Access
Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic
Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, et al.
Lecture notes in computer science (2024), pp. 579-599
Open Access
Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, et al.
Lecture notes in computer science (2024), pp. 579-599
Open Access
