S. - H. Hung, Hietala, K., Zhu, S., Ying, M., Hicks, M., and Wu, X.,
“Quantitative Robustness Analysis of Quantum Programs (Extended Version)”,
Proc. ACM Program. Lang., vol. 3, no. POPL, p. Article 31, 2018.
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.