Mingsheng Ying
Scholar

Mingsheng Ying

Google Scholar ID: jjPif6cAAAAJ
University of Technology Syeney
Quantum computation and quantum informationsemantics of programming languageslogics in
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
4,092
 
H-index
34
 
i10-index
108
 
Publications
20
 
Co-authors
12
list available
Contact
No contact links provided.
Publications
14 items
Symbolic Specification and Reasoning for Quantum Data and Operations
2025
Cited
0
QReach: A Reachability Analysis Tool for Quantum Markov Chains
2025
Cited
0
Borrowing Dirty Qubits in Quantum Programs
2025
Cited
0
Advancing Quantum State Preparation using LimTDD
2025
Cited
0
Quantum State Preparation Based on LimTDD
2025
Cited
0
Access Control Threatened by Quantum Entanglement
2025
Cited
0
Quantum Speedup for Hypergraph Sparsification
2025
Cited
0
Efficient Formal Verification of Quantum Error Correcting Programs
2025
Cited
0
Resume (English only)
Co-authors
12 total
Yuan Feng
Yuan Feng
Tsinghua University
Co-author 2
Co-author 2
Nengkun Yu
Nengkun Yu
Stony Brook University
Sanjiang Li
Sanjiang Li
Professor, University of Technology Sydney
Guoming Wang
Guoming Wang
PsiQuantum
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Jianxin Chen
Jianxin Chen
Tsinghua University