Fingerprint
Dive into the research topics where Yuxin Deng is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
DMapS: End-to-End Qubit Mapping and Routing for Distributed Quantum Computing Architectures
Luo, T., Zheng, Y., Deng, Y. & Fu, X., 1 May 2026, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 45, 5, p. 2095-2108 14 p.Research output: Contribution to journal › Article › peer-review
-
Hierarchical QAOA circuit design framework for distributed quantum computing
Luo, T. Y. & Deng, Y. X., Apr 2026, In: Chinese Physics B. 35, 4Research output: Contribution to journal › Article › peer-review
Open Access -
A binary integer programming-based method for qubit mapping in sparse architectures
Jiang, H., Fu, J., Deng, Y. & Wu, J., Mar 2025, In: Acta Informatica. 62, 1, 4.Research output: Contribution to journal › Article › peer-review
Open Access -
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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 25-45 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15469 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
CHECKING CONTINUOUS STOCHASTIC LOGIC AGAINST QUANTUM CONTINUOUS-TIME MARKOV CHAINS
Xu, M., Mei, J., Guan, J., Deng, Y. & Yu, N., 2025, In: Logical Methods in Computer Science. 21, 4Research output: Contribution to journal › Article › peer-review
Open Access