Yu-Xin Deng

最新发表

Yuxin Deng, Yuan Feng (2022). Formal semantics of a classical-quantum language. Theoretical Computer Science.

引用 DOI URL

X. Fu, Jintao Yu, Xing Su, Hanru Jiang, Hua Wu, Fucheng Cheng, Xi Deng, Jinrong Zhang, Lei Jin, Yihang Yang, Le Xu, Chunchao Hu, Anqi Huang, Guangyao Huang, Xiaogang Qiang, Mingtang Deng, Ping Xu, Weixia Xu, Wanwei Liu, Yu Zhang, Yuxin Deng, Junjie Wu, Yuan Feng (2021). Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features. ACM Transactions on Quantum Computing.

引用 DOI URL

Wen-Jun Shi, Qin-Xiang Cao, Yu-Xin Deng, Han-Ru Jiang, Yuan Feng (2021). Symbolic Reasoning About Quantum Circuits in Coq. Journal of Computer Science and Technology.

引用 DOI URL

Yuxin Deng, Yuan Feng (2017). Bisimulations for probabilistic linear lambda calculi. 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE).

引用 DOI

Yuxin Deng, Yuan Feng (2017). Probabilistic bisimilarity as testing equivalence. Information and Computation.

引用 DOI URL

Yuan Feng, Yuxin Deng, Mingsheng Ying (2014). Symbolic Bisimulation for Quantum Processes. ACM Trans. Comput. Logic.

引用 DOI URL

Yuxin Deng, Yuan Feng (2012). Open Bisimulation for Quantum Processes. Theoretical Computer Science.

引用