Quantum Mechanics

Equivalence Checking of Sequential Quantum Circuits
Qisheng Wang, Riling Li, Mingsheng Ying
引用 DOI
Zero-Knowledge Proof Systems for QMA
Anne Broadbent, Zhengfeng Ji, Fang Song, John Watrous
引用 DOI
Quantum Information-Flow Security: Noninterference and Access Control
Mingsheng Ying, Yuan Feng, Nengkun Yu
引用 DOI
A Flowchart Language for Quantum Programming
引用 DOI
Multi-error-correcting amplitude damping codes
Runyao Duan, Markus Grassl, Zhengfeng Ji, Bei Zeng
引用 DOI
An Algebraic Language for Distributed Quantum Computing
引用 DOI
Distinguishability of Quantum States by Separable Operations
Runyao Duan, Yuan Feng, Yu Xin, Mingsheng Ying
引用 DOI
Parameter Estimation of Quantum Channels
Zhengfeng Ji, Guoming Wang, Runyao Duan, Yuan Feng, Mingsheng Ying
引用 DOI
Partial recovery of quantum entanglement
Runyao Duan, Yuan Feng, Mingsheng Ying
引用 DOI
Catalyst-assisted probabilistic entanglement transformation
Yuan Feng, Runyao Duan, Mingsheng Ying
引用 DOI