Han-Ru Jiang

最新发表

(2021). Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features. ACM Transactions on Quantum Computing.

引用 DOI URL

(2021). Symbolic Reasoning About Quantum Circuits in Coq. Journal of Computer Science and Technology.

引用 DOI URL