| 2020 | HCI | Recommendation or Advertisement? The Influence of Advertising-Disclosure Language with Pictorial Types on Influencer Credibility and Consumers' Brand Attitudes. | Xinyi Deng, Mengjun Li, Ayoung Suh |
| 2020 | HCI | How Gamification Increases Learning Performance? Investigating the Role of Task Modularity. | Ayoung Suh, Mengjun Li |
| 2019 | SMC | A Deep Learning Methodology for Citation Count Prediction with Large-scale Biblio-Features. | Mengjun Li, Jianguo Xu, Bingfeng Ge, Jia Liu, Jiang Jiang, Qingsong Zhao |
| 2018 | SMC | A Model-Based Architecture for Technological Management in Defense Acquisition. | Minghao Li, Jianguo Xu, Mengjun Li, Kewei Yang, Yingying Gao, Jia Liu |
| 2018 | SMC | Temporal Impact Analysis for Technological Innovation Based on Box-Cox Transformation. | Jianguo Xu, Mengjun Li, Minghao Li, Qingsong Zhao, Bingfeng Ge |
| 2017 | APSEC | Generating Equality Loop Invariants with Functions Based on Random Testing, Constraint Solving and Verification. | Mengjun Li |
| 2017 | FCCM | Exploring High Efficiency Hardware Accelerator for the Key Algorithm of Square Kilometer Array Telescope Data Processing. | Qian Wu, Yongxin Zhu, Xu Wang, Mengjun Li, Junjie Hou, Ali Masoumi |
| 2017 | HPCC | Tackling Gaps in Floating-Point Arithmetic: Unum Arithmetic Implementation on FPGA. | Junjie Hou, Yongxin Zhu, Yulan Shen, Mengjun Li, Han Wu, Han Song |
| 2017 | ICNC | Tendency determining of knowledge-transfer evolution based on patent citation network. | Hante Duan, Mengjun Li, Hanlin You, Fangzhou Chen, Jiang Jiang, Qi Wang |
| 2017 | ICNC | Ore image thresholding segmentation using double windows with fisher discrimination. | Guoying Zhang, Mengjun Li, Yantong Zhan, Xiruo Shi |
| 2017 | SMC | Arms race analysis using capability-based graph model for conflict resolution. | Hanlin You, Mengjun Li, Fangzhou Chen, Jiang Jiang, Bingfeng Ge, Jianguo Xu |
| 2016 | HPCC | Finding All-One Hyper-Submatrix of an Incidence Matrix. | Bin Liu, Yongxin Zhu, Chang Wang, Mengjun Li, Weiwei Shi, Yishu Mao |
| 2016 | SMC | Belief preference in graph model for conflict resolution with two decision-makers. | Hanlin You, Mengjun Li, Jiang Jiang, Bingfeng Ge, Xueting Zhang, Jianguo Xu |
| 2013 | CIS | Software Defect Prediction Using Dynamic Support Vector Machine. | Bo Shuai, Haifeng Li, Mengjun Li, Quan Zhang, Chaojing Tang |
| 2013 | ICFEM | Assisting Specification Refinement by Random Testing. | Mengjun Li |
| 2012 | ICFEM | A Practical Loop Invariant Generation Approach Based on Random Testing, Constraint Solving and Verification. | Mengjun Li |
| 2011 | AAIM | An Iterative Method for Generating Loop Invariants. | Shikun Chen, Zhoujun Li, Xiaoyu Song, Mengjun Li |
| 2009 | TASE | Constructing Program Invariants via Solving QBF. | Shikun Chen, Zhoujun Li, Mengjun Li |
| 2008 | CCS | Local abstract verification and refinement of security protocols. | Ti Zhou, Mengjun Li, Zhoujun Li |
| 2008 | FAW | Constraint Abstraction in Verification of Security Protocols. | Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen |
| 2008 | SEKE | Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic. | Feng Liu, Zhoujun Li, Ti Zhou, Mengjun Li |
| 2007 | FAW | Constraints Solution for Time Sensitive Security Protocols. | Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen |
| 2006 | SEKE | A Novel Fairness Property of Electronic Commerce Protocols and Its Game-based Formalization. | Ling Zhang, Jianping Yin, Mengjun Li, Jieren Cheng |