Publications (50)
Condition and capability of quantum state separation
Yuan Feng, Runyao Duan, Zhengfeng Ji
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
On hybrid models of quantum finite automata
Lvzhou Li, Yuan Feng
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
Verify LTL with Fairness Assumptions Efficiently
Yong Li, Lei Song, Yuan Feng +1
Unambiguous discrimination between quantum mixed states
Yuan Feng, Runyao Duan, Mingsheng Ying
Quantum Privacy-Preserving Data Analytics
Shenggang Ying, Mingsheng Ying, Yuan Feng
The Perfect Distinguishability of Quantum Operations
Runyao Duan, Yuan Feng, Mingsheng Ying
Model Checking Quantum Systems --- A Survey
Mingsheng Ying, Yuan Feng
Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties
Lvzhou Li, Yuan Feng
Symbolic bisimulation for quantum processes
Yuan Feng, Yuxin Deng, Mingsheng Ying
Quantum loop programs
Mingsheng Ying, Yuan Feng
Multiple-copy entanglement transformation and entanglement catalysis
Runyao Duan, Yuan Feng, Xin Li +1
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
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
Local cloning of two product states
Zhengfeng Ji, Yuan Feng, Mingsheng Ying
Optimal dense coding with arbitrary pure entangled states
Yuan Feng, Runyao Duan, Zhengfeng Ji
Proof rules for purely quantum programs
Yuan Feng, Runyao Duan, Zhengfeng Ji +1
Minimum guesswork discrimination between quantum states
Weien Chen, Yongzhi Cao, Hanpin Wang +1
Quantum operation, quantum Fourier transform and semi-definite programming
Runyao Duan, Zhengfeng Ji, Yuan Feng +1
Open Bisimulation for Quantum Processes
Yuxin Deng, Yuan Feng
Relation Between Catalyst-assisted Entanglement Transformation and Multiple-copy Transformation
Yuan Feng, 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
The Structure of Decoherence-free Subsystems
Ji Guan, Yuan Feng, Mingsheng Ying
Trade-off between multiple-copy transformation and entanglement catalysis
Runyao Duan, Yuan Feng, Xin Li +1
Local Distinguishability of Multipartite Unitary Operations
Runyao Duan, Yuan Feng, Mingsheng Ying
Toward automatic verification of quantum cryptographic protocols
Yuan Feng, Mingsheng Ying
Characterizing locally distinguishable orthogonal product states
Yuan Feng, Yaoyun Shi
Decomposition of Quantum Markov Chains and Its Applications
Ji Guan, Yuan Feng, Mingsheng Ying
Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata
Yuan Feng, Lei Song, Lijun Zhang
Bisimulation for quantum processes
Yuan Feng, Runyao Duan, Mingsheng Ying
Unambiguous discrimination of mixed quantum states
Chi Zhang, Yuan Feng, Ming Sheng Ying
An Equivalence of Entanglement-Assisted Transformation and Multiple-Copy Entanglement Transformation
Runyao Duan, Yuan Feng, Mingsheng Ying
Verification of Quantum Programs
Mingsheng Ying, Nengkun Yu, Yuan Feng +1
When Catalysis is Useful for Probabilistic Entanglement Transformation
Yuan Feng, Runyao Duan, Mingsheng Ying
Defining Quantum Control Flow
Mingsheng Ying, Nengkun Yu, Yuan Feng
Reachability Probabilities of Quantum Markov Chains
Shenggang Ying, Yuan Feng, Nengkun Yu +1
When Equivalence and Bisimulation Join Forces in Probabilistic Automata
Yuan Feng, Lijun Zhang
Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs
Mingsheng Ying, Nengkun Yu, Yuan Feng
Partial Recovery of Quantum Entanglement
Runyao Duan, Yuan Feng, Mingsheng Ying
Boundary effect of deterministic dense coding
Zhengfeng Ji, Yuan Feng, Runyao Duan +1
Model checking quantum Markov chains
Yuan Feng, Nengkun Yu, Mingsheng Ying