1. 2020. The Quantum Technology Monitor. McKinsey Digital (2020).
2. Improved simulation of stabilizer circuits
3. Matthew Amy. 2018. Towards Large-scale Functional Verification of Universal Quantum Circuits. CoRR abs/1805.06908 (2018), 1--21. https://api.semanticscholar. org/CorpusID:29163119
4. Advanced Equivalence Checking for Quantum Circuits
5. ABET Computing Accreditation Commission et al. 2004. Criteria for accrediting computing programs. November 1 (2004) 2004.