| 2026 | AAAI | MyGram: Modality-aware Graph Transformer with Global Distribution for Multi-modal Entity Alignment. | Zhifei Li, Ziyue Qin, Xiangyu Luo, Xiaoju Hou, Yue Zhao, Miao Zhang, Zhifang Huang, Kui Xiao, Bing Yang |
| 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 |
| 2025 | AAAI | APKGC: Noise-enhanced Multi-Modal Knowledge Graph Completion with Attention Penalty. | Yue Jian, Xiangyu Luo, Zhifei Li, Miao Zhang, Yan Zhang, Kui Xiao, Xiaoju Hou |
| 2019 | TASE | Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata. | Zuxi Chen, Huixing Fang, Xiangyu Luo |
| 2016 | ECOOP | Transforming Programs between APIs with Many-to-Many Mappings. | Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu |
| 2014 | PRICAI | Quantified Coalition Logic for BDI-Agents: Completeness and Complexity. | Qingliang Chen, Qun Li, Kaile Su, Xiangyu Luo |
| 2009 | AI | A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems. | Lijun Wu, Jinshu Su, Xiangyu Luo, Zhihua Yang, Qingliang Chen |
| 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 |