1. Research
  2. Publications

Publications

Export 10 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Title is V  [Clear All Filters]
2010
J. Bub, “Von Neumann's 'No Hidden Variables' Proof: A Re-Appraisal”, Foundations of Physics, vol. 40, no. 9-10, pp. 1333 - 1340, 2010.
2017
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.
2018
K. A. Landsman, Figgatt, C., Schuster, T., Linke, N. M., Yoshida, B., Yao, N. Y., and Monroe, C., “Verified Quantum Information Scrambling”, 2018.
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.
O. Higgott, Wang, D., and Brierley, S., “Variational Quantum Computation of Excited States”, Quantum , vol. 3, no. 156, 2019.
A. Kalev and Kyrillidis, A., “Validating and Certifying Stabilizer States”, Phys. Rev. A , vol. 99, no. 042337, 2019.
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.
L. Li, Voichick, F., Hietala, K., Peng, Y., Wu, X., and Hicks, M., “Verified Compilation of Quantum Oracles”, 2021.
2023
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.