1. Research
  2. Publications

Publications

Export 10 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Title is V  [Clear All Filters]
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.
M. Ringbauer, Hinsche, M., Feldker, T., Faehrmann, P. K., Bermejo-Vega, J., Edmunds, C., Postler, L., Stricker, R., Marciniak, C. D., Meth, M., Pogorelov, I., Blatt, R., Schindler, P., Eisert, J., Monz, T., and Hangleiter, D., “Verifiable measurement-based quantum random sampling with trapped ions”, 2023.
R. Rand, “Verification Logics for Quantum Programs”, 2019.
L. Li, Voichick, F., Hietala, K., Peng, Y., Wu, X., and Hicks, M., “Verified Compilation of Quantum Oracles”, 2021.
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.