
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:
Simulating Quantum Circuits by Model Counting
Jingyi Mei, Marcello Bonsangue, Alfons Laarman
Lecture notes in computer science (2024), pp. 555-578
Closed Access | Times Cited: 5
Jingyi Mei, Marcello Bonsangue, Alfons Laarman
Lecture notes in computer science (2024), pp. 555-578
Closed Access | Times Cited: 5
Showing 5 citing articles:
Equivalence Checking of Quantum Circuits by Model Counting
Jingyi Mei, Tim Coopmans, Marcello Bonsangue, et al.
Lecture notes in computer science (2024), pp. 401-421
Open Access | Times Cited: 5
Jingyi Mei, Tim Coopmans, Marcello Bonsangue, et al.
Lecture notes in computer science (2024), pp. 401-421
Open Access | Times Cited: 5
Automated Reasoning in Quantum Circuit Compilation
Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, et al.
Lecture notes in computer science (2024), pp. 106-134
Closed Access | Times Cited: 2
Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, et al.
Lecture notes in computer science (2024), pp. 106-134
Closed Access | Times Cited: 2
Advancing Quantum Computing with Formal Methods
Arend-Jan Quist, Jingyi Mei, Tim Coopmans, et al.
Lecture notes in computer science (2024), pp. 420-446
Open Access
Arend-Jan Quist, Jingyi Mei, Tim Coopmans, et al.
Lecture notes in computer science (2024), pp. 420-446
Open Access
Disentangling the Gap Between Quantum and #SAT
Jingyi Mei, Jan Martens, Alfons Laarman
Lecture notes in computer science (2024), pp. 17-40
Closed Access
Jingyi Mei, Jan Martens, Alfons Laarman
Lecture notes in computer science (2024), pp. 17-40
Closed Access
Efficient quantum circuit contraction using tensor decision diagrams
Vicente Lopez-Oliva, José M. Badía, Maribel Castillo
The Journal of Supercomputing (2024) Vol. 81, Iss. 1
Open Access
Vicente Lopez-Oliva, José M. Badía, Maribel Castillo
The Journal of Supercomputing (2024) Vol. 81, Iss. 1
Open Access