| 2019 | GECCO | Improving search-based software testing by constraint-based genetic operators. | Ziming Zhu, Li Jiao |
| 2018 | APSEC | A Dynamic Fitness Function Based on Branch Hardness for Search Based Software Testing. | Ziming Zhu, Li Jiao, Xiong Xu |
| 2018 | CEC | The Simulated Tree-Growth Algorithm Based on T-Invariants for State Reduction of Petri Nets. | Xiong Xu, Li Jiao, Ziming Zhu |
| 2018 | CEC | Boosting Search Based Software Testing by Using Ensemble Methods. | Xiong Xu, Li Jiao, Ziming Zhu |
| 2018 | GECCO | A dynamic fitness function for search based software testing. | Xiong Xu, Li Jiao, Ziming Zhu |
| 2017 | APLAS | Synthesizing SystemC Code from Delay Hybrid CSP. | Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan |
| 2017 | CEC | Improved evolutionary generation of test data for multiple paths in search-based software testing. | Ziming Zhu, Xiong Xu, Li Jiao |
| 2017 | FPL | Accelerating low bit-width convolutional neural networks with embedded FPGA. | Li Jiao, Cheng Luo, Wei Cao, Xuegong Zhou, Lingli Wang |
| 2017 | GECCO | An adaptive fitness function based on branch hardness for search based testing. | Xiong Xu, Ziming Zhu, Li Jiao |
| 2017 | Interspeech | Does Posh English Sound Attractive? | Li Jiao, Chengxia Wang, Cristiane Hsu, Peter Birkholz, Yi Xu |
| 2017 | IWQoS | Efficient modeling and performance analysis for IEEE 802.15.4 with coloured Petri nets. | Xiang Hu, Li Jiao |
| 2016 | FM | Approximate Bisimulation and Discretization of Hybrid CSP. | Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan |
| 2016 | FPL | A high performance FPGA-based accelerator for large-scale convolutional neural networks. | Huimin Li, Xitian Fan, Li Jiao, Wei Cao, Xuegong Zhou, Lingli Wang |
| 2015 | FORTE | Difference Bound Constraint Abstraction for Timed Automata Reachability Checking. | Weifeng Wang, Li Jiao |
| 2015 | ICA3PP | Performance Analysis for Job Scheduling in Hierarchical HPC Systems: A Coloured Petri Nets Method. | Zhijia Li, Li Jiao, Xiang Hu |
| 2015 | Interspeech | Perceptual cues of whispered tones: are they really special? | Li Jiao, Qiuwu Ma, Ting Wang, Yi Xu |
| 2014 | ATVA | Trace Abstraction Refinement for Timed Automata. | Weifeng Wang, Li Jiao |
| 2010 | TASE | Property Checking for 1-Place-Unbounded Petri Nets. | Yunhe Wang, Bo Jiang, Li Jiao |
| 2008 | ICNC | QoS-Aware Web Service Composition Based on SLA. | Wenli Dong, Li Jiao |
| 2008 | ISCAS | A method for verifying deadlock freedom and liveness of petri nets. | Li Jiao |
| 2007 | ICICS | What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security. | Xiaowei Huang, Li Jiao, Weiming Lu |
| 2007 | TASE | A Semantic Preorder on Refinement and Fairness. | Xiaowei Huang, Li Jiao, Weiming Lu |
| 2005 | ICINCO | Compositional analysis for regularity, liveness and boundedness. | Li Jiao |
| 2003 | ICRA | Property-preserving composition of augmented marked graphs that share common resources. | H. J. Huang, Li Jiao, To-Yat Cheung |