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:
Runtime Verification on FPGAs with LTLf Specifications
Tommy Tracy, Lucas M. Tabajara, Moshe Y. Vardi, et al.
Formal Methods in Computer-Aided Design (2020), pp. 36-46
Closed Access | Times Cited: 4
Tommy Tracy, Lucas M. Tabajara, Moshe Y. Vardi, et al.
Formal Methods in Computer-Aided Design (2020), pp. 36-46
Closed Access | Times Cited: 4
Showing 4 citing articles:
Sunder: Enabling Low-Overhead and Scalable Near-Data Pattern Matching Acceleration
Elaheh Sadredini, Reza Rahimi, Mohsen Imani, et al.
(2021), pp. 311-323
Closed Access | Times Cited: 6
Elaheh Sadredini, Reza Rahimi, Mohsen Imani, et al.
(2021), pp. 311-323
Closed Access | Times Cited: 6
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
Runtime Monitoring of c-LTL Specifications on FPGAs Using HLS
Gianluca Martino, Görschwin Fey
(2022), pp. 1-4
Closed Access
Gianluca Martino, Görschwin Fey
(2022), pp. 1-4
Closed Access
