pith. sign in

Mingsheng Ying

Identifiers

  • name variant Mingsheng Ying 0.60 · backfill

Papers (100)

  1. QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits quant-ph · 2026 · author #3
  2. A Practical Quantum Hoare Logic with Classical Variables, I cs.PL · 2024 · author #1
  3. Model Checking Applied to Quantum Physics quant-ph · 2019 · author #4
  4. A Logic for Recursive Quantum Programs cs.LO · 2018 · author #2
  5. Quantitative Robustness Analysis of Quantum Programs (Extended Version) cs.PL · 2018 · author #4
  6. Toward Automatic Verification of Quantum Programs quant-ph · 2018 · author #1
  7. Model Checking Quantum Systems --- A Survey quant-ph · 2018 · author #1
  8. Quantum Supremacy Circuit Simulation on Sunway TaihuLight quant-ph · 2018 · author #3
  9. Quantum Coupling and Strassen Theorem quant-ph · 2018 · author #4
  10. The Structure of Decoherence-free Subsystems quant-ph · 2018 · author #3
  11. $Q|SI\rangle$: A Quantum Programming Environment quant-ph · 2017 · author #8
  12. Super-activating Quantum Memory with Entanglement quant-ph · 2017 · author #3
  13. Quantum Privacy-Preserving Perceptron quant-ph · 2017 · author #2
  14. Quantum Privacy-Preserving Data Analytics quant-ph · 2017 · author #2
  15. Decomposition of Quantum Markov Chains and Its Applications quant-ph · 2016 · author #3
  16. A Theorem Prover for Quantum Hoare Logic and Its Applications cs.LO · 2016 · author #4
  17. Quantum Privacy-Preserving Data Mining quant-ph · 2015 · author #2
  18. Toward automatic verification of quantum cryptographic protocols cs.CR · 2015 · author #2
  19. Reachability Analysis of Quantum Markov Decision Processes quant-ph · 2014 · author #2
  20. Quantum Recursion and Second Quantisation quant-ph · 2014 · author #1
  21. Debugging Quantum Processes Using Monitoring Measurements quant-ph · 2014 · author #2
  22. Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs cs.PL · 2014 · author #1
  23. (Un)decidable Problems about Reachability of Quantum Systems cs.LO · 2014 · author #2
  24. Reachability Probabilities of Quantum Markov Chains quant-ph · 2013 · author #4
  25. Quantum Information-Flow Security: Noninterference and Access Control cs.CR · 2013 · author #1
  26. Optimal simulation of three-qubit gates quant-ph · 2013 · author #2
  27. Five Two-Qubit Gates Are Necessary for Implementing Toffoli Gate quant-ph · 2013 · author #3
  28. Session Communication and Integration cs.PL · 2012 · author #2
  29. Defining Quantum Control Flow quant-ph · 2012 · author #1
  30. Distinguishability of Quantum States by Positive Operator-Valued Measures with Positive Partial Transpose quant-ph · 2012 · author #3
  31. Reachability and Termination Analysis of Concurrent Quantum Programs cs.LO · 2012 · author #2
  32. Model checking quantum Markov chains quant-ph · 2012 · author #3
  33. Symbolic bisimulation for quantum processes cs.LO · 2012 · author #3
  34. Termination of Nondeterministic Quantum Programs cs.LO · 2012 · author #3
  35. Four Locally Indistinguishable Ququad-Ququad Orthogonal Maximally Entangled States quant-ph · 2011 · author #3
  36. Verification of Quantum Programs cs.LO · 2011 · author #1
  37. Model-Checking Linear-Time Properties of Quantum Systems quant-ph · 2010 · author #1
  38. Another Quantum Lov\'{a}sz Local Lemma quant-ph · 2010 · author #1
  39. Any $2\otimes n$ subspace is locally distinguishable quant-ph · 2010 · author #3
  40. Bisimulation for quantum processes quant-ph · 2010 · author #3
  41. Non-Additivity of Minimum Output p-$\mathbf{R\acute{e}nyi}$ Entropy quant-ph · 2010 · author #2
  42. Local Unambiguous Discrimination with Remaining Entanglement quant-ph · 2009 · author #3
  43. Reasoning about Cardinal Directions between Extended Objects cs.AI · 2009 · author #4
  44. The Perfect Distinguishability of Quantum Operations quant-ph · 2009 · author #3
  45. Optimal Simulation of a Perfect Entangler quant-ph · 2009 · author #3
  46. Hoare Logic for Quantum Programs quant-ph · 2009 · author #1
  47. Ancilla-Assisted Discrimination of Quantum Gates quant-ph · 2008 · author #2
  48. Locally undetermined states, generalized Schmidt decomposition, and an application in distributed computing quant-ph · 2008 · author #3
  49. Perfect many-to-one teleportation with stabilizer states quant-ph · 2007 · author #2
  50. Deterministic distributed dense coding with stabilizer states quant-ph · 2007 · author #2
  51. The LU-LC conjecture is false quant-ph · 2007 · author #4
  52. Locally Indistinguishable Subspaces Spanned by Three-Qubit Unextendible Product Bases quant-ph · 2007 · author #3
  53. An Algebra of Quantum Processes quant-ph · 2007 · author #1
  54. Local Distinguishability of Multipartite Unitary Operations quant-ph · 2007 · author #3
  55. Distinguishability of Quantum States by Separable Operations quant-ph · 2007 · author #4
  56. Soft constraint abstraction based on semiring homomorphism cs.AI · 2007 · author #2
  57. Existence of Universal Entangler quant-ph · 2007 · author #4
  58. Multipartite unlockable bound entanglement in the stabilizer formalism quant-ph · 2007 · author #2
  59. Linearity and Quantum Adiabatic Theorem quant-ph · 2007 · author #2
  60. Distinguishing Arbitrary Multipartite Basis Unambiguously Using Local Operations and Classical Communication quant-ph · 2006 · author #4
  61. Discrimination between pure states and mixed states quant-ph · 2006 · author #3
  62. Parameter estimation of quantum channels quant-ph · 2006 · author #5
  63. Realization of positive-operator-valued measures by projective measurements without introducing ancillary dimensions quant-ph · 2006 · author #2
  64. Universal programmable devices for unambiguous discrimination quant-ph · 2006 · author #2
  65. Majorization in Quantum Adiabatic Algorithms quant-ph · 2006 · author #3
  66. Quantum loop programs quant-ph · 2006 · author #1
  67. Probabilistic Automata for Computing with Words cs.AI · 2006 · author #3
  68. Retraction and Generalized Extension of Computing with Words cs.AI · 2006 · author #2
  69. Quantum adiabatic evolutions that can't be used to design efficient algorithms quant-ph · 2006 · author #2
  70. Entanglement Is Not Necessary for Perfect Discrimination between Unitary Operations quant-ph · 2006 · author #3
  71. Boundary effect of deterministic dense coding quant-ph · 2006 · author #4
  72. Identification and Distance Measures of Measurement Apparatus quant-ph · 2006 · author #4
  73. Probabilistic bisimilarities between quantum processes cs.LO · 2006 · author #4
  74. Unambiguous discrimination among quantum operations quant-ph · 2005 · author #2
  75. Optimal universal programmable detectors for unambiguous discrimination quant-ph · 2005 · author #2
  76. A modified quantum adiabatic evolution for the Deutsch-Jozsa problem quant-ph · 2005 · author #2
  77. State-Based Control of Fuzzy Discrete Event Systems cs.DM · 2005 · author #2
  78. Proof rules for purely quantum programs cs.PL · 2005 · author #4
  79. Relational reasoning in the region connection calculus cs.AI · 2005 · author #3
  80. A relation between fidelity and quantum adiabatic evolution quant-ph · 2005 · author #2
  81. Local cloning of two product states quant-ph · 2005 · author #3
  82. Quantum search algorithm by adiabatic evolution under a priori probability quant-ph · 2004 · author #2
  83. Entanglement-assisted transformation is asymptotically equivalent to multiple-copy transformation quant-ph · 2004 · author #3
  84. Similarity-Based Supervisory Control of Discrete Event Systems cs.DM · 2004 · author #2
  85. Efficiency of Deterministic Entanglement Transformation quant-ph · 2004 · author #4
  86. Optimal conclusive discrimination of two states can be achieved locally quant-ph · 2004 · author #3
  87. Comparability of multipartite entanglement quant-ph · 2004 · author #3
  88. Observability and Decentralized Control of Fuzzy Discrete Event Systems cs.DM · 2004 · author #2
  89. Supervisory Control of Fuzzy Discrete Event Systems cs.DM · 2004 · author #2
  90. Catalyst-assisted Probabilistic Entanglement Transformation quant-ph · 2004 · author #3
  91. Multiple-copy entanglement transformation and entanglement catalysis quant-ph · 2004 · author #4
  92. Partial Recovery of Quantum Entanglement quant-ph · 2004 · author #3
  93. An Equivalence of Entanglement-Assisted Transformation and Multiple-Copy Entanglement Transformation quant-ph · 2004 · author #3
  94. A Theory of Computation Based on Quantum Logic (I) cs.LO · 2004 · author #1
  95. When Catalysis is Useful for Probabilistic Entanglement Transformation quant-ph · 2004 · author #3
  96. Unambiguous discrimination between quantum mixed states quant-ph · 2004 · author #3
  97. Relation Between Catalyst-assisted Entanglement Transformation and Multiple-copy Transformation quant-ph · 2003 · author #3
  98. Trade-off between multiple-copy transformation and entanglement catalysis quant-ph · 2003 · author #4
  99. The Existence of Quantum Entanglement Catalysts quant-ph · 2003 · author #3
  100. Quantum operation, quantum Fourier transform and semi-definite programming quant-ph · 2003 · author #4

