1. Research
  2. Publications

Publications

Export 257 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Last Name is W  [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
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.
W
J. Kirchenbauer, Geiping, J., Wen, Y., Katz, J., Miers, I., and Goldstein, T., “A Watermark for Large Language Models”, 2023.
A. M. Childs, Harrow, A. W., and Wocjan, P., “Weak Fourier-Schur sampling, the hidden subgroup problem, and the quantum collision problem ”, 2006.
Α
X. Wang and Wilde, M. M., “α-Logarithmic negativity”, 2019.
X. Wang and Wilde, M. M., “α-Logarithmic negativity”, 2019.