Shenggang Ying
- A Logic for Recursive Quantum Programs
2018/12/02 by Zhaowei Xu, Mingsheng Ying, Xu, Zhaowei +3 · 1 citation
Computer Science · Physics and Astronomy · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications
- isQ: Towards a Practical Software Stack for Quantum Programming
2022/05/08 by Jingzhe Guo, Guo, Jingzhe, Huazhe Lou +13 · 1 citation
Computer Science · #FOS: Physical sciences #Parallel Computing and Optimization Techniques #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)
- DasAtom: A Divide-and-Shuttle Atom Approach to Quantum Circuit Transformation
2024/09/05 by Yunqi Huang, Huang, Yunqi, Shenggang Ying +4 · 1 citation
Computer Science · Materials Science · #Electronic and Structural Properties of Oxides #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)