| 2022 |
B |
conf |
IPEC
Wenjie Li, Shuncheng Cai, Hongjun Zheng
|
| 2015 |
— |
conf |
ECOC
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
|
| 2015 |
— |
conf |
ECOC
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
|
| 2015 |
— |
conf |
OFC
He Wen, Hongjun Zheng, Benyuan Zhu, Guifang Li
|
| 2015 |
— |
conf |
iCAST
Duo Wang, Hongjun Zheng
|
| 2001 |
A* |
conf |
ICSE
Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser
|
| 2000 |
A* |
conf |
ICSE
James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng
|
| 2000 |
J |
jnl |
High. Order Symb. Comput.
John Hatcliff, Matthew B. Dwyer, Hongjun Zheng
|
| 1999 |
B |
conf |
SAS
John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng
|
| 1999 |
J |
jnl |
J. Intell. Robotic Syst.
Tomasz Janowski, Gustavo Giménez Lugo, Hongjun Zheng
|
| 1998 |
— |
conf |
BASYS
Tomasz Janowski, Gustavo Giménez Lugo, Hongjun Zheng
|
| 1998 |
C |
conf |
ICFEM
Tomasz Janowski, Hongjun Zheng, Gustavo Giménez Lugo
|
| 1997 |
J |
jnl |
ACM SIGPLAN Notices
Naixiao Zhang, Hongjun Zheng, Zongyan Qiu
|