| 2026 | ACL | CoDA: Restoring Contextual Dominance via Copy-Encouraged Attention Intervention for Mitigating RAG Hallucinations. | Jinwei Shi, Qizhuo Xie, Qianzi Hou, Zhipeng Wang, Wanting Su, Jianhua Zhao, Tao Zheng, Tieke He |
| 2025 | DASFAA | Learning Accurate, Efficient, and Interpretable MLPs on Multiplex Graphs via Node-Wise Multi-view Ensemble Distillation. | Yunhui Liu, Zhen Tao, Xiang Zhao, Jianhua Zhao, Tao Zheng, Tieke He |
| 2025 | ICSE | Boosting Code-line-level Defect Prediction with Spectrum Information and Causality Analysis. | Shiyu Sun, Yanhui Li, Lin Chen, Yuming Zhou, Jianhua Zhao |
| 2025 | ICSE | GVI: Guided Vulnerability Imagination for Boosting Deep Vulnerability Detectors. | Heng Yong, Zhong Li, Minxue Pan, Tian Zhang, Jianhua Zhao, Xuandong Li |
| 2024 | CIKM | Scalable and Adaptive Spectral Embedding for Attributed Graph Clustering. | Yunhui Liu, Tieke He, Qing Wu, Tao Zheng, Jianhua Zhao |
| 2023 | ICSE | DStream: A Streaming-Based Highly Parallel IFDS Framework. | Xizao Wang, Zhiqiang Zuo, Lei Bu, Jianhua Zhao |
| 2022 | QRS | A Framework for Scanning Privacy Information based on Static Analysis. | Yuan Zhao, Gaolei Yi, Fan Liu, Zhanwei Hui, Jianhua Zhao |
| 2022 | TACAS | BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution). | Lei Bu, Zhunyi Xie, Lecheng Lyu, Yichao Li, Xiao Guo, Jianhua Zhao, Xuandong Li |
| 2019 | HPSR | Fast QR code detection based on BING and AdaBoost-SVM. | Baoxi Yuan, Yang Li, Fan Jiang, Xiaojie Xu, Jianhua Zhao, Deyue Zhang, Jianxin Guo, Yuqian Wang, Shanwen Zhang |
| 2019 | IGARSS | Automatic Extraction Method of Sargassum Based on Spectral-Texture Features of Remote Sensing Images. | Yanlong Chen, Jianhua Wan, Jie Zhang, Jianhua Zhao, Feng Ye, Zizhu Wang, Shanwei Liu |
| 2019 | IGARSS | Evaluation on BJ-2 Image Fusion Algorithms for Satellite Images of Coastal Aquaculture Sea Areas. | Jialan Chu, Yanlong Chen, Jianhua Zhao, Fei Wang |
| 2019 | ISKE | Civil Aviation Safety Risk Assessment for Rare Events. | Xiaojing Yan, Huawei Wang, Qiang Fu, Jianhua Zhao |
| 2018 | ISNN | Marine Aquaculture Targets Automatic Recognition Based on GF-3 PolSAR Imagery. | Jianchao Fan, Jianhua Zhao, Min Han, Xinxin Wang, Bingnan Li |
| 2017 | APSEC | A Framework for Array Invariants Synthesis in Induction-Loop Programs. | Bin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao |
| 2017 | IGARSS | Monitoring the thermal discharge of hongyanhe nuclear power plant with aerial remote sensing technology using a UAV platform. | Xiang Wang, Xinxin Wang, Jianhua Zhao, Jianchao Fan, Xiu Su, Dejun Zou |
| 2017 | IGARSS | Study on dew characteristics in Loess Plateau, China. | Sheng Wang, Qiang Zhang, Yaohui Li, Lijuan Wang, Jianhua Zhao, Ping Yue, Xing Wang, Xiaocui Hao |
| 2017 | IGARSS | Marine reclamation feature analysis based on GF-3 SAR remote sensing imagery. | Jianchao Fan, Jianhua Zhao, Xinxin Wang, Xiang Wang, Jialan Chu, Bingnan Li |
| 2017 | ISSTA | Automatic detection and validation of race conditions in interrupt-driven embedded software. | Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li |
| 2017 | QRS | Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java. | Zhenhao Tang, Juan Zhai, Bin Li, Jianhua Zhao |
| 2016 | IGARSS | Comparison of different spatial resolution thermal infrared data in monitoring thermal plume from the Hongyanhe nuclear power plant. | Xiang Wang, Xinxin Wang, Jianchao Fan, Shiyong Wen, Jianhua Zhao, Xiu Su |
| 2016 | IGARSS | Coupling effects of nutrients and temperature for the hazard degree dynamic assessment of Karenia mikimotoi red tide disasters in the Wenzhou coastal waters. | Shiyong Wen, Yongjian Liu, Zizhu Wang, Xinxin Wang, Xiang Wang, Jianhua Zhao |
| 2016 | IGARSS | Geomorphic zones mapping and development status monitoring of coral reefs in Xisha, China. | Jingping Xu, Fang Li, Jianhua Zhao, Shiyong Wen |
| 2016 | ICSE | Automatic model generation from documentation for Java API functions. | Juan Zhai, Jianjun Huang, Shiqing Ma, Xiangyu Zhang, Lin Tan, Jianhua Zhao, Feng Qin |
| 2016 | QRS | Automatic Invariant Synthesis for Arrays in Simple Programs. | Bin Li, Zhenhao Tang, Juan Zhai, Jianhua Zhao |
| 2016 | QRS | Precondition Calculation for Loops Iterating over Data Structures. | Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li |
| 2015 | QRS | Code Generation for Abstract Data Types Based on Program Analysis. | Bin Li, Jun Liu, Jianhua Zhao |
| 2015 | QRS | Node-Set Analysis for Linked Recursive Data Structures. | Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li |
| 2015 | QRS | A Fault-Localization Approach Based on the Coincidental Correctness Probability. | Xiaoli Zhou, Hanfei Wang, Jianhua Zhao |
| 2015 | SETTA | Assertion-Directed Precondition Synthesis for Loops over Data Structures. | Juan Zhai, Hanfei Wang, Jianhua Zhao |
| 2014 | SEKE | An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability. | Xiaoli Zhou, Linzhang Wang, Xuandong Li, Jianhua Zhao |
| 2013 | ICTAC | Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures. | Jianhua Zhao, Xuandong Li |
| 2012 | SEKE | Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer. | Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li |
| 2011 | IGARSS | Influence of changes of underlying surface on the output of sand-dust model. | Dihua Cai, Jianhua Zhao, Yaohui Li, Ni Guo, Haixia Duan, Hui Han, Jing Wang |
| 2010 | DATE | Proactive NBTI mitigation for busy functional units in out-of-order microprocessors. | Lin Li, Youtao Zhang, Jun Yang, Jianhua Zhao |
| 2010 | ICECCS | McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java. | Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li |
| 2010 | ICSE | Enabling multi-core based monitoring and fault tolerance in C++/Java. | Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li |
| 2010 | ISoLA | Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination. | Qian Li, Jianhua Zhao, Xuandong Li |
| 2010 | VMCAI | Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. | Lei Bu, Jianhua Zhao, Xuandong Li |
| 2009 | TASE | Verification of Population Ring Protocols in PAT. | Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao |
| 2008 | ICSE | A case study for monitoring-oriented programming in multi-core architecture. | Lu Yang, Jianwen Tang, Jianhua Zhao, Xuandong Li |
| 2008 | ISoLA | A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. | Jianhua Zhao, Linzhang Wang, Xuandong Li |
| 2008 | TASE | A MDE Based Approach for Bridging Formal Models. | Tian Zhang, Frdric Jouault, Jean Bzivin, Jianhua Zhao |
| 2006 | EDOC | A Model Driven Development Framework for Enterprise Web Services. | Xiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Xuandong Li |
| 2006 | FORTE | Scenario-Based Timing Consistency Checking for Time Petri Nets. | Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng |
| 2006 | ICCE | Students' Understandings and Attitudes toward Group learning: An Empirical Study. | Jianhua Zhao, David McConnell |
| 2006 | ISoLA | Improve Model Checking Efficiency Using Specific Knowledge about the System. | Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng |
| 2004 | ISORC | Verifying Compositional Designs for Scenario-Based Timing Specifications. | Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng |
| 2002 | ICCE | STAD Modeling Method for Computer Supported Group Learning. | Jianhua Zhao, David McConnell, Kedong Li, Kanji Akahori |