Pith. sign in

Researcher Evidence Record

Mingsheng Ying

This bounded record lists 157 Pith paper rows and 0 imported work rows attributed to this corpus identity. The enumerated, non-disputed paper rows include quant-ph, cs.LO, cs.PL work dated 2003 to 2026. The record describes sources and coverage; it makes no judgment about the person.

Compiled coverage vector

Measured lane counts only. Not a trust score or person verdict.

Identity 2 canonical identity row plus typed public identifiers Pith papers 157 attributed paper rows in the Pith corpus, itemized below Imported works 0 imported works beyond the paper ledger Current reviews 5 of 157 papers carrying a current Pith review; presence, not outcome Sourced citations 22 of 157 works with a source-named citation count Coauthors 50 distinct coauthors across shared paper rows
Enumerated paper scope: 8 fields (quant-ph, cs.LO, cs.PL, +5 more) · 2003-2026 sources: authors, author_identifiers · paper_authors · author_works · current_verdicts · cited_works

A sourced case file for attributed work. It is neither a profile score nor a verdict about this researcher.

Attributed works

A bounded ledger from the Pith paper and imported-work queries. Counts and source confidence stay with each work.

  1. 2026 Pith paper

    Reasoning about Continuous-Variable Quantum Systems

    cs.LO provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  2. 2026 Pith paper

    Verifying Adversarial Robustness in Quantum Machine Learning: from theory to physical validation via a software tool

    quant-ph provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  3. 2026 Pith paper

    A Compilation Framework for Quantum Simulation of Non-unitary Dynamics

    quant-ph provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  4. 2026 Pith paper

    QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits

    quant-ph provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    backfill
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  5. 2025 Pith paper

    Borrowing Dirty Qubits in Quantum Programs

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  6. 2025 Pith paper

    Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps

    cs.DS provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    6
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  7. 2025 Pith paper

    Quantum State Preparation Based on LimTDD

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    6
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  8. 2025 Pith paper

    Access Control Threatened by Quantum Entanglement

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  9. 2025 Pith paper

    Quantum Speedup for Hypergraph Sparsification

    quant-ph provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  10. 2025 Pith paper

    Image Computation for Quantum Transition Systems

    cs.DS provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  11. 2024 Pith paper

    Laws of Quantum Programming

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  12. 2024 Pith paper

    A Practical Quantum Hoare Logic with Classical Variables, I

    cs.PL provisional current review present

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    backfill
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  13. 2024 Pith paper

    Control Flow Adaption: An Efficient Simulation Method For Noisy Quantum Networks

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  14. 2024 Pith paper

    BI-based Reasoning about Quantum Programs with Heap Manipulations

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  15. 2024 Pith paper

    Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  16. 2024 Pith paper

    VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models

    quant-ph provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 3 pith inbound references from cited_work_pith_inbound_counts
  17. 2024 Pith paper

    Measurement-based Verification of Quantum Markov Chains

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  18. 2024 Pith paper

    Atomicity in Distributed Quantum Computing

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  19. 2024 Pith paper

    Equivalence Checking of Parameterised Quantum Circuits

    quant-ph provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    7
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  20. 2024 Pith paper

    Verification of Recursively Defined Quantum Circuits

    quant-ph provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  21. 2023 Pith paper

    Symbolic Execution for Quantum Error Correction Programs

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  22. 2023 Pith paper

    SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  23. 2023 Pith paper

    Quantum Recursive Programming with Quantum Case Statements

    cs.PL provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  24. 2023 Pith paper

    Detecting Violations of Differential Privacy for Quantum Algorithms

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  25. 2023 Pith paper

    Decision Diagrams for Symbolic Verification of Quantum Circuits

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    8
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  26. 2022 Pith paper

    Fault Models in Superconducting quantum circuits

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  27. 2022 Pith paper

    Approximation Algorithm for Noisy Quantum Circuit Simulation

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  28. 2022 Pith paper

    Differentiable Quantum Programming with Unbounded Loops

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  29. 2022 Pith paper

    CoqQ: Foundational Verification of Quantum Programs

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  30. 2022 Pith paper

    Verifying Fairness in Quantum Machine Learning

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  31. 2022 Pith paper

    VeriQBench: A Benchmark for Multiple Types of Quantum Circuits

    quant-ph provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    8
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 4 pith inbound references from cited_work_pith_inbound_counts
  32. 2022 Pith paper

    isQ: Towards a Practical Software Stack for Quantum Programming

    quant-ph provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    8
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  33. 2022 Pith paper

    Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs

    cs.LO provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  34. 2022 Pith paper

    New Quantum Algorithms for Computing Quantum Entropies and Distances

    quant-ph provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  35. 2021 Pith paper

    Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  36. 2021 Pith paper

    Reasoning about Recursive Quantum Programs

    cs.LO provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  37. 2021 Pith paper

    Equivalence Checking of Dynamic Quantum Circuits

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  38. 2021 Pith paper

    Parallel Quantum Algorithm for Hamiltonian Simulation

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  39. 2021 Pith paper

    Verification of Distributed Quantum Programs

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  40. 2021 Pith paper

    Model Checking for Verification of Quantum Circuits

    quant-ph provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  41. 2021 Pith paper

    Approximate Equivalence Checking of Noisy Quantum Circuits

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  42. 2021 Pith paper

    Quantum Algorithm for Fidelity Estimation

    quant-ph provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    7
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  43. 2021 Pith paper

    A Quantum Interpretation of Bunched Logic for Quantum Separation Logic

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  44. 2020 Pith paper

    Software Pipelining for Quantum Loop Programs

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  45. 2020 Pith paper

    Quantum Algorithm for Lexicographically Minimal String Rotation

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  46. 2020 Pith paper

    Symbolic Verification of Quantum Circuits

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  47. 2020 Pith paper

    An HHL-Based Algorithm for Computing Hitting Probabilities of Quantum Random Walks

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  48. 2020 Pith paper

    A Tensor Network based Decision Diagram for Representation of Quantum Circuits

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  49. 2020 Pith paper

    Robustness Verification of Quantum Classifiers

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  50. 2020 Pith paper

    Quantum Hoare logic with classical variables

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  51. 2020 Pith paper

    Quantum Random Access Stored-Program Machines

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  52. 2019 Pith paper

    Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer

    cs.PL provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 2 pith inbound references from cited_work_pith_inbound_counts
  53. 2019 Pith paper

    Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs (Extended Version)

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  54. 2019 Pith paper

    Model Checking Applied to Quantum Physics

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  55. 2019 Pith paper

    Relational Proofs for Quantum Programs

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  56. 2019 Pith paper

    Equivalence Checking of Quantum Finite-State Machines

    cs.FL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  57. 2018 Pith paper

    A Logic for Recursive Quantum Programs

    cs.LO provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  58. 2018 Pith paper

    Equivalence Checking of Sequential Quantum Circuits

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  59. 2018 Pith paper

    Quantitative Robustness Analysis of Quantum Programs (Extended Version)

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  60. 2018 Pith paper

    Reasoning about Parallel Quantum Programs

    cs.LO provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  61. 2018 Pith paper

    Toward Automatic Verification of Quantum Programs

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  62. 2018 Pith paper

    Model Checking Quantum Systems --- A Survey

    quant-ph provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  63. 2018 Pith paper

    Quantum B\"uchi Automata

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  64. 2018 Pith paper

    Quantum Supremacy Circuit Simulation on Sunway TaihuLight

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  65. 2018 Pith paper

    Quantum Coupling and Strassen Theorem

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  66. 2018 Pith paper

    Quantum Earth mover's distance, No-go Quantum Kantorovich-Rubinstein theorem, and Quantum Marginal Problem

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  67. 2018 Pith paper

    The Structure of Decoherence-free Subsystems

    quant-ph provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  68. 2017 Pith paper

    $Q|SI\rangle$: A Quantum Programming Environment

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    8
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  69. 2017 Pith paper

    Super-activating Quantum Memory with Entanglement

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  70. 2017 Pith paper

    Quantum Privacy-Preserving Perceptron

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  71. 2017 Pith paper

    Quantum Privacy-Preserving Data Analytics

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  72. 2016 Pith paper

    Decomposition of Quantum Markov Chains and Its Applications

    quant-ph provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  73. 2016 Pith paper

    A Theorem Prover for Quantum Hoare Logic and Its Applications

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  74. 2015 Pith paper

    Quantum Privacy-Preserving Data Mining

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  75. 2015 Pith paper

    Toward automatic verification of quantum cryptographic protocols

    cs.CR provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  76. 2014 Pith paper

    Reachability Analysis of Quantum Markov Decision Processes

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  77. 2014 Pith paper

    Quantum Recursion and Second Quantisation

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  78. 2014 Pith paper

    Debugging Quantum Processes Using Monitoring Measurements

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  79. 2014 Pith paper

    Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs

    cs.PL provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  80. 2014 Pith paper

    (Un)decidable Problems about Reachability of Quantum Systems

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  81. 2013 Pith paper

    Reachability Probabilities of Quantum Markov Chains

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  82. 2013 Pith paper

    Quantum Information-Flow Security: Noninterference and Access Control

    cs.CR provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  83. 2013 Pith paper

    Optimal simulation of three-qubit gates

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  84. 2013 Pith paper

    Five Two-Qubit Gates Are Necessary for Implementing Toffoli Gate

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  85. 2012 Pith paper

    Session Communication and Integration

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  86. 2012 Pith paper

    Defining Quantum Control Flow

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  87. 2012 Pith paper

    Distinguishability of Quantum States by Positive Operator-Valued Measures with Positive Partial Transpose

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  88. 2012 Pith paper

    Reachability and Termination Analysis of Concurrent Quantum Programs

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  89. 2012 Pith paper

    Model checking quantum Markov chains

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  90. 2012 Pith paper

    Symbolic bisimulation for quantum processes

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  91. 2012 Pith paper

    Termination of Nondeterministic Quantum Programs

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  92. 2011 Pith paper

    Four Locally Indistinguishable Ququad-Ququad Orthogonal Maximally Entangled States

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  93. 2011 Pith paper

    Verification of Quantum Programs

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  94. 2010 Pith paper

    Model-Checking Linear-Time Properties of Quantum Systems

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  95. 2010 Pith paper

    Another Quantum Lov\'{a}sz Local Lemma

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  96. 2010 Pith paper

    Any $2\otimes n$ subspace is locally distinguishable

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  97. 2010 Pith paper

    Bisimulation for quantum processes

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  98. 2010 Pith paper

    Non-Additivity of Minimum Output p-$\mathbf{R\acute{e}nyi}$ Entropy

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  99. 2009 Pith paper

    Local Unambiguous Discrimination with Remaining Entanglement

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  100. 2009 Pith paper

    Reasoning about Cardinal Directions between Extended Objects

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  101. 2009 Pith paper

    The Perfect Distinguishability of Quantum Operations

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  102. 2009 Pith paper

    Optimal Simulation of a Perfect Entangler

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  103. 2009 Pith paper

    Hoare Logic for Quantum Programs

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  104. 2008 Pith paper

    Ancilla-Assisted Discrimination of Quantum Gates

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  105. 2008 Pith paper

    Locally undetermined states, generalized Schmidt decomposition, and an application in distributed computing

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  106. 2007 Pith paper

    Perfect many-to-one teleportation with stabilizer states

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  107. 2007 Pith paper

    Deterministic distributed dense coding with stabilizer states

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  108. 2007 Pith paper

    The LU-LC conjecture is false

    quant-ph provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 3 pith inbound references from cited_work_pith_inbound_counts
  109. 2007 Pith paper

    Locally Indistinguishable Subspaces Spanned by Three-Qubit Unextendible Product Bases

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  110. 2007 Pith paper

    An Algebra of Quantum Processes

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  111. 2007 Pith paper

    Local Distinguishability of Multipartite Unitary Operations

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  112. 2007 Pith paper

    Distinguishability of Quantum States by Separable Operations

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  113. 2007 Pith paper

    Soft constraint abstraction based on semiring homomorphism

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  114. 2007 Pith paper

    Existence of Universal Entangler

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  115. 2007 Pith paper

    Multipartite unlockable bound entanglement in the stabilizer formalism

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  116. 2007 Pith paper

    Linearity and Quantum Adiabatic Theorem

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  117. 2006 Pith paper

    Distinguishing Arbitrary Multipartite Basis Unambiguously Using Local Operations and Classical Communication

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  118. 2006 Pith paper

    Discrimination between pure states and mixed states

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  119. 2006 Pith paper

    Parameter estimation of quantum channels

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  120. 2006 Pith paper

    Realization of positive-operator-valued measures by projective measurements without introducing ancillary dimensions

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  121. 2006 Pith paper

    Universal programmable devices for unambiguous discrimination

    quant-ph provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  122. 2006 Pith paper

    Majorization in Quantum Adiabatic Algorithms

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  123. 2006 Pith paper

    Quantum loop programs

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  124. 2006 Pith paper

    Probabilistic Automata for Computing with Words

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  125. 2006 Pith paper

    Retraction and Generalized Extension of Computing with Words

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  126. 2006 Pith paper

    Quantum adiabatic evolutions that can't be used to design efficient algorithms

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  127. 2006 Pith paper

    Entanglement Is Not Necessary for Perfect Discrimination between Unitary Operations

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  128. 2006 Pith paper

    Boundary effect of deterministic dense coding

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  129. 2006 Pith paper

    Identification and Distance Measures of Measurement Apparatus

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  130. 2006 Pith paper

    Probabilistic bisimilarities between quantum processes

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  131. 2005 Pith paper

    Unambiguous discrimination among quantum operations

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  132. 2005 Pith paper

    Optimal universal programmable detectors for unambiguous discrimination

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  133. 2005 Pith paper

    A modified quantum adiabatic evolution for the Deutsch-Jozsa problem

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  134. 2005 Pith paper

    State-Based Control of Fuzzy Discrete Event Systems

    cs.DM provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  135. 2005 Pith paper

    Proof rules for purely quantum programs

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  136. 2005 Pith paper

    Relational reasoning in the region connection calculus

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  137. 2005 Pith paper

    A relation between fidelity and quantum adiabatic evolution

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  138. 2005 Pith paper

    Local cloning of two product states

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  139. 2004 Pith paper

    Quantum search algorithm by adiabatic evolution under a priori probability

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  140. 2004 Pith paper

    Entanglement-assisted transformation is asymptotically equivalent to multiple-copy transformation

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  141. 2004 Pith paper

    Similarity-Based Supervisory Control of Discrete Event Systems

    cs.DM provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  142. 2004 Pith paper

    Efficiency of Deterministic Entanglement Transformation

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  143. 2004 Pith paper

    Optimal conclusive discrimination of two states can be achieved locally

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  144. 2004 Pith paper

    Comparability of multipartite entanglement

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  145. 2004 Pith paper

    Observability and Decentralized Control of Fuzzy Discrete Event Systems

    cs.DM provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  146. 2004 Pith paper

    Supervisory Control of Fuzzy Discrete Event Systems

    cs.DM provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  147. 2004 Pith paper

    Catalyst-assisted Probabilistic Entanglement Transformation

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  148. 2004 Pith paper

    Multiple-copy entanglement transformation and entanglement catalysis

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  149. 2004 Pith paper

    Partial Recovery of Quantum Entanglement

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  150. 2004 Pith paper

    An Equivalence of Entanglement-Assisted Transformation and Multiple-Copy Entanglement Transformation

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  151. 2004 Pith paper

    A Theory of Computation Based on Quantum Logic (I)

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  152. 2004 Pith paper

    When Catalysis is Useful for Probabilistic Entanglement Transformation

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  153. 2004 Pith paper

    Unambiguous discrimination between quantum mixed states

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  154. 2003 Pith paper

    Relation Between Catalyst-assisted Entanglement Transformation and Multiple-copy Transformation

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  155. 2003 Pith paper

    Trade-off between multiple-copy transformation and entanglement catalysis

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  156. 2003 Pith paper

    The Existence of Quantum Entanglement Catalysts

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  157. 2003 Pith paper

    Quantum operation, quantum Fourier transform and semi-definite programming

    quant-ph provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Mingsheng Ying
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.

