| 2026 | PPoPP | Characterizing Matrix Multiplication Units across General Parallel Patterns in Scientific Computing. | Yuechen Lu, Hongwei Zeng, Marc Casas, Weifeng Liu |
| 2024 | ICDE | Contrastive Graph Representations for Logical Formulas Embedding (Extended Abstract). | Qika Lin, Jun Liu, Lingling Zhang, Yudai Pan, Xin Hu, Fangzhi Xu, Hongwei Zeng |
| 2024 | IGARSS | An Object-Level Multi-Source Transfer Learning Method Integrating Optical and SAR Features: A Case Study of Gaofen, Ziyuan, and Sentinel-1 Satellites. | Xingli Qin, Bingfang Wu, Hongwei Zeng, Miao Zhang, Fuyou Tian, Yupei Cao, Yazhou Liu |
| 2023 | ACL | Synthesize, Prompt and Transfer: Zero-shot Conversational Question Generation with Pre-trained Language Model. | Hongwei Zeng, Bifan Wei, Jun Liu, Weiping Fu |
| 2017 | DASFAA | DKG: An Expanded Knowledge Base for Online Course. | Haimeng Duan, Yuanhao Zheng, Lei Shi, Changhong Jin, Hongwei Zeng, Jun Liu |
| 2016 | ICSE | History-based dynamic test case prioritization for requirement properties in regression testing. | Xiaolin Wang, Hongwei Zeng |
| 2016 | SNPD | Test case prioritization based on requirement correlations. | Tingting Ma, Hongwei Zeng, Xiaolin Wang |
| 2015 | SNPD | A chain algorithm for conformance testing based on UIO sequences. | Weiwei Lin, Hongwei Zeng |
| 2014 | APSEC | Modeling and Testing of GUIs Using IOLTS. | Shengbo Chen, Dashen Sun, Huaikou Miao, Hongwei Zeng |
| 2014 | ICWS | Service Reconfiguration Architecture Based on Probabilistic Modeling Checking. | Honghao Gao, Huaikou Miao, Hongwei Zeng |
| 2014 | SNPD | Modeling web application for cross-browser compatibility testing. | Xinxin Li, Hongwei Zeng |
| 2014 | SNPD | Dynamic test case prioritization based on multi-objective. | Xiaolin Wang, Hongwei Zeng |
| 2011 | SERA | Probabilistic Petri Net and its Logical Semantics. | Yang Liu, Huaikou Miao, Hongwei Zeng, Zhuang Li |
| 2011 | TASE | Research on Web Service Composition Using Probabilistic Abstraction Refinement. | Honghao Gao, Huaikou Miao, Hongwei Zeng |
| 2009 | PRDC | A New Approach to Automated Redundancy Reduction for Test Sequences. | Huaikou Miao, Pan Liu, Jia Mei, Hongwei Zeng |
| 2007 | ICECCS | Model Checking-based Verification of Web Application. | Huaikou Miao, Hongwei Zeng |
| 2007 | ICWE | Auto-Generating Test Sequences for Web Applications. | Hongwei Zeng, Huaikou Miao |
| 2007 | TASE | Specification-based Test Generation and Optimization Using Model Checking. | Hongwei Zeng, Huaikou Miao, Jing Liu |
| 2006 | ICSEA | Generating Proof Obligation to Verify Object-Z Specification. | Zhicheng Wen, Huaikou Miao, Hongwei Zeng |