2008 | ||
---|---|---|
3 | EE | Tao Xue, Qichao Xuan: Proof Search and Counter Model of Positive Minimal Predicate Logic. Electr. Notes Theor. Comput. Sci. 212: 87-102 (2008) |
2004 | ||
2 | EE | Tao Xue, Boqin Feng, Zhigang Zhang: P2PENS: Content-Based Publish-Subscribe over Peer-to-Peer Network. GCC 2004: 583-590 |
2003 | ||
1 | EE | Tao Xue, Boqin Feng: An Effcient and Self-Configurable Publish-Subscribe System. GCC (1) 2003: 159-163 |
1 | Boqin Feng | [1] [2] |
2 | Qichao Xuan | [3] |
3 | Zhigang Zhang | [2] |