1. Research
  2. Publications

Publications

Export 10 results:
Author [ Title(Asc)] 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
J. Bub, “Von Neumann's 'No Hidden Variables' Proof: A Re-Appraisal”, Foundations of Physics, vol. 40, no. 9-10, pp. 1333 - 1340, 2010.
K. A. Landsman, Figgatt, C., Schuster, T., Linke, N. M., Yoshida, B., Yao, N. Y., and Monroe, C., “Verified Quantum Information Scrambling”, 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.
K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M., “Verified Optimization in a Quantum Intermediate Representation”, 2019.
L. Li, Voichick, F., Hietala, K., Peng, Y., Wu, X., and Hicks, M., “Verified Compilation of Quantum Oracles”, 2021.
R. Rand, “Verification Logics for Quantum Programs”, 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.
O. Higgott, Wang, D., and Brierley, S., “Variational Quantum Computation of Excited States”, Quantum , vol. 3, no. 156, 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.
A. Kalev and Kyrillidis, A., “Validating and Certifying Stabilizer States”, Phys. Rev. A , vol. 99, no. 042337, 2019.