Concepedia

Mengyu Zhao

MZ

Statistics

Publications

2

Citations

24

H-Index

2

Active since

2021

Affiliations

University of Chinese Academy of Sciences(Current)

Institute of Software

Mengyu Zhao is an author at University of Chinese Academy of Sciences specializing in fault-tolerant quantum computing, fault-tolerant quantum computation, and quantum computation.

ORCID

Publications per year

2021–2025

2

Publications

2

Efficient Formal Verification of Quantum Error Correcting Programs

Qifan Huang, Li Zhou, Wang Fang et al. · Proceedings of the ACM on Programming Languages · 2025 · 13 citations · Full text

, , +16

NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem

Jiejiang Chen, Shaowei Cai, Shiwei Pan et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2021 · 11 citations · Full text

, , +14

1–2 of 2