| 2023 |
J |
jnl |
CoRR
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
|
| 2020 |
— |
conf |
ESEC/SIGSOFT FSE
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
|
| 2018 |
— |
conf |
APCCAS
Minglan Liang, Mingsong Chen, Zheng Wang, Jingwei Sun
|
| 2018 |
— |
conf |
APCCAS
Wenda Li, Xianjie Meng, Zheng Wang, Wenqi Fang, Jie Zou, Huiyun Li, Tianfu Sun, Jianing Liang
|
| 2014 |
— |
conf |
APSEC (1)
Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen
|
| 2014 |
J |
jnl |
Int. J. Comput. Math.
Yongxin Zhao, Hao Xiao, Zheng Wang, Geguang Pu, Ting Su
|
| 2013 |
Misc |
conf |
TASE
Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu
|
| 2013 |
J |
jnl |
Frontiers Comput. Sci.
Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He
|
| 2013 |
J |
jnl |
Comput. Sci. Inf. Syst.
Xi Wu, Huibiao Zhu, Yongxin Zhao, Zheng Wang, Si Liu
|
| 2013 |
— |
conf |
Theories of Programming and Formal Methods
Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim Guldstrand Larsen
|
| 2012 |
Misc |
conf |
TASE
Zheng Wang, Geguang Pu, Jianwen Li, Bin Gu
|
| 2012 |
C |
conf |
SEW
Jianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu
|
| 2012 |
— |
conf |
FTSCS
Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu
|
| 2012 |
J |
jnl |
CoRR
Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He
|
| 2012 |
J |
jnl |
CoRR
Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen
|
| 2012 |
J |
jnl |
Sci. China Inf. Sci.
Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He
|
| 2012 |
— |
conf |
QAPL
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang
|
| 2011 |
— |
conf |
HASE
Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu
|
| 2011 |
— |
conf |
HASE
Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu
|
| 2011 |
— |
conf |
FORMATS
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang
|
| 2011 |
J |
jnl |
CoRR
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang
|
| 2011 |
A* |
conf |
CAV
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang
|
| 2010 |
Misc |
conf |
TASE
Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu
|
| 2010 |
— |
conf |
TTSS
Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, Zheng Wang
|
| 2010 |
C |
conf |
ICFEM
Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding
|
| 2010 |
— |
conf |
SSIRI (Companion)
Hao Xiao, Zheng Wang, Geguang Pu, Bin Gu
|
| 2010 |
— |
conf |
ISoLA (1)
Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu
|
| 2010 |
J |
jnl |
Serv. Oriented Comput. Appl.
Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu
|
| 2009 |
J |
jnl |
Simul. Model. Pract. Theory
Geguang Pu, Zheng Wang, Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, Meng Sun
|
| 2009 |
Misc |
conf |
TASE
Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu
|
| 2009 |
— |
conf |
QSIC
Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu
|
| 2008 |
Misc |
conf |
ICDCIT
Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He
|
| 2008 |
C |
conf |
APSEC
Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He
|
| 2008 |
— |
conf |
SOSE
Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Zheng Wang, Meng Sun, Geguang Pu
|
| 2007 |
C |
conf |
APSEC
Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He
|
| 2007 |
— |
conf |
TTSS
Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu
|
| 2007 |
— |
conf |
ASWEC
Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai
|