Login / Signup
Hongjun Zheng
Publication Activity (10 Years)
Years Active: 1997-2022
Publications (10 Years): 1
Top Topics
Long Distance
Path Planning
Laser Beam
Gene Expression Profiling
Top Venues
ECOC
iCAST
IPEC
OFC
</>
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)