Hongjun Zheng

According to our database, Hongjun Zheng authored at least 13 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Research on Multi-task Cruise Path Planning of UAV Based on COA Optimization Algorithm.

Wenjie Li, Shuncheng Cai, Hongjun Zheng

Proceedings of the IPEC 2022: 3rd Asia-Pacific Conference on Image Processing, Electronics and Computers, Dalian, China, April 14, 2022

2015

Experimental demonstration of long-distance analog transmission over few-mode fibers.

He Wen, Hongjun Zheng, Benyuan Zhu, Guifang Li

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2015

MSVD-MOEB algorithm applied to cancer gene expression data.

Duo Wang, Hongjun Zheng

Proceedings of the IEEE 7th International Conference on Awareness Science and Technology, 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, Frank J. Effenberger, Rodrigo Amezcua Correa, Guifang Li

Proceedings of the European Conference on Optical Communication, 2015

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

Proceedings of the European Conference on Optical Communication, 2015

2001

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

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

Slicing Software for Model Construction.

John Hatcliff, Matthew B. Dwyer, Hongjun Zheng

High. Order Symb. Comput., 2000

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

Proceedings of the 22nd International Conference on on Software Engineering, 2000

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

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

Proceedings of the Static Analysis, 6th International Symposium, 1999

1998

Composing enterprise models: The extended and the virtual enterprise.

Tomasz Janowski, Gustavo Giménez Lugo, Hongjun Zheng

Proceedings of the Intelligent Systems for Manufacturing: Multi-Agent Systems and Virtual Organizations, Proceedings of the BASYS, 1998

Market-Driven Symbolic Execution of Methods of Manufacturing Enterprises.

Tomasz Janowski, Hongjun Zheng, Gustavo Giménez Lugo

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997

Garment: A Mechanism for Abstraction and Encapsulation of Languages.

Naixiao Zhang, Hongjun Zheng, Zongyan Qiu

ACM SIGPLAN Notices, 1997