Article-Journal

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
Retraction and Generalized Extension of Computing With Words
Yongzhi Cao, Mingsheng Ying, Guoqing Chen
引用 DOI
State-Based Control of Fuzzy Discrete-Event Systems
Yongzhi Cao, Mingsheng Ying, Guoqing Chen
引用 DOI
Majorization in quantum adiabatic algorithms
引用 DOI URL
Relation between catalyst-assisted transformation and multiple-copy transformation for bipartite pure states
Yuan Feng, Runyao Duan, Mingsheng Ying
引用 DOI URL
Universal programmable devices for unambiguous discrimination
Chi Zhang, Mingsheng Ying, Bo Qiao
引用 DOI URL