Publications (88)
Another Quantum Lovász Local Lemma
Mingsheng Ying
Probabilistic Automata for Computing with Words
Yongzhi Cao, Lirong Xia, Mingsheng Ying
Debugging Quantum Processes Using Monitoring Measurements
Yangjia Li, Mingsheng Ying
Session Communication and Integration
Guoxin Su, Mingsheng Ying, Chengqi Zhang
$Q|SI\rangle$: A Quantum Programming Environment
Shusen Liu, Xin Wang, Li Zhou +5
Symbolic bisimulation for quantum processes
Yuan Feng, Yuxin Deng, Mingsheng Ying
Majorization in Quantum Adiabatic Algorithms
Zhaohui Wei, Zhengfeng Ji, Mingsheng Ying
Probabilistic bisimilarities between quantum processes
Yuan Feng, Runyao Duan, Zhengfeng Ji +1
Parameter estimation of quantum channels
Zhengfeng Ji, Guoming Wang, Runyao Duan +2
Locally undetermined states, generalized Schmidt decomposition, and an application in distributed computing
Yuan Feng, Runyao Duan, Mingsheng Ying
Quantum Recursion and Second Quantisation
Mingsheng Ying
(Un)decidable Problems about Reachability of Quantum Systems
Yangjia Li, Mingsheng Ying
Distinguishability of Quantum States by Separable Operations
Runyao Duan, Yuan Feng, Yu Xin +1
Quantum Privacy-Preserving Data Mining
Shenggang Ying, Mingsheng Ying, Yuan Feng
Catalyst-assisted Probabilistic Entanglement Transformation
Yuan Feng, Runyao Duan, Mingsheng Ying
Quantum Privacy-Preserving Perceptron
Shenggang Ying, Mingsheng Ying, Yuan Feng
Deterministic distributed dense coding with stabilizer states
Guoming Wang, Mingsheng Ying
Non-Additivity of Minimum Output p-$\mathbf{R\acute{e}nyi}$ Entropy
Nengkun Yu, Mingsheng Ying
Local cloning of two product states
Zhengfeng Ji, Yuan Feng, Mingsheng Ying
Proof rules for purely quantum programs
Yuan Feng, Runyao Duan, Zhengfeng Ji +1
Termination of Nondeterministic Quantum Programs
Yangjia Li, Nengkun Yu, Mingsheng Ying
Observability and Decentralized Control of Fuzzy Discrete Event Systems
Yongzhi Cao, Mingsheng Ying
A Theorem Prover for Quantum Hoare Logic and Its Applications
Tao Liu, Yangjia Li, Shuling Wang +2
Local Unambiguous Discrimination with Remaining Entanglement
Yangjia Li, Runyao Duan, Mingsheng Ying
Supervisory Control of Fuzzy Discrete Event Systems
Yongzhi Cao, Mingsheng Ying
Relation Between Catalyst-assisted Entanglement Transformation and Multiple-copy Transformation
Yuan Feng, Runyao Duan, Mingsheng Ying
Four Locally Indistinguishable Ququad-Ququad Orthogonal Maximally Entangled States
Nengkun Yu, Runyao Duan, Mingsheng Ying
An Algebra of Quantum Processes
Mingsheng Ying, Yuan Feng, Runyao Duan +1
Efficiency of Deterministic Entanglement Transformation
Runyao Duan, Yuan Feng, Zhengfeng Ji +1
Local Distinguishability of Multipartite Unitary Operations
Runyao Duan, Yuan Feng, Mingsheng Ying
Existence of Universal Entangler
Jianxin Chen, Runyao Duan, Zhengfeng Ji +2
Quantum search algorithm by adiabatic evolution under a priori probability
Zhaohui Wei, Mingsheng Ying
Locally Indistinguishable Subspaces Spanned by Three-Qubit Unextendible Product Bases
Runyao Duan, Yu Xin, Mingsheng Ying
Soft constraint abstraction based on semiring homomorphism
Sanjiang Li, Mingsheng Ying
Bisimulation for quantum processes
Yuan Feng, Runyao Duan, Mingsheng Ying
Optimal conclusive discrimination of two states can be achieved locally
Zhengfeng Ji, Hongen Cao, Mingsheng Ying
When Catalysis is Useful for Probabilistic Entanglement Transformation
Yuan Feng, Runyao Duan, Mingsheng Ying
Unambiguous discrimination among quantum operations
Guoming Wang, Mingsheng Ying
Ancilla-Assisted Discrimination of Quantum Gates
Jianxin Chen, Mingsheng Ying
Partial Recovery of Quantum Entanglement
Runyao Duan, Yuan Feng, Mingsheng Ying
Model checking quantum Markov chains
Yuan Feng, Nengkun Yu, Mingsheng Ying
Similarity-Based Supervisory Control of Discrete Event Systems
Yongzhi Cao, Mingsheng Ying
Identification and Distance Measures of Measurement Apparatus
Zhengfeng Ji, Yuan Feng, Runyao Duan +1
Model-Checking Linear-Time Properties of Quantum Systems
Mingsheng Ying, Yangjia Li, Nengkun Yu +1
Distinguishing Arbitrary Multipartite Basis Unambiguously Using Local Operations and Classical Communication
Runyao Duan, Yuan Feng, Zhengfeng Ji +1
Entanglement Is Not Necessary for Perfect Discrimination between Unitary Operations
Runyao Duan, Yuan Feng, Mingsheng Ying
Unambiguous discrimination between quantum mixed states
Yuan Feng, Runyao Duan, Mingsheng Ying
Linearity and Quantum Adiabatic Theorem
Zhaohui Wei, Mingsheng Ying
Quantum Privacy-Preserving Data Analytics
Shenggang Ying, Mingsheng Ying, Yuan Feng
Retraction and Generalized Extension of Computing with Words
Yongzhi Cao, Mingsheng Ying, Guoqing Chen
State-Based Control of Fuzzy Discrete Event Systems
Yongzhi Cao, Mingsheng Ying, Guoqing Chen
The Perfect Distinguishability of Quantum Operations
Runyao Duan, Yuan Feng, Mingsheng Ying
Five Two-Qubit Gates Are Necessary for Implementing Toffoli Gate
Nengkun Yu, Runyao Duan, Mingsheng Ying
Quantum loop programs
Mingsheng Ying, Yuan Feng
Multiple-copy entanglement transformation and entanglement catalysis
Runyao Duan, Yuan Feng, Xin Li +1
The LU-LC conjecture is false
Zhengfeng Ji, Jianxin Chen, Zhaohui Wei +1
Entanglement-assisted transformation is asymptotically equivalent to multiple-copy transformation
Runyao Duan, Yuan feng, Mingsheng Ying
Relational reasoning in the region connection calculus
Yongming Li, Sanjiang Li, Mingsheng Ying
A Theory of Computation Based on Quantum Logic (I)
Mingsheng Ying
Optimal simulation of three-qubit gates
Nengkun Yu, Mingsheng Ying
Multipartite unlockable bound entanglement in the stabilizer formalism
Guoming Wang, Mingsheng Ying
The Existence of Quantum Entanglement Catalysts
Xiaoming Sun, Runyao Duan, Mingsheng Ying
Quantum operation, quantum Fourier transform and semi-definite programming
Runyao Duan, Zhengfeng Ji, Yuan Feng +1
Comparability of multipartite entanglement
Zhengfeng Ji, Runyao Duan, Mingsheng Ying
Distinguishability of Quantum States by Positive Operator-Valued Measures with Positive Partial Transpose
Nengkun Yu, Runyao Duan, Mingsheng Ying
Discrimination between pure states and mixed states
Chi Zhang, Guoming Wang, Mingsheng Ying
Universal programmable devices for unambiguous discrimination
Chi Zhang, Mingsheng Ying
Optimal universal programmable detectors for unambiguous discrimination
Chi Zhang, Mingsheng Ying, Bo Qiao
Trade-off between multiple-copy transformation and entanglement catalysis
Runyao Duan, Yuan Feng, Xin Li +1
A modified quantum adiabatic evolution for the Deutsch-Jozsa problem
Zhaohui Wei, Mingsheng Ying
Toward automatic verification of quantum cryptographic protocols
Yuan Feng, Mingsheng Ying
Reachability and Termination Analysis of Concurrent Quantum Programs
Nengkun Yu, Mingsheng Ying
Perfect many-to-one teleportation with stabilizer states
Guoming Wang, Mingsheng Ying
Reasoning about Cardinal Directions between Extended Objects
Xiaotong Zhang, Weiming Liu, Sanjiang Li +1
A relation between fidelity and quantum adiabatic evolution
Zhaohui Wei, Mingsheng Ying
An Equivalence of Entanglement-Assisted Transformation and Multiple-Copy Entanglement Transformation
Runyao Duan, Yuan Feng, Mingsheng Ying
Hoare Logic for Quantum Programs
Mingsheng Ying
Realization of positive-operator-valued measures by projective measurements without introducing ancillary dimensions
Guoming Wang, Mingsheng Ying
Verification of Quantum Programs
Mingsheng Ying, Nengkun Yu, Yuan Feng +1
Defining Quantum Control Flow
Mingsheng Ying, Nengkun Yu, Yuan Feng
Reachability Probabilities of Quantum Markov Chains
Shenggang Ying, Yuan Feng, Nengkun Yu +1
Reachability Analysis of Quantum Markov Decision Processes
Shenggang Ying, Mingsheng Ying
Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs
Mingsheng Ying, Nengkun Yu, Yuan Feng
Any $2\otimes n$ subspace is locally distinguishable
Nengkun Yu, Runyao Duan, Mingsheng Ying
Boundary effect of deterministic dense coding
Zhengfeng Ji, Yuan Feng, Runyao Duan +1
Optimal Simulation of a Perfect Entangler
Nengkun Yu, Runyao Duan, Mingsheng Ying
Quantum Information-Flow Security: Noninterference and Access Control
Mingsheng Ying, Yuang Feng, Nengkun Yu
Quantum adiabatic evolutions that can't be used to design efficient algorithms
Zhaohui Wei, Mingsheng Ying