Mentions

  • 1101.0303 #1 · backfill · confidence 0.70 Mingsheng Ying
  • 1010.5577 #1 · backfill · confidence 0.70 Mingsheng Ying
  • 1010.2664 #3 · backfill · confidence 0.70 Mingsheng Ying
  • 1007.2584 #3 · backfill · confidence 0.70 Mingsheng Ying
  • 1006.1733 #2 · backfill · confidence 0.70 Mingsheng Ying
  • 0912.5163 #3 · backfill · confidence 0.70 Mingsheng Ying
  • 0909.0138 #4 · backfill · confidence 0.70 Mingsheng Ying
  • 0908.0119 #3 · backfill · confidence 0.70 Mingsheng Ying
  • 0907.2733 #3 · backfill · confidence 0.70 Mingsheng Ying
  • 0906.4586 #1 · backfill · confidence 0.70 Mingsheng Ying
  • 0809.0336 #2 · backfill · confidence 0.70 Mingsheng Ying
  • 0808.2938 #3 · backfill · confidence 0.70 Mingsheng Ying
  • 0711.0462 #2 · backfill · confidence 0.70 Mingsheng Ying
  • 0710.4403 #2 · backfill · confidence 0.70 Mingsheng Ying
  • 0709.1266 #4 · backfill · confidence 0.70 Mingsheng Ying
  • 0708.3559 #3 · backfill · confidence 0.70 Mingsheng Ying
  • 0707.0330 #1 · backfill · confidence 0.70 Mingsheng Ying
  • 0705.1424 #3 · backfill · confidence 0.70 Mingsheng Ying
  • 0705.0795 #4 · backfill · confidence 0.70 Mingsheng Ying
  • 0705.0734 #2 · backfill · confidence 0.70 Mingsheng Ying
  • 0704.1473 #4 · backfill · confidence 0.70 Mingsheng Ying

Frequent Coauthors