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:
Compositional Safety LTL Synthesis
Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, et al.
Lecture notes in computer science (2023), pp. 1-19
Closed Access | Times Cited: 8
Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, et al.
Lecture notes in computer science (2023), pp. 1-19
Closed Access | Times Cited: 8
Showing 8 citing articles:
Symbolic ltl$$_f$$ Synthesis: A Unified Approach for Synthesizing Winning, Dominant, and Best-Effort Strategies
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
SN Computer Science (2025) Vol. 6, Iss. 2
Open Access
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
SN Computer Science (2025) Vol. 6, Iss. 2
Open Access
Data Extraction via Semantic Regular Expression Synthesis
Qiaochu Chen, Arko Banerjee, Çağatay Demiralp, et al.
Proceedings of the ACM on Programming Languages (2023) Vol. 7, Iss. OOPSLA2, pp. 1848-1877
Open Access | Times Cited: 7
Qiaochu Chen, Arko Banerjee, Çağatay Demiralp, et al.
Proceedings of the ACM on Programming Languages (2023) Vol. 7, Iss. OOPSLA2, pp. 1848-1877
Open Access | Times Cited: 7
Symbolic Solution of Emerson-Lei Games for Reactive Synthesis
Daniel Hausmann, Mathieu Lehaut, Nir Piterman
Lecture notes in computer science (2024), pp. 55-78
Open Access
Daniel Hausmann, Mathieu Lehaut, Nir Piterman
Lecture notes in computer science (2024), pp. 55-78
Open Access
Auction-Based Scheduling
Guy Avni, Kaushik Mallik, Suman Sadhukhan
Lecture notes in computer science (2024), pp. 153-172
Open Access
Guy Avni, Kaushik Mallik, Suman Sadhukhan
Lecture notes in computer science (2024), pp. 153-172
Open Access
A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification
Josu Oca, Montserrat Hermo, Alexander Bolotov
(2024), pp. 1-2
Closed Access
Josu Oca, Montserrat Hermo, Alexander Bolotov
(2024), pp. 1-2
Closed Access
ltl Synthesis Under Environment Specifications for Reachability and Safety Properties
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, et al.
Information and Computation (2024), pp. 105255-105255
Open Access
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, et al.
Information and Computation (2024), pp. 105255-105255
Open Access
Compositional High-Quality Synthesis
Rafael Dewes, Rayna Dimitrova
Lecture notes in computer science (2023), pp. 334-354
Closed Access | Times Cited: 1
Rafael Dewes, Rayna Dimitrova
Lecture notes in computer science (2023), pp. 334-354
Closed Access | Times Cited: 1
Model-Guided Synthesis for LTL over Finite Traces
Shengping Xiao, Yongkang Li, Xinyue Huang, et al.
Lecture notes in computer science (2023), pp. 186-207
Closed Access
Shengping Xiao, Yongkang Li, Xinyue Huang, et al.
Lecture notes in computer science (2023), pp. 186-207
Closed Access
