2008 |
5 | EE | Jiaqi Zhu,
Hanpin Wang,
Zhongyuan Xu:
A New Temporal Logic CTL[k-QDDC] and Its Verification.
COMPSAC 2008: 235-238 |
2007 |
4 | EE | Yu Huang,
Chunxiang Xu,
Hanpin Wang,
Yunni Xia,
Jiaqi Zhu,
Cheng Zhu:
Formalizing Web Service Choreography Interface.
AINA Workshops (2) 2007: 576-581 |
3 | EE | Yu Huang,
Hanpin Wang,
Wen Zhao,
Jiaqi Zhu:
Analyzing Data Dependence Based on Workflow Net.
International Conference on Computational Science (3) 2007: 257-264 |
2 | EE | Xin Li,
Tian Liu,
Han Peng,
Liyan Qian,
Hongtao Sun,
Jin Xu,
Ke Xu,
Jiaqi Zhu:
Improved Exponential Time Lower Bound of Knapsack Problem Under BT Model.
TAMC 2007: 624-631 |
2006 |
1 | EE | Xin Li,
Tian Liu,
Han Peng,
Hongtao Sun,
Jiaqi Zhu:
Improved Exponential Time Lower Bound of Knapsack Problem under BT model
CoRR abs/cs/0606064: (2006) |