| 2026 | KSEM | Medical Relation Extraction via Retrieval and Dynamic Triggering. | Wenhao Ding, Xudong Luo, Kaile Su |
| 2026 | TASE | Symbolic Model Checking for Linear Temporal Dynamic Logic via Compositional Testers. | Xiangyu Luo, Li Li, Lijun Wu, Kaile Su, Zuxi Chen, Lixiao Zheng |
| 2024 | IJCNN | Hierarchical Fusion Framework for Multimodal Dialogue Response Generation. | Qi Deng, Lijun Wu, Kaile Su, Wei Wu, Zhiyuan Li, Weiwei Duan |
| 2020 | ICCAD | Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams. | Xuanxiang Huang, Haipeng Che, Liangda Fang, Qingliang Chen, Quanlong Guan, Yuhui Deng, Kaile Su |
| 2019 | DASFAA | Efficient Local Search for Minimum Dominating Sets in Large Graphs. | Yi Fan, Yongxuan Lai, Chengqian Li, Nan Li, Zongjie Ma, Jun Zhou, Longin Jan Latecki, Kaile Su |
| 2018 | ICPR | Mutual-optimization Towards Generative Adversarial Networks For Robust Speech Recognition. | Ke Ding, Ne Luo, Yanyan Xu, Dengfeng Ke, Kaile Su |
| 2018 | IJCNN | Fine-Grained Air Quality Prediction using Attention Based Neural Network. | Tianyu Liu, Yongzhi Ying, Yanyan Xu, Dengfeng Ke, Kaile Su |
| 2017 | AI | Quantified Coalition Logic of Knowledge, Belief and Certainty. | Qingliang Chen, Xiaowei Huang, Kaile Su, Abdul Sattar |
| 2017 | IJCAI | Restart and Random Walk in Local Search for Maximum Vertex Weight Cliques with Evaluations in Clustering Aggregation. | Yi Fan, Nan Li, Chengqian Li, Zongjie Ma, Longin Jan Latecki, Kaile Su |
| 2017 | IJCAI | A Reduction based Method for Coloring Very Large Graphs. | Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su |
| 2017 | IJCAI | CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract). | Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang |
| 2017 | IJCNN | Symbolic manipulation based on deep neural networks and its application to axiom discovery. | Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su |
| 2017 | IJCNN | Deep neural network bottleneck features for bird species verification. | Jinming Zhao, Yanyan Xu, Dengfeng Ke, Kaile Su |
| 2017 | ICTAI | Efficient Local Search for Maximum Weight Cliques in Large Graphs. | Yi Fan, Zongjie Ma, Kaile Su, Chengqian Li, Cong Rao, Ren-Hau Liu, Longin Jan Latecki |
| 2016 | AAAI | Strengthening Agents Strategic Ability with Communication. | Xiaowei Huang, Qingliang Chen, Kaile Su |
| 2016 | IJCAI | Reconfigurability in Reactive Multiagent Systems. | Xiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su |
| 2016 | IJCAI | Normative Multiagent Systems: The Dynamic Generalization. | Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su |
| 2016 | ICTAI | Random Walk in Large Real-World Graphs for Finding Smaller Vertex Cover. | Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar |
| 2016 | PRICAI | Local Search with Noisy Strategy for Minimum Vertex Cover in Massive Graphs. | Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar |
| 2015 | AAAI | Two Weighting Local Search for Minimum Vertex Cover. | Shaowei Cai, Jinkun Lin, Kaile Su |
| 2015 | FAW | Lower and Upper Bounds for Random Mimimum Satisfiability Problem. | Ping Huang, Kaile Su |
| 2015 | IJCAI | The Complexity of Model Checking Succinct Multiagent Systems. | Xiaowei Huang, Qingliang Chen, Kaile Su |
| 2015 | IJCNN | A Combination of Multi-state Activation Functions, Mean-normalisation and Singular Value Decomposition for learning Deep Neural Networks. | Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su |
| 2015 | Interspeech | Multi-task learning deep neural networks for speech feature denoising. | Bin Huang, Dengfeng Ke, Hao Zheng, Bo Xu, Yanyan Xu, Kaile Su |
| 2015 | PRIMA | A Dynamic-Logical Characterization of Solutions in Sight-Limited Extensive Games. | Chanjuan Liu, Fenrong Liu, Kaile Su |
| 2015 | SAT | CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability. | Shaowei Cai, Chuan Luo, Kaile Su |
| 2014 | AAAI | Tailoring Local Search for Partial MaxSAT. | Shaowei Cai, Chuan Luo, John Thornton, Kaile Su |
| 2014 | AAAI | Double Configuration Checking in Stochastic Local Search for Satisfiability. | Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su |
| 2014 | AI | Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems. | Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu |
| 2014 | CICLING | Beam-Width Adaptation for Hierarchical Phrase-Based Translation. | Fei Su, Gang Chen, Xinyan Xiao, Kaile Su |
| 2014 | ICPR | Automated Chinese Essay Scoring from Topic Perspective Using Regularized Latent Semantic Indexing. | Shudong Hao, Yanyan Xu, Hengli Peng, Kaile Su, Dengfeng Ke |
| 2014 | PRICAI | Fast Learning of Deep Neural Networks via Singular Value Decomposition. | Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su |
| 2014 | PRICAI | Quantified Coalition Logic for BDI-Agents: Completeness and Complexity. | Qingliang Chen, Qun Li, Kaile Su, Xiangyu Luo |
| 2013 | AAAI | Improving WalkSAT for Random k-Satisfiability Problem with k > 3. | Shaowei Cai, Kaile Su, Chuan Luo |
| 2013 | AAIM | FWLS: A Local Search for Graph Coloring. | Wei Wu, Chuan Luo, Kaile Su |
| 2013 | CAV | CacBDD: A BDD Package with Dynamic Cache Management. | Guanfeng Lv, Kaile Su, Yanyan Xu |
| 2013 | CP | Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. | Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su |
| 2013 | ICDAR | Automated Error Detection and Correction of Chinese Characters in Written Essays Based on Weighted Finite-State Transducer. | Shudong Hao, Zongtian Gao, Mingqing Zhang, Yanyan Xu, Hengli Peng, Kaile Su, Dengfeng Ke |
| 2013 | IJCAI | Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses. | Shaowei Cai, Kaile Su |
| 2012 | AAAI | Configuration Checking with Aspiration in Local Search for SAT. | Shaowei Cai, Kaile Su |
| 2012 | AAAI | Two New Local Search Strategies for Minimum Vertex Cover. | Shaowei Cai, Kaile Su, Abdul Sattar |
| 2012 | AAAI | Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. | Xiaowei Huang, Kaile Su, Chenyi Zhang |
| 2012 | AAIM | Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition. | Yanyan Xu, Wei Chen, Kaile Su, Wenhui Zhang |
| 2012 | ECAI | Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking. | Chuan Luo, Kaile Su, Shaowei Cai |
| 2012 | TASE | A Succinct and Efficient Implementation of a 2^32 BDD Package. | Guanfeng Lv, Yao Chen, Yachao Feng, Qingliang Chen, Kaile Su |
| 2011 | IJCAI | Large Hinge Width on Sparse Random Hypergraphs. | Tian Liu, Xiaxiang Lin, Chaoyi Wang, Kaile Su, Ke Xu |
| 2011 | ICTAI | Local Search with Configuration Checking for SAT. | Shaowei Cai, Kaile Su |
| 2010 | AAAI | EWLS: A New Local Search for Minimum Vertex Cover. | Shaowei Cai, Kaile Su, Qingliang Chen |
| 2009 | FAW | The BDD-Based Dynamic A* Algorithm for Real-Time Replanning. | Yanyan Xu, Weiya Yue, Kaile Su |
| 2009 | KSEM | Knowware: The Third Star after Hardware and Software. | David A. Bell, Ying Jiang, Ruqian Lu, Kaile Su, Songmao Zhang |
| 2008 | AAAI | Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. | Han Lin, Kaile Su, Chu Min Li |
| 2008 | AAAI | An Extended Interpreted System Model for Epistemic Logics. | Kaile Su, Abdul Sattar |
| 2008 | TASE | Improving Encoding Efficiency for Bounded Model Checking. | Jinji Yang, Kaile Su, Qingliang Chen |
| 2007 | AAAI | A Modal Logic for Beliefs and Pro Attitudes. | Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds |
| 2007 | IJCAI | Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving. | Han Lin, Kaile Su |
| 2006 | KSEM | Observation-Based Logic of Knowledge, Belief, Desire and Intention. | Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo |
| 2005 | AAAI | Observation-based Model for BDI-Agents. | Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan |
| 2005 | AAAI | A Theory of Forgetting in Logic Programming. | Kewen Wang, Abdul Sattar, Kaile Su |
| 2005 | CIS | Model Checking Temporal Logics of Knowledge and Its Application in Security Verification. | Lijun Wu, Kaile Su, Qingliang Chen |
| 2005 | IJCAI | Computationally Grounded Model of BDI-Agents. | Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori |
| 2004 | AAAI | Model Checking Temporal Logics of Knowledge in Distributed Systems. | Kaile Su |
| 2004 | KR | Reasoning about Knowledge by Variable Forgetting. | Kaile Su, Guanfeng Lv, Yan Zhang |
| 2002 | AiML | Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. | Kai Engelhardt, Ron van der Meyden, Kaile Su |
| 2001 | COCOON | A Logical Framework for Knowledge Sharing in Multi-agent Systems. | Kaile Su, Xudong Luo, Huaiqing Wang, Chengqi Zhang, Shichao Zhang, Qingfeng Chen |
| 1997 | COCOON | A Three-Valued Quantificational Logic of Context. | Kaile Su, Decheng Ding, Huowang Chen |