Kaile Su
- Software top 5%
-
- Formal Methods in Verification 29
-
- Constraint Satisfaction and Optimization 22
- Artificial Intelligence top 2%
- Logic, Reasoning, and Knowledge 35
- Multi-Agent Systems and Negotiation 15
- Logic, programming, and type systems 15
- Speech Recognition and Synthesis 9
-
- Speech and Audio Processing 10
- Music and Audio Processing 9
- Journals
- Artificial Intelligence (4 papers)Frontiers of Computer Science (3 papers)The Computer Journal (3 papers)
- Partner nations
- ChinaAustraliaUnited States
In The Last Decade
Kaile Su
110 papers receiving 1.3k citations
Peers
Comparison fields: 5 of 94
- Software 134
- Computational Theory and Mathematics 509
- Computer Networks and Communications 572
- Industrial and Manufacturing Engineering 224
- Artificial Intelligence 652
Countries citing papers authored by Kaile Su
This map shows the geographic impact of Kaile Su'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 Kaile Su with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Kaile Su more than expected).
Fields of papers citing papers by Kaile Su
This network shows the impact of papers produced by Kaile Su. 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 Kaile Su. The network helps show where Kaile Su may publish in the future.
Co-authorship network
The 25 scholars most cited alongside Kaile Su, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2025 | 1 | |
| 2 | 2024 | 0 | |
| 3 | 2020 | 11 | |
| 4 | 2018 | 1 | |
| 5 | 2016 | 26 | |
| 6 | 2016 | 2 | |
| 7 | 2016 | 52 | |
| 8 | 2015 | 4 | |
| 9 | 2014 | 7 | |
| 10 | Improving walk SAT for random k-satisfiability problem with k > 3 | 2013 | 12 |
| 11 | Comprehensive score: towards efficient local search for SAT with long clauses | 2013 | 10 |
| 12 | Within-problem learning for efficient lower bound computation in Max-SAT solving | 2008 | 33 |
| 13 | Exploiting inference rules to compute lower bounds for MAX-SAT solving | 2007 | 22 |
| 14 | 2007 | 1 | |
| 15 | Observation-based model for BDI-agents | 2005 | 5 |
| 16 | A theory of forgetting in logic programming | 2005 | 12 |
| 17 | Reasoning about knowledge by variable forgetting | 2004 | 9 |
| 18 | Model checking temporal logics of knowledge in distributed systems | 2004 | 10 |
| 19 | Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers | 2002 | 4 |
| 20 | 2001 | 1 |
About Kaile Su
Kaile Su is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications, having authored 120 papers that have together received 1.3k indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (35 papers), Formal Methods in Verification (29 papers), Constraint Satisfaction and Optimization (22 papers), Multi-Agent Systems and Negotiation (15 papers), Logic, programming, and type systems (15 papers), Speech and Audio Processing (10 papers), Music and Audio Processing (9 papers) and Speech Recognition and Synthesis (9 papers). The work is most often cited by research in Software (134 citations), Computational Theory and Mathematics (509 citations) and Computer Networks and Communications (572 citations). Kaile Su has collaborated with scholars based in China, Australia and United States. Frequent co-authors include Shaowei Cai, Chuan Luo, Abdul Sattar, Jinkun Lin, Wei Wu, Qingliang Chen, Han Lin, Yanyan Xu, Dengfeng Ke and Jie Zhong. Their work appears in journals such as Artificial Intelligence, Frontiers of Computer Science, The Computer Journal, Knowledge-Based Systems and Journal of Logic and Computation.
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.