Professor Yuan Feng
ARC Future Fellow and Professor
Core Member, Centre for Quantum Computation and Intelligent Systems
Email: Yuan. Feng"at"uts.edu.au
Phone: +61 2 9514 4479
Fax: +61 2 9514 4517
Room: CB11.10.210 (map)
Mailing address: PO Box 123, Broadway NSW 2007, Australia
Biography
Education
Ph. D. in Computer Science and Software
Department of Computer Science and Technology, Tsinghua University, China
Sep. 2001 - Jul. 2004
Supervisor: Professor Mingsheng Ying
M.S. in Computer Science and Software
Department of Computer Science and Technology, Tsinghua University, China
Sep. 1999 - Jul. 2001
Supervisor: Professor Mingsheng Ying
B.S. in Applied Mathematics
Department of Mathematical Sciences, Tsinghua University, China
Sep. 1995 - Jul. 1999
Employment
Professor
Centre for Quantum Computation and Intelligent Systems (QCIS)
Faculty of Engineering and Information Technology, University of Technology, Sydney, Australia
Jan. 2015 - Present
Associate Professor
Centre for Quantum Computation and Intelligent Systems (QCIS)
Faculty of Engineering and Information Technology, University of Technology, Sydney, Australia
Aug. 2010 - Dec. 2014
Senior Lecturer
Centre for Quantum Computation and Intelligent Systems (QCIS)
Faculty of Engineering and Information Technology, University of Technology, Sydney, Australia
Jan. 2009 - Aug. 2010
Associate Professor
State Key Laboratory of Intelligent Technology and Systems
Department of Computer Science and Technology, Tsinghua University, Beijing, China
Dec. 2007 - Jan. 2009
Assistant Professor
State Key Laboratory of Intelligent Technology and Systems
Department of Computer Science and Technology, Tsinghua University, Beijing, China
Aug. 2004 - Dec. 2007
Selected Honours and Prizes
UTS Chancellor’s Medal for Exceptional Research (with Profs Mingsheng Ying and Runyao Duan), 2014
Early Career Research Excellence category of the VC's Awards for Research Excellence of UTS, Highly Commended, 2010
Okawa Foundation Research Grant, 2008
National Excellent Doctoral Dissertation of China (no more than 100 over all disciplines per year), 2006
Excellent Ph.D. Thesis Award of Tsinghua University (first class), 2004
Excellent Ph.D. Graduate (only 10 for all graduate students per year in Tsinghua University), 2004
Teaching
Discrete Mathematics (2008.9 - 2009.1), Tsinghua University, Beijing.
Discrete Mathematics (2007.9 - 2008.1), Tsinghua University, Beijing.
Research Areas
1. Theoretical foundation of quantum computation
2. Distributed quantum computing and quantum concurrency theory
3. Quantum programming theory
4. Quantum information theory and channel capacity
Research Grants
1. 2018.1 - 2020.12: Verification and analysis of quantum programs, ARC Discovery Project (ARC DP180100691). Chief Investigators: Yuan Feng and Mingsheng Ying. Partner Investigators: Ugo Dal Lago and Taolue Chen. Total Amount: AUD 385,000.
2. 2016.1 - 2018.12: Verification of quantum cryptographic protocols: a process algebra approach. ARC Discovery Project (ARC DP160101652). Chief Investigators: Mingsheng Ying and Yuan Feng. Partner Investigators: Lijun Zhang and Taolue Chen. Total Amount: AUD 360,000.
3. 2015.1 - 2016.12: Automatic verification of quantum communication protocols. National Natural Science Foundation of China (NSFC), Grant No. 61428208. Yuan Feng, Chief-Investigator. Total Amount: CNY 200,000
4. 2015.9 - 2018.8: Modeling and Analysis of Stochastic Systems with Perturbed Parameters. Ministry of Education of Singapore, Grant No. MOE2015-T2-1-137. Yuan Feng, Co-Investigator (Chief-Investigator: Prof. David S. Rosenblum). Total Amount: SGD 500,000
5. 2013.1 - 2015.12: Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems. ARC Discovery Project (ARC DP130102764). Chief Investigators: Yuan Feng and Mingsheng Ying. Partner Investigators: Prakash Panangaden and Lijun Zhang. Total Amount: AUD 330,000.
6. 2011.1-2015.12: Reasoning about, and stepwise development of, quantum programs: a predicate transformer semantics approach. ARC Future Fellowship (ARC FT100100218). Yuan Feng, Sole Investigator. Total Amount: AUD 561,190
7. 2011.1-2013.12: Process algebra approach to distributed quantum computation and secure quantum communication.
ARC ARC Discovery Project (ARC DP110103473). Chief Investigators: Prof. Mingsheng Ying and Yuan Feng. Partner Investigator: Rajagopal Nagarajan. Total Amount: AUD 300,000.
8. 2008.1-2011.12: Quantum software: theory and methodology. National Natural Science Foundation of China (NSFC), Grant No.60621062. Yuan Feng, Co-Investigator. (Chief-Investigator: Prof. Mingsheng Ying). Total Amount: CNY 2,000,000
9. 2007.1-2011.12: Theory of quantum programming. Ministry of Education of China, FANEDD 200755. Yuan Feng, Principal Investigator. Total Amount: CNY 500,000
10. 2007.3-2009.3: Theory of quantum communication and concurrency, Tsinghua University, Beijing. Yuan Feng, Principal Investigator. Total Amount: CNY 30,000
11. 2006.1 - 2008.12: Quantum communication network assisted by entanglement, National Natural Science Foundation of China (NSFC), Grant No.60503001. Yuan Feng, Principal Investigator. Total Amount: CNY 220,000
12. 2006.1-2007.12: Research on quantum programming languages. Tsinghua University, Grant No. 052220204. Yuan Feng, Principal Investigator. Total Amount: CNY 150,000
13. 2006.12-2008.12: Quantum computational models. Hi-Tech Research & Development Program of China (863 Project), Grant No. 2006AA01Z102. Yuan Feng, Co-Principal Investigator. Total Amount: CNY 600,000
14. 2005.1-2008.12: Encoding and process control in quantum algorithms. National Natural Science Foundation of China (NSFC), Grant No. 60433050. Yuan Feng, Key Member. Total Amount: CNY 2,000,000
15. 2004.1 - 2009.12: Intelligent information processing: theory and methodology. National Natural Science Foundation of China (NSFC), Grant No.60321002. Yuan Feng, Co-Investigator. (Chief-Investigator: Prof. Mingsheng Ying). Total Amount: CNY 8,100,000
Community Services
1. Member of Program Committee: The 27th International Conference on Concurrency Theory (Concur-16), Doctoral Symposium of the 19th International Symposium on Formal Methods (FM-14).
2. Member of Organising Committee: The 2015 International Conference of Quantum Information Processing (QIP).
3. Reviewer for journals: IEEE Transactions on Information Theory, Journal of Computers and System Sciences, Quantum Information and Computation, Journal of Symbolic Computation, Physical review A, Science of Computer Programming, Mathematical Structures in Computer Science, International Journal of Quantum Information, Information Sciences, Pattern Recognition Letters, Knowledge and Information Systems, Science in China, Journal of Computer Science and Technology, Journal of Software, ect.
4. Reviewer for conferences: LICS-16, LICS-15, ICALP-15, SODA-15, CONCUR-15, QPL-15, APLAS-15, SAC-15, FoSSaCS-14, FM-14, QPL-14, CONCUR-13, ICALP-13, CAV-13, QEST-13, etc.
5. Reviewer for the National Natural Science Foundation of China (NSFC), Australia Research Council, and Mathematical Reviews.
Research Publications
All publications
1. J. Guan, Y. Feng, M. Ying. Decomposition of Quantum Markov Chains. Journal of Computer and System Sciences 95: 55-68 (2018). View Details
2. C. Fu, A. Turrini, X. Huang, L. Song, Y. Feng, L. Zhang. Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI-18), 4757-4763 (2018). View Details
3. Y. Feng, L. Zhang: Precisely deciding CSL formulas through approximate model checking for CTMCs. Journal of Computer and System Sciences 89: 361-371 (2017). View Details
4. G. Su, T. Chen, Y. Feng, and D. S. Rosenblum. ProEva: Runtime Proactive Performance Evaluation Based on Continuous-Time Markov Chains. Proceedings of the 39th International Conference on Software Engineering (ICSE-17), 484--495 (2017). View Details
5. Y. Deng, Y. Feng. Probabilistic Bisimilarity as Testing Equivalence. Information and Computation 257: 58-64 (2017). View Details
6. Y. Feng, E. M. Hahn, A. Turrini, and S. Ying. Model Checking $omega$-regular Properties for Quantum Markov Chains. Proceedings of the 28th International Conference on Concurrency Theory (CONCUR-17), 35:1-35:16 (2017). View Details
7. Y. Deng and Y. Feng. Bisimulations for Probabilistic Lambda Calculi. Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering (TASE-17), 1-8 (2017). View Details
8. G. Su, Y. Feng, T. Chen, D. S. Rosenblum. Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters. IEEE Transactions on Software Engineering 42(7): 623--639 (2016). View Details
9. Y. Li, L. Song, Y. Feng, L. Zhang. Verify LTL with Fairness Assumptions Efficiently. Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning (TIME-16), 41--50 (2016) View Details
10. G. Su, T. Chen, Y. Feng, D. S. Rosenblum, and P.S. Thiagarajan. An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-Adaptive System. Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering (FASE-16), 269--286 (2016). View Details
11. L. Song, Y. Feng, and L. Zhang. Decentralized Bisimulation for Multiagent Systems. Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-15), 209-217. View Details
12. Y. Feng, E. M. Hahn, A. Turrini and L. Zhang. QPMC: A Model Checker for Quantum Programs and Protocols. Proceedings of the 20th International Symposium on Formal Methods (FM-15) LNCS 9109, 265-272. View Details
13. L. Song, Y. Feng, and L. Zhang. Planning for Stochastic Games with Co-safe Objectives. Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-15),1682-1688. View Details
14. C. Zhou and Y. Feng. Extend Transferable Belief Models with Probabilistic Priors. Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI-15). View Details
15. W. Chen, Y. Cao, H. Wang, and Y. Feng. Minimum guesswork discrimination between quantum states. Quantum Information and Computation 2015, 15 (9 &10): 737-758. View Details
16. L. Li, Y. Feng. On hybrid models of quantum finite automata. Journal of Computer and System Sciences 2015, 81(7): 1144-1158. View Details
17. Y. Feng, L. Zhang. A nearly optimal upper bound for the self-stabilization time in Herman's algorithm. Distributed Computing 2015, 28(4): 233-244. View Details
18. Y. Deng, Y. Feng and U. Lago. On Coinduction and Quantum Lambda Calculi. Proceedings of the 26th International Conference on Concurrency Theory (CONCUR-15), 427-440. View Details
19. Y. Feng and M. Ying. Toward automatic verification of quantum cryptographic protocols. Proceedings of the 26th International Conference on Concurrency Theory (CONCUR-15), 441-455. View Details
20. L. Li and Y. Feng. Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties. Information and Computation 2015, 244: 229-244. View Details
21. Y. Feng, Y. Deng, M. Ying. Symbolic bisimulation for quantum processes. ACM Transactions on Computational Logic 2014, 15(2):14:1-14:32. View Details
22. Y. Feng, L. Zhang. When Equivalence and Bisimulation Join Forces in Probabilistic Automata. Proceedings of the 19th International Symposium on Formal Methods (FM-14), LNCS 8442, 247-262. View Details
23. T. Chen, Y. Feng, D. Rosenblum, and G. Su. Perturbation Analysis in Verification of Discrete-Time Markov Chains. Proceedings of the 25th International Conference on Concurrency Theory (CONCUR-14), LNCS 8704, 218-233. View Details
24. Y. Feng, L. Zhang. A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman's Algorithm. Proceedings of the 25th International Conference on Concurrency Theory (CONCUR-14), LNCS 8704, 342-356. View Details
25. M. Ying, Y. Li, N. Yu, and Y. Feng. Model-Checking Linear-Time Properties of Quantum Systems. ACM Transactions on Computational Logic 2014, 15(3): 22:1-22:31. View Details
26. Y. Feng, N. Yu, and M. Ying. Model checking quantum Markov chains. Journal of Computer and System Sciences 2013, 79, 1181-1198. View Details
27. Y. Feng, L. Zhang. A tighter bound for the self-stabilization time in Herman's algorithm. Information Processing Letters 2013, 113(13): 486-488. View Details
28. M. Ying, N. Yu, Y. Feng, and R. Duan. Verification of quantum programs. Science of Computer Programming 2013, 78, 1679-1700. View Details
29. S. Ying, Y. Feng, N. Yu, and M. Ying. Reachability probabilities of quantum Markov chains. Proceedings of the 24th International Conference on Concurrency Theory (CONCUR-13), 334-348. View Details
30. Y. Feng, N. Yu, and M. Ying. Reachability of recursive quantum Markov chains. Proceedings of the 38th Int. Symp. on Mathematical Foundations of Computer Science (MFCS-13), 385-396. View Details
31. M. Ying, Y. Feng, and N. Yu. Quantum information-flow security - noninterference and access control. Proceedings of IEEE 26th Computer Security Foundations Symposium (CSF-13), 130-144. View Details
32. Y. Feng and M. Ying. Termination analysis of recursive quantum Markov chains. 12th Asian Conference on Quantum Information Science (AQIS-12), Long talk. View Details
33. Y. Deng and Y. Feng. Open bisimulation for quantum processes. In Proc. IFIP TCS-12, LNCS. View Details
34. Y. Feng, R. Duan, and M. Ying. Bisimulation for Quantum Processes. ACM Transactions on Programming Languages and Systems (TOPLAS) 2012, vol.34(4), no.17. View Details
35. Yuan Feng, Runyao Duan, and Mingsheng Ying. Bisimulation for quantum processes. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-11), 523-534. View Details
36. M. Ying and Y. Feng, A Flowchart Language for Quantum Programming, IEEE Transactions on Software Engineering 2011, 37(4), 466-485. View Details
37. Mingsheng Ying and Yuan Feng. Qunatum Loop Programs. Acta Informatica 2010, 47(4): 221-250. View Details
38. Runyao Duan, Yuan Feng, and Mingsheng Ying. The Perfect distinguishability of quantum operations. AQIS'10, 10'th Asian Conference on Quantum Information Science 2010, Tokyo, Japan, August 27—31, 2010. (Long talk). View Details
39. Mingsheng Ying, Runyao Duan, Yuan Feng and Zhengfeng Ji. Predicate transformer semantics of quantum programs, in S. Gay and I. Mackie (eds.), Semantic Techniques in Quantum Computation. Cambridge University Press 2009. View Details
40. Yuan Feng and Yaoyun Shi. Characterizing locally distinguishable orthogonal product states. IEEE Transactions on Information Theory 2009, 55(3): 2799-2806. 7 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details
41. Mingsheng Ying and Yuan Feng. An algebraic language for distributed quantum computing. IEEE Transactions on Computers 2009, 58: 728-743. 15 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details
42. Runyao Duan, Yuan Feng, and Mingsheng Ying. Perfect distinguishability of quantum operations, Physical Review Letters 2009, 103(21): 210501. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details
43. Runyao Duan, Yuan Feng, Yu Xin, and Mingsheng Ying. Distinguishability of quantum states by separable operations. IEEE Transactions on Information Theory 2009, 55(3): 1320-1330. 11 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details
44. Yuan Feng, Runyao Duan, and Mingsheng Ying. Locally undetermined states, generalized Schmidt decomposition, and application in distributed computing. Quantum Information and Computation 2009, 9(11-12): 997-1012. 16 pages. (ARC ranked A, 2008 ISI impact factor:3.379). View Details
45. Mingsheng Ying, Yuan Feng, Runyao Duan, and Zhengfeng Ji. An algebra of quantum processes. ACM Transactions on Computational Logic (TOCL) 2009, 10(3): 19. (ARC ranked A, 2008 ISI impact factor:2.766). View Details
46. Runyao Duan, Yuan Feng, and Mingsheng Ying. Local distinguishability of multipartite unitary operations. Physical Review Letters 2008, 100(2):020503. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details
47. Zhengfeng Ji, Guoming Wang, Runyao Duan, Yuan Feng, and Mingsheng Ying. Parameter estimation of quantum channels. IEEE Transactions on Information Theory 2008, 54(11): 5172-5185. 14 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details
48. Runyao Duan, Yuan Feng, and Mingsheng Ying. Entanglement is not necessary for perfect discrimination between unitary operations. Physical Review Letters 2007, 98(10): 100503. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details
49. Runyao Duan, Yuan Feng, Zhengfeng Ji, and Mingsheng Ying. Distinguishing arbitrary multipartite basis unambiguously using local operations and classical communication. Physical Review Letters 2007, 98(23): 230502. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details
50. Yuan Feng, Runyao Duan, Zhengfeng Ji, and Mingsheng Ying. Proof rules for purely quantum programs. Theoretical Computer Science 2007, 386:151-166. 16 pages. (ARC ranked A, 2008 ISI impact factor:0.806). View Details
51. Yuan Feng, Runyao Duan, Zhengfeng Ji, and Mingsheng Ying. Probabilistic bisimilarities between quantum processes. Information and Computation 2007, 205:1608-1639. 32 pages. (ARC ranked B, 2008 ISI impact factor:1.504). View Details
52. Mingsheng Ying, Jianxin Chen, Yuan Feng, and Runyao Duan. Commutativity of quantum weakest preconditions. Information Processing Letters 2007, 104(4):152-158. 7 pages. View Details
53. Runyao Duan, Yuan Feng, Yu Xin and Mingsheng Ying. Distinguishability of quantum states by separable operations. AQIS’07, 7'th Asian Conference on Quantum Information Science 2007, Kyoto, Japan, September 3 - 6, 2007. (Long talk). View Details
54. Zhengfeng Ji, Yuan Feng, Runyao Duan, and Mingsheng Ying. Identification and distance measures of measurement apparatus. Physical Review Letters 2006, 96(20):200401. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details
55. Runyao Duan, Yuan Feng, and Mingsheng Ying. Partial recovery of quantum entanglement. IEEE Transactions on Information Theory 2006, 52 (7): 3080-3104. 25 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details
56. Yuan Feng, Runyao Duan, and Zhengfeng Ji. Optimal dense coding with arbitrary pure entangled states. Physical Review A 2006, 74(1):012310. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
57. Zhengfeng Ji, Yuan Feng, Runyao Duan, and Mingsheng Ying. Boundary effect of deterministic dense coding. Physical Review A 2006, 73(3):034307. 3 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
58. Yuan Feng, Runyao Duan, and Mingsheng Ying. Relation between catalyst-assisted transformation and multiple-copy transformation for bipartite pure states. Physical Review A 2006, 74(4):042312. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
59. Runyao Duan, Zhengfeng Ji, Yuan Feng, and Mingsheng Ying. Some issues in quantum information theory. Journal of Computer Science and Technology 2006, 21(5): 776--789. 14 pages. View Details
60. Chi Zhang, Yuan Feng, and Mingsheng Ying. Unambiguous discrimination of mixed quantum states. Physics Letters A 2006, 353: 300-305. 6 pages. (ARC ranked B, 2008 ISI impact factor:). View Details
61. Yuan Feng, Runyao Duan, and Mingsheng Ying. Catalyst-assisted probabilistic entanglement transformation. IEEE Transactions on Information Theory 2005, 51(3):1090-1101. 12 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details
62. Runyao Duan, Yuan Feng, and Mingsheng Ying. Entanglement-assisted transformation is asymptotically equivalent to multiple-copy transformation. Physical Review A 2005, 72(2): 024306. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
63. Runyao Duan, Yuan Feng, Xin Li, and Mingsheng Ying. Trade-off between multiple-copy entanglement transformation and entanglement catalysis. Physical Review A 2005, 71(6): 062306. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
64. Zhengfeng Ji, Yuan Feng, and Mingsheng Ying. Local cloning of two product states. Physical Review A 2005, 72(3): 032324. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
65. Runyao Duan, Yuan Feng, Xin Li, and Mingsheng Ying. Multiple-copy entanglement transformation and entanglement catalysis. Physical Review A 2005, 71(4): 042319. 10 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
66. Runyao Duan, Yuan Feng, Zhengfeng Ji, and Mingsheng Ying. Efficiency of deterministic entanglement transformation. Physical Review A 2005, 71(2): 022305. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
67. Yuan Feng, Runyao Duan, Zhengfeng Ji, and Mingsheng Ying. Condition and capability of quantum state separation. Physical Review A 2005, 72(1): 012313. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
68. Yuan Feng, Runyao Duan, and Mingsheng Ying. Unambiguous discrimination between mixed quantum states. Physical Review A 2004, 70(1): 012308. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
69. Yuan Feng, Runyao Duan, and Mingsheng Ying. When catalysis is useful for probabilistic entanglement transformation. Physical Review A 2004, 69(6): 062310. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
70. Runyao Duan, Zhengfeng Ji, Yuan Feng, and Mingsheng Ying. Quantum operation, quantum Fourier transform and semi-definite programming. Physics Letters A 2004, 323(1): 48-56. 9 pages. (ARC ranked B, 2008 ISI impact factor:2.174). View Details
71. Yuan Feng and Mingsheng Ying. Process algebra approach to reasoning about concurrent actions. Journal of Computer Science and Technology 2004, 19(3): 364-373. 14 pages. View Details
72. Runyao Duan, Yuan Feng, and Mingsheng Ying. An equivalence of entanglement-assisted transformation and multiple-copy entanglement transformation. 2004. Unpublished. View Details
73. Yuan Feng, Shengyu Zhang, and Mingsheng Ying. Probabilistic cloning and deleting of quantum states. Physical Review A 2002, 65(4): 042324. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
74. Yuan Feng, Shengyu Zhang, and Mingsheng Ying. Universal and Original-Preserving Quantum Copying is Impossible. Physics Letters A 2002, 297:1. 9 pages. (ARC ranked B, 2008 ISI impact factor: ). View Details
75. Yuan Feng, Shengyu Zhang, Runyao Duan, and Mingsheng Ying. Lower bound on inconclusive probability of unambiguous discrimination. Physical Review A 2002, 66(6):062313. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
76. Xiaoming Sun, Shengyu Zhang, Yuan Feng, and Mingsheng Ying. Mathematical nature of and a family of lower bounds for the success probability of unambiguous discrimination. Physical Review A 2002, 65(4): 044306. 3 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
77. Shengyu Zhang, Yuan Feng, Xiaoming Sun, and Mingsheng Ying. Upper bound for the success probability of unambiguous discrimination among quantum states. Physical Review A 2001, 64(6): 062103. 3 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
Journal Articles
1. J. Guan, Y. Feng, M. Ying. Decomposition of Quantum Markov Chains. Journal of Computer and System Sciences 95: 55-68 (2018). View Details
2. Y. Feng, L. Zhang: Precisely deciding CSL formulas through approximate model checking for CTMCs. Journal of Computer and System Sciences 89: 361-371 (2017). View Details
3. Y. Deng, Y. Feng. Probabilistic Bisimilarity as Testing Equivalence. Information and Computation 257: 58-64 (2017). View Details
4. G. Su, Y. Feng, T. Chen, D. S. Rosenblum. Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters. IEEE Transactions on Software Engineering 42(7): 623--639 (2016). View Details
5. W. Chen, Y. Cao, H. Wang, and Y. Feng. Minimum guesswork discrimination between quantum states. Quantum Information and Computation 2015, 15 (9 &10): 737-758. View Details
6. L. Li, Y. Feng. On hybrid models of quantum finite automata. Journal of Computer and System Sciences 2015, 81(7): 1144-1158. View Details
7. Y. Feng, L. Zhang. A nearly optimal upper bound for the self-stabilization time in Herman's algorithm. Distributed Computing 2015, 28(4): 233-244. View Details
8. L. Li and Y. Feng. Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties. Information and Computation 2015, 244: 229-244. View Details
9. Y. Feng, Y. Deng, M. Ying. Symbolic bisimulation for quantum processes. ACM Transactions on Computational Logic 2014, 15(2):14:1-14:32. View Details
10. M. Ying, Y. Li, N. Yu, and Y. Feng. Model-Checking Linear-Time Properties of Quantum Systems. ACM Transactions on Computational Logic 2014, 15(3): 22:1-22:31. View Details
11. Y. Feng, N. Yu, and M. Ying. Model checking quantum Markov chains. Journal of Computer and System Sciences 2013, 79, 1181-1198. View Details
12. Y. Feng, L. Zhang. A tighter bound for the self-stabilization time in Herman's algorithm. Information Processing Letters 2013, 113(13): 486-488. View Details
13. M. Ying, N. Yu, Y. Feng, and R. Duan. Verification of quantum programs. Science of Computer Programming 2013, 78, 1679-1700. View Details
14. Y. Feng, R. Duan, and M. Ying. Bisimulation for Quantum Processes. ACM Transactions on Programming Languages and Systems (TOPLAS) 2012, vol.34(4), no.17. View Details
15. M. Ying and Y. Feng, A Flowchart Language for Quantum Programming, IEEE Transactions on Software Engineering 2011, 37(4), 466-485. View Details
16. Mingsheng Ying and Yuan Feng. Qunatum Loop Programs. Acta Informatica 2010, 47(4): 221-250. View Details
17. Yuan Feng and Yaoyun Shi. Characterizing locally distinguishable orthogonal product states. IEEE Transactions on Information Theory 2009, 55(3): 2799-2806. 7 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details
18. Mingsheng Ying and Yuan Feng. An algebraic language for distributed quantum computing. IEEE Transactions on Computers 2009, 58: 728-743. 15 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details
19. Runyao Duan, Yuan Feng, and Mingsheng Ying. Perfect distinguishability of quantum operations, Physical Review Letters 2009, 103(21): 210501. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details
20. Runyao Duan, Yuan Feng, Yu Xin, and Mingsheng Ying. Distinguishability of quantum states by separable operations. IEEE Transactions on Information Theory 2009, 55(3): 1320-1330. 11 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details
21. Yuan Feng, Runyao Duan, and Mingsheng Ying. Locally undetermined states, generalized Schmidt decomposition, and application in distributed computing. Quantum Information and Computation 2009, 9(11-12): 997-1012. 16 pages. (ARC ranked A, 2008 ISI impact factor:3.379). View Details
22. Mingsheng Ying, Yuan Feng, Runyao Duan, and Zhengfeng Ji. An algebra of quantum processes. ACM Transactions on Computational Logic (TOCL) 2009, 10(3): 19. (ARC ranked A, 2008 ISI impact factor:2.766). View Details
23. Runyao Duan, Yuan Feng, and Mingsheng Ying. Local distinguishability of multipartite unitary operations. Physical Review Letters 2008, 100(2):020503. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details
24. Zhengfeng Ji, Guoming Wang, Runyao Duan, Yuan Feng, and Mingsheng Ying. Parameter estimation of quantum channels. IEEE Transactions on Information Theory 2008, 54(11): 5172-5185. 14 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details
25. Runyao Duan, Yuan Feng, and Mingsheng Ying. Entanglement is not necessary for perfect discrimination between unitary operations. Physical Review Letters 2007, 98(10): 100503. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details
26. Runyao Duan, Yuan Feng, Zhengfeng Ji, and Mingsheng Ying. Distinguishing arbitrary multipartite basis unambiguously using local operations and classical communication. Physical Review Letters 2007, 98(23): 230502. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details
27. Yuan Feng, Runyao Duan, Zhengfeng Ji, and Mingsheng Ying. Proof rules for purely quantum programs. Theoretical Computer Science 2007, 386:151-166. 16 pages. (ARC ranked A, 2008 ISI impact factor:0.806). View Details
28. Yuan Feng, Runyao Duan, Zhengfeng Ji, and Mingsheng Ying. Probabilistic bisimilarities between quantum processes. Information and Computation 2007, 205:1608-1639. 32 pages. (ARC ranked B, 2008 ISI impact factor:1.504). View Details
29. Mingsheng Ying, Jianxin Chen, Yuan Feng, and Runyao Duan. Commutativity of quantum weakest preconditions. Information Processing Letters 2007, 104(4):152-158. 7 pages. View Details
30. Zhengfeng Ji, Yuan Feng, Runyao Duan, and Mingsheng Ying. Identification and distance measures of measurement apparatus. Physical Review Letters 2006, 96(20):200401. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details
31. Runyao Duan, Yuan Feng, and Mingsheng Ying. Partial recovery of quantum entanglement. IEEE Transactions on Information Theory 2006, 52 (7): 3080-3104. 25 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details
32. Yuan Feng, Runyao Duan, and Zhengfeng Ji. Optimal dense coding with arbitrary pure entangled states. Physical Review A 2006, 74(1):012310. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
33. Zhengfeng Ji, Yuan Feng, Runyao Duan, and Mingsheng Ying. Boundary effect of deterministic dense coding. Physical Review A 2006, 73(3):034307. 3 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
34. Yuan Feng, Runyao Duan, and Mingsheng Ying. Relation between catalyst-assisted transformation and multiple-copy transformation for bipartite pure states. Physical Review A 2006, 74(4):042312. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
35. Runyao Duan, Zhengfeng Ji, Yuan Feng, and Mingsheng Ying. Some issues in quantum information theory. Journal of Computer Science and Technology 2006, 21(5): 776--789. 14 pages. View Details
36. Chi Zhang, Yuan Feng, and Mingsheng Ying. Unambiguous discrimination of mixed quantum states. Physics Letters A 2006, 353: 300-305. 6 pages. (ARC ranked B, 2008 ISI impact factor:). View Details
37. Yuan Feng, Runyao Duan, and Mingsheng Ying. Catalyst-assisted probabilistic entanglement transformation. IEEE Transactions on Information Theory 2005, 51(3):1090-1101. 12 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details
38. Runyao Duan, Yuan Feng, and Mingsheng Ying. Entanglement-assisted transformation is asymptotically equivalent to multiple-copy transformation. Physical Review A 2005, 72(2): 024306. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
39. Runyao Duan, Yuan Feng, Xin Li, and Mingsheng Ying. Trade-off between multiple-copy entanglement transformation and entanglement catalysis. Physical Review A 2005, 71(6): 062306. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
40. Zhengfeng Ji, Yuan Feng, and Mingsheng Ying. Local cloning of two product states. Physical Review A 2005, 72(3): 032324. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
41. Runyao Duan, Yuan Feng, Xin Li, and Mingsheng Ying. Multiple-copy entanglement transformation and entanglement catalysis. Physical Review A 2005, 71(4): 042319. 10 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
42. Runyao Duan, Yuan Feng, Zhengfeng Ji, and Mingsheng Ying. Efficiency of deterministic entanglement transformation. Physical Review A 2005, 71(2): 022305. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
43. Yuan Feng, Runyao Duan, Zhengfeng Ji, and Mingsheng Ying. Condition and capability of quantum state separation. Physical Review A 2005, 72(1): 012313. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
44. Yuan Feng, Runyao Duan, and Mingsheng Ying. Unambiguous discrimination between mixed quantum states. Physical Review A 2004, 70(1): 012308. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
45. Yuan Feng, Runyao Duan, and Mingsheng Ying. When catalysis is useful for probabilistic entanglement transformation. Physical Review A 2004, 69(6): 062310. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
46. Runyao Duan, Zhengfeng Ji, Yuan Feng, and Mingsheng Ying. Quantum operation, quantum Fourier transform and semi-definite programming. Physics Letters A 2004, 323(1): 48-56. 9 pages. (ARC ranked B, 2008 ISI impact factor:2.174). View Details
47. Yuan Feng and Mingsheng Ying. Process algebra approach to reasoning about concurrent actions. Journal of Computer Science and Technology 2004, 19(3): 364-373. 14 pages. View Details
48. Runyao Duan, Yuan Feng, and Mingsheng Ying. An equivalence of entanglement-assisted transformation and multiple-copy entanglement transformation. 2004. Unpublished. View Details
49. Yuan Feng, Shengyu Zhang, and Mingsheng Ying. Probabilistic cloning and deleting of quantum states. Physical Review A 2002, 65(4): 042324. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
50. Yuan Feng, Shengyu Zhang, and Mingsheng Ying. Universal and Original-Preserving Quantum Copying is Impossible. Physics Letters A 2002, 297:1. 9 pages. (ARC ranked B, 2008 ISI impact factor: ). View Details
51. Yuan Feng, Shengyu Zhang, Runyao Duan, and Mingsheng Ying. Lower bound on inconclusive probability of unambiguous discrimination. Physical Review A 2002, 66(6):062313. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
52. Xiaoming Sun, Shengyu Zhang, Yuan Feng, and Mingsheng Ying. Mathematical nature of and a family of lower bounds for the success probability of unambiguous discrimination. Physical Review A 2002, 65(4): 044306. 3 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
53. Shengyu Zhang, Yuan Feng, Xiaoming Sun, and Mingsheng Ying. Upper bound for the success probability of unambiguous discrimination among quantum states. Physical Review A 2001, 64(6): 062103. 3 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details
Conference Papers
1. C. Fu, A. Turrini, X. Huang, L. Song, Y. Feng, L. Zhang. Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI-18), 4757-4763 (2018).View Details
2. G. Su, T. Chen, Y. Feng, and D. S. Rosenblum. ProEva: Runtime Proactive Performance Evaluation Based on Continuous-Time Markov Chains. Proceedings of the 39th International Conference on Software Engineering (ICSE-17), 484--495 (2017).View Details
3. Y. Feng, E. M. Hahn, A. Turrini, and S. Ying. Model Checking $omega$-regular Properties for Quantum Markov Chains. Proceedings of the 28th International Conference on Concurrency Theory (CONCUR-17), 35:1-35:16 (2017).View Details
4. Y. Deng and Y. Feng. Bisimulations for Probabilistic Lambda Calculi. Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering (TASE-17), 1-8 (2017).View Details
5. Y. Li, L. Song, Y. Feng, L. Zhang. Verify LTL with Fairness Assumptions Efficiently. Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning (TIME-16), 41--50 (2016)View Details
6. G. Su, T. Chen, Y. Feng, D. S. Rosenblum, and P.S. Thiagarajan. An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-Adaptive System. Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering (FASE-16), 269--286 (2016).View Details
7. L. Song, Y. Feng, and L. Zhang. Decentralized Bisimulation for Multiagent Systems. Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-15), 209-217.View Details
8. Y. Feng, E. M. Hahn, A. Turrini and L. Zhang. QPMC: A Model Checker for Quantum Programs and Protocols. Proceedings of the 20th International Symposium on Formal Methods (FM-15) LNCS 9109, 265-272.View Details
9. L. Song, Y. Feng, and L. Zhang. Planning for Stochastic Games with Co-safe Objectives. Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-15),1682-1688.View Details
10. C. Zhou and Y. Feng. Extend Transferable Belief Models with Probabilistic Priors. Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI-15).View Details
11. Y. Deng, Y. Feng and U. Lago. On Coinduction and Quantum Lambda Calculi. Proceedings of the 26th International Conference on Concurrency Theory (CONCUR-15), 427-440.View Details
12. Y. Feng and M. Ying. Toward automatic verification of quantum cryptographic protocols. Proceedings of the 26th International Conference on Concurrency Theory (CONCUR-15), 441-455.View Details
13. Y. Feng, L. Zhang. When Equivalence and Bisimulation Join Forces in Probabilistic Automata. Proceedings of the 19th International Symposium on Formal Methods (FM-14), LNCS 8442, 247-262.View Details
14. T. Chen, Y. Feng, D. Rosenblum, and G. Su. Perturbation Analysis in Verification of Discrete-Time Markov Chains. Proceedings of the 25th International Conference on Concurrency Theory (CONCUR-14), LNCS 8704, 218-233.View Details
15. Y. Feng, L. Zhang. A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman's Algorithm. Proceedings of the 25th International Conference on Concurrency Theory (CONCUR-14), LNCS 8704, 342-356.View Details
16. S. Ying, Y. Feng, N. Yu, and M. Ying. Reachability probabilities of quantum Markov chains. Proceedings of the 24th International Conference on Concurrency Theory (CONCUR-13), 334-348.View Details
17. Y. Feng, N. Yu, and M. Ying. Reachability of recursive quantum Markov chains. Proceedings of the 38th Int. Symp. on Mathematical Foundations of Computer Science (MFCS-13), 385-396.View Details
18. M. Ying, Y. Feng, and N. Yu. Quantum information-flow security - noninterference and access control. Proceedings of IEEE 26th Computer Security Foundations Symposium (CSF-13), 130-144.View Details
19. Y. Feng and M. Ying. Termination analysis of recursive quantum Markov chains. 12th Asian Conference on Quantum Information Science (AQIS-12), Long talk.View Details
20. Y. Deng and Y. Feng. Open bisimulation for quantum processes. In Proc. IFIP TCS-12, LNCS. View Details
21. Yuan Feng, Runyao Duan, and Mingsheng Ying. Bisimulation for quantum processes. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-11), 523-534.View Details
22. Runyao Duan, Yuan Feng, and Mingsheng Ying. The Perfect distinguishability of quantum operations. AQIS'10, 10'th Asian Conference on Quantum Information Science 2010, Tokyo, Japan, August 27—31, 2010. (Long talk).View Details
23. Runyao Duan, Yuan Feng, Yu Xin and Mingsheng Ying. Distinguishability of quantum states by separable operations. AQIS’07, 7'th Asian Conference on Quantum Information Science 2007, Kyoto, Japan, September 3 - 6, 2007. (Long talk).View Details
Book Chapters
1. Mingsheng Ying, Runyao Duan, Yuan Feng and Zhengfeng Ji. Predicate transformer semantics of quantum programs, in S. Gay and I. Mackie (eds.), Semantic Techniques in Quantum Computation. Cambridge University Press 2009. View Details
