Manuscript

isQ: Towards a Practical Software Stack for Quantum Programming
Jingzhe Guo, Huazhe Lou, Riling Li, Wang Fang, Junyi Liu, Peixun Long, Shenggang Ying, Mingsheng Ying
引用 arXiv URL
Quantum Recursive Programming with Quantum Case Statements
Mingsheng Ying, Zhicheng Zhang
引用 arXiv URL
Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs
引用 arXiv URL
Classical and Quantum Iterative Optimization Algorithms Based on Matrix Legendre-Bregman Projections
引用 arXiv URL
Fault Models in Superconducting quantum circuits
Qifan Huang, Boxi Li, Minbo Gao, Mingsheng Ying
引用 arXiv URL
Quantum Parameterized Complexity
Michael J. Bremner, Zhengfeng Ji, Ryan L. Mann, Luke Mathieson, Mauro E. S. Morales, Alexis T. E. Shaw
引用 arXiv URL
Titanium Nitride Film on Sapphire Substrate with Low Dielectric Loss for Superconducting Qubits
Hao Deng, Zhijun Song, Ran Gao, Tian Xia, Feng Bao, Xun Jiang, Hsiang-Sheng Ku, Zhisheng Li, Xizheng Ma, Jin Qin, Hantao Sun, Chengchun Tang, Tenghui Wang, Feng Wu, Wenlong Yu, Gengyan Zhang, Xiaohang Zhang, Jingwei Zhou, Xing Zhu, Yaoyun Shi, Huihai Zhao, Chunqing Deng
引用 arXiv URL
VeriQBench: A Benchmark for Multiple Types of Quantum Circuits
Kean Chen, Wang Fang, Ji Guan, Xin Hong, Mingyu Huang, Junyi Liu, Qisheng Wang, Mingsheng Ying
引用 arXiv URL
Quantum Meets the Minimum Circuit Size Problem
Nai-Hui Chia, Chi-Ning Chou, Jiayu Zhang, Ruizhe Zhang
引用 arXiv URL
Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer
Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie
引用 arXiv URL