Affiliation:
1. University of Waterloo
Publisher
Open Publishing Association
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model-Based Testing of Quantum Computations;Lecture Notes in Computer Science;2024-09-10
2. Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware;Electronic Proceedings in Theoretical Computer Science;2024-08-12
3. Scalable Autograding for Quantum Programming Assignments;Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1;2024-07-03
4. Speeding up Answer Set Programming by Quantum Computing;Proceedings of the 2024 Workshop on Quantum Search and Information Retrieval;2024-06-03
5. Formal Verification For Cyclic Quantum Walk Circuits;2024 IEEE International Symposium on Circuits and Systems (ISCAS);2024-05-19