Garment: A Mechanism for Abstraction and Encapsulation of Languages. - Naixiao Zhang; Hongjun Zheng; Zongyan Qiu (ACM SIGPLAN Notices, 1997)

Market-Driven Symbolic Execution of Methods of Manufacturing Enterprises. - Tomasz Janowski; Hongjun Zheng; Gustavo Giménez Lugo (ICFEM, 1998)

Composing enterprise models: The extended and the virtual enterprise. - Tomasz Janowski; Gustavo Giménez Lugo; Hongjun Zheng (BASYS, 1998)

A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. - John Hatcliff; James C. Corbett; Matthew B. Dwyer; Stefan Sokolowski; Hongjun Zheng (SAS, 1999)

Modelling an Extended/Virtual Enterprise by the Composition of Enterprise Models. - Tomasz Janowski; Gustavo Giménez Lugo; Hongjun Zheng (J. Intell. Robotic Syst., 1999)

Bandera: extracting finite-state models from Java source code. - James C. Corbett; Matthew B. Dwyer; John Hatcliff; Shawn Laubach; Corina S. Pasareanu; Robby; Hongjun Zheng (ICSE, 2000)

Slicing Software for Model Construction. - John Hatcliff; Matthew B. Dwyer; Hongjun Zheng (High. Order Symb. Comput., 2000)

Tool-Supported Program Abstraction for Finite-State Verification. - Matthew B. Dwyer; John Hatcliff; Roby Joehanes; Shawn Laubach; Corina S. Pasareanu; Robby; Hongjun Zheng; Willem Visser (ICSE, 2001)

Analog fiber-optic links using high-order fiber modes. - He Wen; Hongjun Zheng; Qi Mo; A. M. Velazquez-Benitez; Cen Xia; Bing Huang; Huiyuan Liu; Huang Yu; Jose Enrique Antonio Lopez; Rodrigo Amezcua Correa; Guifang Li (ECOC, 2015)

Experimental demonstration of 5-mode PON achieving a net gain of 4 dB in upstream transmission loss budget. - Cen Xia; He Wen; A. M. Velazquez-Benitez; Naresh Chand; Jose Enrique Antonio-Lopez; Bin Huang; Huiyuan Liu; Hongjun Zheng; Pierre Sillard; Xiang Liu 013; Frank J. Effenberger; Rodrigo Amezcua Correa; et al. (ECOC, 2015)

MSVD-MOEB algorithm applied to cancer gene expression data. - Duo Wang; Hongjun Zheng (iCAST, 2015)

Experimental demonstration of long-distance analog transmission over few-mode fibers. - He Wen; Hongjun Zheng; Benyuan Zhu; Guifang Li (OFC, 2015)

Research on Multi-task Cruise Path Planning of UAV Based on COA Optimization Algorithm. - Wenjie Li; Shuncheng Cai; Hongjun Zheng (IPEC, 2022)