Yuxin Deng

1.5k total citations
59 papers, 546 citations indexed

About

Yuxin Deng is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Yuxin Deng has authored 59 papers receiving a total of 546 indexed citations (citations by other indexed papers that have themselves been cited), including 41 papers in Artificial Intelligence, 34 papers in Computational Theory and Mathematics and 6 papers in Computer Networks and Communications. Recurrent topics in Yuxin Deng's work include Formal Methods in Verification (25 papers), Logic, Reasoning, and Knowledge (18 papers) and Logic, programming, and type systems (18 papers). Yuxin Deng is often cited by papers focused on Formal Methods in Verification (25 papers), Logic, Reasoning, and Knowledge (18 papers) and Logic, programming, and type systems (18 papers). Yuxin Deng collaborates with scholars based in China, Australia and France. Yuxin Deng's co-authors include Matthew Hennessy, Catuscia Palamidessi, Jun Pang, Peihong Cheng, Jianxin Tang, Jun Zhu, Yan Xiao, Zai‐Quan Xu, Wenjie Du and Tom Chothia and has published in prestigious journals such as SHILAP Revista de lepidopterología, Applied Physics Letters and The FASEB Journal.

In The Last Decade

Yuxin Deng

47 papers receiving 525 citations

Peers

Yuxin Deng
A. L. Semenov Russia
Yanyan Jiang China
Wen‐Ai Jackson Australia
Woosuk Lee South Korea
Toshiya Itoh Japan
Hao Wei China
Huang Lin China
Jing Huang Canada
Colin H. West Switzerland
Kim Lauenroth Germany
A. L. Semenov Russia
Yuxin Deng
Citations per year, relative to Yuxin Deng Yuxin Deng (= 1×) peers A. L. Semenov

Countries citing papers authored by Yuxin Deng

Since Specialization
Citations

This map shows the geographic impact of Yuxin Deng's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Yuxin Deng with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Yuxin Deng more than expected).

Fields of papers citing papers by Yuxin Deng

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Yuxin Deng. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Yuxin Deng. The network helps show where Yuxin Deng may publish in the future.

Co-authorship network of co-authors of Yuxin Deng

This figure shows the co-authorship network connecting the top 25 collaborators of Yuxin Deng. A scholar is included among the top collaborators of Yuxin Deng based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Yuxin Deng. Yuxin Deng is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Chen, Zezhong, Yuxin Deng, & Wenjie Du. (2025). Trusta: Reasoning about assurance cases with formal methods and large language models. Science of Computer Programming. 244. 103288–103288. 1 indexed citations
2.
Zhou, Yongjiang, et al.. (2024). Willingness to utilize autonomous vehicles following accidents: A fresh perspective from mixed-methods research. Transportation Research Part F Traffic Psychology and Behaviour. 107. 643–667. 2 indexed citations
3.
Xu, Ming, et al.. (2024). Termination and Universal Termination Problems for Nondeterministic Quantum Programs. ACM Transactions on Software Engineering and Methodology. 33(8). 1–41.
4.
Fu, Xiang, et al.. (2024). Automatic architecture design for distributed quantum computing. Chinese Physics B. 33(12). 120302–120302. 1 indexed citations
5.
6.
Deng, Yuxin, et al.. (2024). Analysis of line spectral fluctuation characteristics for source depth discrimination in shallow water. Acta Physica Sinica. 73(13). 134301–134301.
7.
Deng, Yuxin, et al.. (2023). Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq. Journal of Circuits Systems and Computers. 33(6).
8.
Xu, Ming, et al.. (2021). An optimal quantum error-correcting procedure using quantifier elimination. Quantum Information Processing. 20(5).
9.
Chen, Yixiang, et al.. (2017). Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Fuzzy Sets and Systems. 333. 106–123. 27 indexed citations
10.
Deng, Yuxin, et al.. (2017). Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems. IEEE Transactions on Fuzzy Systems. 26(2). 416–429. 14 indexed citations
11.
Deng, Yuxin & Yuan Feng. (2017). Probabilistic bisimilarity as testing equivalence. Information and Computation. 257. 58–64.
12.
Deng, Yuxin, et al.. (2015). Logical characterizations of simulation and bisimulation for fuzzy transition systems. Fuzzy Sets and Systems. 301. 19–36. 48 indexed citations
13.
Deng, Yuxin, et al.. (2015). Program equivalence in linear contexts. Theoretical Computer Science. 585. 71–90.
14.
Deng, Yuxin & Matthew Hennessy. (2013). Compositional reasoning for weighted Markov decision processes. Science of Computer Programming. 78(12). 2537–2579. 2 indexed citations
15.
Deng, Yuxin & Alwen Tiu. (2012). Characterisations of testing preorders for a finite probabilistic π -calculus. Formal Aspects of Computing. 24(4-6). 701–726. 1 indexed citations
16.
Deng, Yuxin, et al.. (2009). Verifying Self-stabilizing Population Protocols with Coq. 201–208. 6 indexed citations
17.
Deng, Yuxin, et al.. (2008). Characterising Testing Preorders for Finite Probabilistic Processes. Logical Methods in Computer Science. 4(4). 33 indexed citations
18.
Deng, Yuxin. (2007). A Simple Completeness Proof for the Axiomatisations of Weak Behavioural Equivalences.. Bulletin of the European Association for Theoretical Computer Science. 93. 207–219. 1 indexed citations
19.
Deng, Yuxin & Wenjie Du. (2007). Probabilistic Barbed Congruence. Electronic Notes in Theoretical Computer Science. 190(3). 185–203. 6 indexed citations
20.
Deng, Yuxin & Yuxi Fu. (2001). Algorithm for Verifying Strong Open Bisimulation in Full Π-Calculus. Journal of Shanghai Jiaotong University (Science). 6(2). 147–152.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by A. L. Semenov Breakdown of academic impact, for papers by Yanyan Jiang Breakdown of academic impact, for papers by Wen‐Ai Jackson Breakdown of academic impact, for papers by Woosuk Lee Breakdown of academic impact, for papers by Toshiya Itoh Breakdown of academic impact, for papers by Hao Wei Breakdown of academic impact, for papers by Huang Lin Breakdown of academic impact, for papers by Jing Huang Breakdown of academic impact, for papers by Colin H. West Breakdown of academic impact, for papers by Kim Lauenroth
Rankless by CCL
2026