指纹
深入其中 Yuxin Deng 为活跃的研究主题。这些主题标签来自此人的成果。它们共同形成唯一的指纹。
- 1 相似简介
最近五年的合作关系和顶尖研究领域
最近的国家/地区级外部合作关系。点击圆点，以了解详细信息或
-
DMapS: End-to-End Qubit Mapping and Routing for Distributed Quantum Computing Architectures
Luo, T., Zheng, Y., Deng, Y. & Fu, X., 1 5月 2026, 在: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 45, 5, 页码 2095-2108 14 页码科研成果: 期刊稿件 › 文章 › 同行评审
-
Hierarchical QAOA circuit design framework for distributed quantum computing
Luo, T. Y. & Deng, Y. X., 4月 2026, 在: Chinese Physics B. 35, 4科研成果: 期刊稿件 › 文章 › 同行评审
开放访问 -
A binary integer programming-based method for qubit mapping in sparse architectures
Jiang, H., Fu, J., Deng, Y. & Wu, J., 3月 2025, 在: Acta Informatica. 62, 1, 4.科研成果: 期刊稿件 › 文章 › 同行评审
开放访问 -
An Assertion-Based Logic for Local Reasoning about Probabilistic Programs
Wu, H., Cui, A. & Deng, Y., 2025, Dependable Software Engineering. Theories, Tools, and Applications - 10th International Symposium, SETTA 2024, Proceedings. Bourke, T., Chen, L. & Goharshady, A. (编辑). Springer Science and Business Media Deutschland GmbH, 页码 25-45 21 页码 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 15469 LNCS).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
-
CHECKING CONTINUOUS STOCHASTIC LOGIC AGAINST QUANTUM CONTINUOUS-TIME MARKOV CHAINS
Xu, M., Mei, J., Guan, J., Deng, Y. & Yu, N., 2025, 在: Logical Methods in Computer Science. 21, 4科研成果: 期刊稿件 › 文章 › 同行评审
开放访问