 | 2009 |
|---|
| 8 |       | Zheng Wang,
Xiao Yu,
Tao Sun,
Geguang Pu,
Zuohua Ding,
Jueliang Hu:
Test Data Generation for Derived Types in C Program.
TASE 2009: 155-162 |
| 2008 |
|---|
| 7 | | Zheng Wang,
Xiao Yu,
Geguang Pu,
Libo Feng,
Huibiao Zhu,
Jifeng He:
Execution Semantics for rCOS.
APSEC 2008: 119-126 |
| 6 | | Guowei Yang,
Xiao Yu,
Xiaodong Zhuang:
The Current Status and Development of Pattern Recognition Diagnostic Methods Based on Medical Imaging.
ICNSC 2008: 567-572 |
| 5 | | Xiao Yu,
Zheng Wang,
Geguang Pu,
Dingding Mao,
Jing Liu:
The Verification of rCOS Using Spin.
Electr. Notes Theor. Comput. Sci. 207: 49-67 (2008) |
| 2007 |
|---|
| 4 | | Xin Wang,
Yunxiao Wang,
Xiao Yu,
Zhengxuan Wang,
Yunjie Pang:
Evidential Reasoning Based on Multisensor Data Fusion for Target Identification.
ICANNGA (1) 2007: 546-553 |
| 3 | | Pengfei Huang,
Lixu Gu,
Jingsi Zhang,
Xiao Yu,
Sizhe Lv,
Zhennan Yan,
Luyang Zhang,
Hongshan Zhou,
Xiaoshan Du:
Virtual Surgery Deformable Modelling Employing GPU Based Computation.
ICAT 2007: 221-227 |
| 2 | | Xiao Yu,
Weitao Chen,
Pengfei Huang,
Sizhe Lv,
Lixu Gu:
New Tetrahedral Mesh Generation Method based on Delaunay Criteria and Space Disassembling.
ICAT 2007: 228-233 |
| 1 | | Xiao Yu,
Gang Feng,
Kheng Leng Gay,
Chee Kheong Siew:
An Integrated Design of Multipath Routing with Failure Survivability in MPLS Networks.
IEICE Transactions 90-B(4): 856-865 (2007) |
