Publications

Export 1259 results:
[ Author(Asc)] Title Type Year
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 
L
L. Li, Zhu, M., Cleaveland, R., Lee, Y., Chang, L., and Wu, X., Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic, 2023.
L. Li, Chang, L., Cleaveland, R., Zhu, M., and Wu, X., The Quantum Abstract Machine, 2024.
L. Li, Zhu, M., Lee, Y., Chang, L., and Wu, X., Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification, 2022.
L. Li, Young, D. J., Albert, V. V., Noh, K., Zou, C. - L., and Jiang, L., Phase-engineered bosonic quantum codes, Physical Review A, vol. 103, no. 6, p. 062427, 2021.
L. Lewis, Zhu, D., Gheorghiu, A., Noel, C., Katz, O., Harraz, B., Wang, Q., Risinger, A., Feng, L., Biswas, D., Egan, L., Vidick, T., Cetina, M., and Monroe, C., Experimental Implementation of an Efficient Test of Quantumness, 2022.
D. Leung, Nayak, A., Shayeghi, A., Touchette, D., Yao, P., and Yu, N., Capacity Approaching Codes for Low Noise Interactive Quantum Communication, in Annual ACM Symposium on the Theory of Computing STOC 2018, 2018.
P. Hong Leung, Landsman, K. A., Figgatt, C., Linke, N. M., Monroe, C., and Brown, K. R., Robust two-qubit gates in a linear ion crystal using a frequency-modulated driving force, Physical Review Letters, vol. 120, no. 2, p. 020501, 2018.
J. Leng, Li, J., Peng, Y., and Wu, X., Expanding Hardware-Efficiently Manipulable Hilbert Space via Hamiltonian Embedding, 2024.
J. Leng, Zheng, Y., and Wu, X., A quantum-classical performance separation in nonconvex optimization, 2023.
J. Leng, Hickman, E., Li, J., and Wu, X., Quantum Hamiltonian Descent, 2023.
M. Lemeshko, Yao, N. Y., Gorshkov, A. V., Weimer, H., Bennett, S. D., Momose, T., and Gopalakrishnan, S., Controllable quantum spin glasses with magnetic impurities embedded in quantum solids , Physical Review B, vol. 88, no. 1, 2013.
P. Lazos, Marmolejo-Cossío, F. J., Zhou, X., and Katz, J., RPPLNS: Pay-per-last-N-shares with a Randomised Twist, 2021.
J. Wei Zhong Lau, Lim, K. Hwee, Bharti, K., Kwek, L. - C., and Vinjanampathy, S., Convex optimization for non-equilibrium steady states on a hybrid quantum processor, 2022.
A. A. Lasek, Barnes, C. H. W., and Ferrus, T., Isolation and manipulation of a single-donor detector in a silicon quantum dot, Phys. Rev. B, vol. 106, p. 125423, 2022.
C. M. Langlett, Yang, Z. - C., Wildeboer, J., Gorshkov, A. V., Iadecola, T., and Xu, S., Rainbow Scars: From Area to Volume Law, 2021.
K. A. Landsman, Figgatt, C., Schuster, T., Linke, N. M., Yoshida, B., Yao, N. Y., and Monroe, C., Verified Quantum Information Scrambling, 2018.
K. A. Landsman, Wu, Y., Leung, P. Hong, Zhu, D., Linke, N. M., Brown, K. R., Duan, L., and Monroe, C. R., Two-qubit entangling gates within arbitrarily long chains of trapped ions, 2019.
O. Landon-Cardinal, Liu, Y. - K., and Poulin, D., Efficient Direct Tomography for Matrix Product States, 2010.
T. D. Ladd, Jelezko, F., Laflamme, R., Nakamura, Y., Monroe, C., and O'Brien, J. L., Quantum Computing, Nature, vol. 464, no. 7285, pp. 45 - 53, 2010.
B. Lackey, A Lichnerowicz Vanishing Theorem for Finsler Spaces, in The Theory of Finslerian Laplacians and Applications, Springer, 1998, pp. 227–243.
B. Lackey and Rodrigues, N., Morphisms in categories of nonlocal games, 2018.
B. Lackey and Rodrigues, N., Nonlocal games, synchronous correlations, and Bell inequalities, 2017.
B. Lackey, A model of trophodynamics, Nonlinear Analysis: Theory, Methods & Applications, vol. 35, pp. 37–57, 1999.
B. Lackey, Metric Equivalence of Path Spaces, Nonlinear Studies, vol. 7, no. 2, 2000.
B. Lackey, Penalty models for bitstrings of constant Hamming weight, 2017.