pith. sign in

Mingsheng Ying

Identifiers

  • name variant Mingsheng Ying 0.60 · backfill

Papers (102)

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

Mentions

  • 1507.05278 #2 · backfill · confidence 0.70 Mingsheng Ying
  • 1406.6146 #2 · backfill · confidence 0.70 Mingsheng Ying
  • 1405.4443 #1 · backfill · confidence 0.70 Mingsheng Ying
  • 1403.4344 #2 · backfill · confidence 0.70 Mingsheng Ying
  • 1402.5172 #1 · backfill · confidence 0.70 Mingsheng Ying
  • 1401.6249 #2 · backfill · confidence 0.70 Mingsheng Ying
  • 2605.29877 #2 · arxiv_oai · confidence 0.70 Mingsheng Ying
  • 1304.0060 #4 · backfill · confidence 0.70 Mingsheng Ying
  • 1301.6804 #1 · backfill · confidence 0.70 Mingsheng Ying
  • 1301.3727 #2 · backfill · confidence 0.70 Mingsheng Ying
  • 1301.3372 #3 · backfill · confidence 0.70 Mingsheng Ying
  • 2605.23358 #4 · arxiv_oai · confidence 0.70 Mingsheng Ying
  • 1210.2125 #2 · backfill · confidence 0.70 Mingsheng Ying
  • 1209.4379 #1 · backfill · confidence 0.70 Mingsheng Ying
  • 1209.4222 #3 · backfill · confidence 0.70 Mingsheng Ying
  • 1206.1935 #2 · backfill · confidence 0.70 Mingsheng Ying
  • 1205.2187 #3 · backfill · confidence 0.70 Mingsheng Ying
  • 1202.3484 #3 · backfill · confidence 0.70 Mingsheng Ying
  • 1201.0891 #3 · backfill · confidence 0.70 Mingsheng Ying
  • 1107.3224 #3 · backfill · confidence 0.70 Mingsheng Ying
  • 1106.4063 #1 · backfill · confidence 0.70 Mingsheng Ying
  • 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