Hongjun Zheng

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 1

Top Topics

Gene Expression Profiling

Top Venues

Publications

Wenjie Li, Shuncheng Cai, Hongjun Zheng
Research on Multi-task Cruise Path Planning of UAV Based on COA Optimization Algorithm. IPEC (2022)
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
Analog fiber-optic links using high-order fiber modes. ECOC (2015)
He Wen, Hongjun Zheng, Benyuan Zhu, Guifang Li
Experimental demonstration of long-distance analog transmission over few-mode fibers. OFC (2015)
Duo Wang, Hongjun Zheng
MSVD-MOEB algorithm applied to cancer gene expression data. iCAST (2015)
Cen Xia, He Wen, A. M. Velazquez-Benitez, Naresh Chand, Jose Enrique Antonio-Lopez, Bin Huang, Huiyuan Liu, Hongjun Zheng, Pierre Sillard, Xiang Liu, Frank J. Effenberger, Rodrigo Amezcua Correa, Guifang Li
Experimental demonstration of 5-mode PON achieving a net gain of 4 dB in upstream transmission loss budget. ECOC (2015)
Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser
Tool-Supported Program Abstraction for Finite-State Verification. ICSE (2001)
James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng
Bandera: extracting finite-state models from Java source code. ICSE (2000)
John Hatcliff, Matthew B. Dwyer, Hongjun Zheng
Slicing Software for Model Construction. High. Order Symb. Comput. 13 (4) (2000)
Tomasz Janowski, Gustavo Giménez Lugo, Hongjun Zheng
Modelling an Extended/Virtual Enterprise by the Composition of Enterprise Models. J. Intell. Robotic Syst. 26 (3-4) (1999)
John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. SAS (1999)
Tomasz Janowski, Hongjun Zheng, Gustavo Giménez Lugo
Market-Driven Symbolic Execution of Methods of Manufacturing Enterprises. ICFEM (1998)
Tomasz Janowski, Gustavo Giménez Lugo, Hongjun Zheng
Composing enterprise models: The extended and the virtual enterprise. BASYS (1998)
Naixiao Zhang, Hongjun Zheng, Zongyan Qiu
Garment: A Mechanism for Abstraction and Encapsulation of Languages. ACM SIGPLAN Notices 32 (6) (1997)