K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M.,
“Proving Quantum Programs Correct”,
12th International Conference on Interactive Theorem Proving (ITP 2021), vol. 193, pp. 21:1–21:19, 2021.
K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M.,
“A Verified Optimizer for Quantum Circuits”,
Proceedings of the ACM on Programming Languages, vol. 5, no. POPL, 2021.
B. Hemenway, Miller, C., Shi, Y., and Wootters, M.,
“Optimal entanglement-assisted one-shot classical communication”,
Physical Review A, vol. 87, p. 062301, 2013.