Publications

Export 920 results:
Author [ Title(Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
V
A. Kalev and Kyrillidis, A., Validating and Certifying Stabilizer States, Phys. Rev. A , vol. 99, no. 042337, 2019.
J. K. Perron, Gullans, M., Taylor, J. M., Stewart, Jr., M. D., and Zimmerman, N. M., Valley Blockade in a Silicon Double Quantum Dot, Physical Review B, vol. 96, no. 20, p. 205302, 2017.
O. Higgott, Wang, D., and Brierley, S., Variational Quantum Computation of Excited States, Quantum , vol. 3, no. 156, 2019.
R. Rand, Verification Logics for Quantum Programs, 2019.
K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M., Verified Optimization in a Quantum Intermediate Representation, 2019.
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.
K. A. Landsman, Figgatt, C., Schuster, T., Linke, N. M., Yoshida, B., Yao, N. Y., and Monroe, C., Verified Quantum Information Scrambling, 2018.
J. Bub, Von Neumann's 'No Hidden Variables' Proof: A Re-Appraisal, Foundations of Physics, vol. 40, no. 9-10, pp. 1333 - 1340, 2010.