2009 |
10 | EE | Zuowen Tan,
Zhuojun Liu:
Cryptanalysis and Improvement on a Threshold Proxy Signature Scheme.
J. Inf. Sci. Eng. 25(2): 619-631 (2009) |
2007 |
9 | EE | Shengqiang Liu,
Zhuojun Liu,
Jianliang Tang:
A delayed marine bacteriophage infection model.
Appl. Math. Lett. 20(6): 702-706 (2007) |
8 | EE | Bingyu Li,
Zhuojun Liu,
Lihong Zhi:
A fast algorithm for solving the Sylvester structured total least squares problem.
Signal Processing 87(10): 2313-2319 (2007) |
2005 |
7 | EE | Zuowen Tan,
Zhuojun Liu,
Wang Mingsheng:
On the Security of Some Nonrepudiable Threshold Proxy Signature Schemes.
ISPEC 2005: 374-385 |
2003 |
6 | EE | Liu Jinwang,
Zhuojun Liu,
Wang Mingsheng:
The term orderings which are compatible with composition II.
J. Symb. Comput. 35(2): 153-168 (2003) |
2001 |
5 | EE | Liu Jinwang,
Zhuojun Liu,
Liu Xiaoqi,
Wang Mingsheng:
The membership problem for ideals of binomial skew polynomial rings.
ISSAC 2001: 192-195 |
4 | EE | Wang Mingsheng,
Zhuojun Liu:
Remarks on Gröbner basis for ideals under composition.
ISSAC 2001: 237-244 |
2000 |
3 | EE | Jinzhao Wu,
Zhuojun Liu:
Linear Strategy for Boolean Ring Based Theorem Proving.
J. Comput. Sci. Technol. 15(3): 271-279 (2000) |
1998 |
2 | | Jinzhao Wu,
Zhuojun Liu:
Well-Behaved Inference Rules for First-Order Theorem Proving.
J. Autom. Reasoning 21(3): 381-400 (1998) |
1993 |
1 | EE | Dongdai Lin,
Zhuojun Liu:
Some Results on Theorem Proving in Geometry over Finite Fields.
ISSAC 1993: 292-300 |