Scholar
Mingsheng Ying
Google Scholar ID: jjPif6cAAAAJ
University of Technology Syeney
Quantum computation and quantum information
semantics of programming languages
logics in
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
4,092
H-index
34
i10-index
108
Publications
20
Co-authors
12
list available
Publications
20 items
Quantisation of Abstract Data Types
2026
Cited
0
QisMC: A Model Checker for QISKIT Program Debugging
2026
Cited
0
Resource Estimation for Fault-Tolerant Quantum Programs
2026
Cited
0
Reasoning about Continuous-Variable Quantum Systems
2026
Cited
0
A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
2026
Cited
0
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
2026
Cited
0
Symbolic Specification and Reasoning for Quantum Data and Operations
2025
Cited
0
QReach: A Reachability Analysis Tool for Quantum Markov Chains
2025
Cited
0
Load more
Co-authors
7 total
Yuan Feng
Tsinghua University
Nengkun Yu
Stony Brook University
Sanjiang Li
Professor, University of Technology Sydney
Guoming Wang
PsiQuantum
Jianxin Chen
Tsinghua University
Lirong Xia
Professor of Computer Science, Rutgers University - New Brunswick; Deputy Director of DIMACS
Zhengfeng Ji
University of Technology Sydney
