Mingsheng Ying

University of Technology Sydney — Australia

Computer Science · Physical Sciences

47h-index7.0kcitations418works1.42yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Quantum Computing Algorithms and Architecture(266), Quantum Information and Cryptography(195), Quantum Mechanics and Applications(133), Advanced Algebra and Logic(43), Computability, Logic, AI Algorithms(39)

Publications417 total

An Expressive Assertion Language for Quantum Programs
Proceedings of the ACM on Programming Languages·2026Open Access
Quantum State Preparation Based on LimTDD
2025· 1 cited
Laws of Quantum Programming
ACM Transactions on Software Engineering and Methodology·2025
Exploring the Frontiers of Animation Video Generation in the Sora Era: Method, Dataset and Benchmark
2025
Evaluating the Role of Model Size in Agentic AI for Expert-Like Material Selection
2025
Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps
arXiv (Cornell University)·2025Open Access
Quantum State Preparation Based on LimTDD
ArXiv.org·2025Open Access
Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
Proceedings of the ACM on Programming Languages·2025· 2 citedOpen Access
Efficient Formal Verification of Quantum Error Correcting Programs
Proceedings of the ACM on Programming Languages·2025· 10 citedOpen Access
A Divide-And-Conquer Pebbling Strategy for Oracle Synthesis in Quantum Computing
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2025Open Access
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs
Journal of the ACM·2025· 1 cited
Quantum Speedup for Hypergraph Sparsification
arXiv (Cornell University)·2025Open Access
LimTDD: A Compact Decision Diagram Integrating Tensor and Local Invertible Map Representations
arXiv (Cornell University)·2025Open Access
Image Computation for Quantum Transition Systems
2025· 2 cited
Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
arXiv (Cornell University)·2025Open Access
Image Computation for Quantum Transition Systems
arXiv (Cornell University)·2025Open Access
Isolation, structural characterization and multiple activity of a novel exopolysaccharide produced by Gelidibacter sp. PG–2
International Journal of Biological Macromolecules·2025· 5 cited
Differential Privacy of Quantum and Quantum-Inspired Classical Recommendation Algorithms
arXiv (Cornell University)·2025Open Access
Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2025
A Practical Quantum Hoare Logic with Classical Variables, I
SSRN Electronic Journal·2025· 1 citedOpen Access
page 1 of 21Next →

Frequent Co-authors

Runyao Duan(16), Yuan Feng(15), Nengkun Yu(8), Zhengfeng Ji(6), Sanjiang Li(3), Li Zhou(3), Simon J. Gay(3), Yongzhi Cao(2), Xiaoming Sun(2), Shuangshuang Zhang(1), Jun Yu(1), Wangcheng Zhan(1), Li Wang(1), Yun Guo(1), Yanglong Guo(1), Guoming Wang(1), Gushu Li(1), Yufei Ding(1), Yuan Xie(1), Yang Cao(1)