2007 | ||
---|---|---|
3 | EE | Zhaopeng Li, Kenli Li, Degui Xiao, Lei Yang: An Adaptive Parallel Hierarchical Clustering Algorithm. HPCC 2007: 97-107 |
2 | EE | Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu: Design of a Certifying Compiler Supporting Proof of Program Safety. TASE 2007: 127-138 |
1 | EE | Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu, Zhifang Wang: A pointer logic and certifying compiler. Frontiers of Computer Science in China 1(3): 297-312 (2007) |
1 | Yiyun Chen | [1] [2] |
2 | Lin Ge | [1] [2] |
3 | Baojian Hua | [1] [2] |
4 | Kenli Li | [3] |
5 | Cheng Liu | [1] [2] |
6 | Zhifang Wang | [1] |
7 | Degui Xiao | [3] |
8 | Lei Yang | [3] |