Kaile Su
Impact in
- Software top 5%
- Software Testing and Debugging Techniques
-
- Formal Methods in Verification
- Complexity and Algorithms in Graphs
- Advanced Graph Theory Research
Papers in
-
- Logic, Reasoning, and Knowledge 35
- Logic, programming, and type systems 15
- Multi-Agent Systems and Negotiation 15
- Semantic Web and Ontologies 9
- Bayesian Modeling and Causal Inference 9
-
- Formal Methods in Verification 29
- Co-authors
- Shaowei Cai (26 shared papers)Chuan Luo (14 shared papers)Abdul Sattar (21 shared papers)Jinkun Lin (4 shared papers)Wei Wu (4 shared papers)Qingliang Chen (22 shared papers)Han Lin (4 shared papers)Yanyan Xu (20 shared papers)
- Journals
- Artificial Intelligence (4 papers)Frontiers of Computer Science (3 papers)The Computer Journal (3 papers)Knowledge-Based Systems (2 papers)Journal of Logic and Computation (2 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-authors
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
Showing the 20 most-cited of 120 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2011 | 125 | |
| 2 | 2013 | 91 | |
| 3 | 2014 | 75 | |
| 4 | 2013 | 64 | |
| 5 | 2016 | 52 | |
| 6 | 2015 | 46 | |
| 7 | 2014 | 44 | |
| 8 | 2003 | 42 | |
| 9 | 2014 | 36 | |
| 10 | Within-problem learning for efficient lower bound computation in Max-SAT solving | 2008 | 33 |
| 11 | 2014 | 32 | |
| 12 | 2010 | 31 | |
| 13 | 2016 | 26 | |
| 14 | 2007 | 25 | |
| 15 | 2018 | 23 | |
| 16 | Exploiting inference rules to compute lower bounds for MAX-SAT solving | 2007 | 22 |
| 17 | 2017 | 22 | |
| 18 | 2015 | 22 | |
| 19 | 2017 | 21 | |
| 20 | 2011 | 21 |
About Kaile Su
Kaile Su is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications, Signal Processing and Information Systems, 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), Logic, programming, and type systems (15 papers), Multi-Agent Systems and Negotiation (15 papers), Speech and Audio Processing (10 papers), Semantic Web and Ontologies (9 papers) and Bayesian Modeling and Causal Inference (9 papers). The work is most often cited by research in Software (134 citations), Computational Theory and Mathematics (509 citations), Computer Networks and Communications (572 citations), Industrial and Manufacturing Engineering (224 citations) and Artificial Intelligence (652 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.