| |
| * | 2009 | |
|---|---|---|
| 4 | Xiaobo Li, Ming Fu, Xiangdong Cui, Zhou Zhou: Super-Program Architectures - A New Driving Method for Executing Instructions. CDES 2009: 111-116 | |
| 3 | EE | Ming Fu, Yu Zhang, Yong Li: Formal Reasoning about Concurrent Assembly Code with Reentrant Locks. TASE 2009: 233-240 |
| 2008 | ||
| 2 | EE | Pei He, Lishan Kang, Ming Fu: Formality based genetic programming. IEEE Congress on Evolutionary Computation 2008: 4080-4087 |
| 2007 | ||
| 1 | EE | Ming Fu, Yu Zhang: Homomorphism Resolving of XPath Trees Based on Automata. APWeb/WAIM 2007: 821-828 |
| 1 | Xiangdong Cui | [4] |
| 2 | Pei He | [2] |
| 3 | Lishan Kang | [2] |
| 4 | Xiaobo Li | [4] |
| 5 | Yong Li | [3] |
| 6 | Yu Zhang | [1] [3] |
| 7 | Zhou Zhou | [4] |