Author:
Ardeshir-Larijani Ebrahim,Gay Simon J.,Nagarajan Rajagopal
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Aaronson, S., Gottesman, D.: Improved simulation of stabilizer circuits. Phys. Rev. A 70, 052328 (2004)
2. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, pp. 415–425 (2004)
3. Ardeshir-Larijani, E.: Quantum equivalence checker (2013),
http://go.warwick.ac.uk/eardeshir/qec
4. Lecture Notes in Computer Science;E. Ardeshir-Larijani,2013
5. Audenaert, K.M.R., Plenio, M.B.: Entanglement on mixed stabilizer states: normal forms and reduction procedures. New Journal of Physics 7(1), 170 (2005)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Simulating Quantum Circuits by Model Counting;Lecture Notes in Computer Science;2024
2. Partial Equivalence Checking of Quantum Circuits;2022 IEEE International Conference on Quantum Computing and Engineering (QCE);2022-09
3. Toward automatic verification of quantum programs;Formal Aspects of Computing;2019-02-12
4. Towards Large-scale Functional Verification of Universal Quantum Circuits;Electronic Proceedings in Theoretical Computer Science;2019-01-31
5. Quantum relational Hoare logic;Proceedings of the ACM on Programming Languages;2019-01-02