1. Research
  2. Publications

Publications

Export 27 results:
Author Title Type [ Year(Desc)]
Filters: Author is Xiaodi Wu  [Clear All Filters]
2023
S. Chakrabarti, Childs, A. M., Hung, S. - H., Li, T., Wang, C., and Wu, X., “Quantum algorithm for estimating volumes of convex bodies”, ACM Transactions on Quantum Computing, 2023.
L. Li, Zhu, M., Cleaveland, R., Lee, Y., Chang, L., and Wu, X., “Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic”, 2023.