Evidence apparatus

The machinery behind this record. Every lane states whether Pith measured it, did not query it, could not reach it, or withheld it.

LaneStateObservedBoundary and source
identity Measured 2 Canonical identity row plus public typed identifiers.
source=authors, author_identifiers
papers Measured 157 of 157 bounded rows Rows attributed to this author UUID in the Pith corpus.
source=paper_authors
works Measured zero 0 of 0 bounded rows Imported works not duplicated by the paper ledger.
source=author_works
reviews Measured 5 of 157 bounded rows Coverage count only. No review outcome is projected onto the person.
source=current_verdicts
citations Measured 22 of 157 bounded rows Counts remain itemized by work and source.
source=cited_works
coauthors Measured 50 of 157 bounded rows Shared-work edges from admitted paper rows.
source=paper_authors
account Unavailable No public count of 1 bounded rows Account metadata is separate from corpus evidence.
source=users.author_id
Public identity sources
  • name variant
    Mingsheng Ying     backfill
    confidence 0.6

identity history

Enumerated research scope

Fields and dates come only from enumerated, non-disputed Pith paper rows. They do not claim career completeness.

  • quant-ph114 rows
  • cs.LO18 rows
  • cs.PL11 rows
  • cs.AI5 rows
  • cs.DM4 rows
  • cs.CR2 rows
  • cs.DS2 rows
  • cs.FL1 rows
  • 20034 rows
  • 200415 rows
  • 20058 rows
  • 200614 rows
  • 200711 rows
  • 20082 rows
  • 20095 rows
  • 20105 rows
  • 20112 rows
  • 20127 rows
  • 20134 rows
  • 20145 rows
  • 20152 rows
  • 20162 rows
  • 20174 rows
  • 201811 rows
  • 20195 rows
  • 20208 rows
  • 20219 rows
  • 20229 rows
  • 20235 rows
  • 202410 rows
  • 20256 rows
  • 20264 rows
Shared-work index
Record scope

The work queries are bounded. Missing rows may mean measured zero, an unavailable source, a query that did not run, or private data that Pith withheld. The lane table keeps those cases separate.

Paper findings remain attached to papers. They do not become findings about this researcher.