Article-Journal

Quantum adiabatic computation and adiabatic conditions
Zhaohui Wei, Mingsheng Ying
引用 DOI URL
Discrimination between pure states and mixed states
Chi Zhang, Guoming Wang, Mingsheng Ying
引用 DOI URL
Distinguishing Arbitrary Multipartite Basis Unambiguously Using Local Operations and Classical Communication
引用 DOI URL
Editorial: On fundamentals of fuzzy logic and soft computing and some applications
Yingming Liu, Mingsheng Ying, Guoqing Chen
引用 DOI URL
Multipartite unlockable bound entanglement in the stabilizer formalism
Guoming Wang, Mingsheng Ying
引用 DOI URL
Topology, randomness and noise in process calculus
Formal models of communicating and concurrent systems are one of the most important topics in formal methods, and process calculus is …
引用 DOI URL
Entanglement is Not Necessary for Perfect Discrimination between Unitary Operations
Runyao Duan, Yuan Feng, Mingsheng Ying
引用 DOI URL
Commutativity of quantum weakest preconditions
引用 DOI URL
Probabilistic bisimulations for quantum processes
Modeling and reasoning about concurrent quantum systems is very important for both distributed quantum computing and quantum protocol …
引用 DOI URL
Proof rules for the correctness of quantum programs
We apply the notion of quantum predicate proposed by D’Hondt and Panangaden to analyze a simple language fragment which may describe …
引用 DOI URL