 | 2009 |
|---|
| 10 |       | Zuowen Tan,
Zhuojun Liu:
Cryptanalysis and Improvement on a Threshold Proxy Signature Scheme.
J. Inf. Sci. Eng. 25(2): 619-631 (2009) |
| 2007 |
|---|
| 9 | | Shengqiang Liu,
Zhuojun Liu,
Jianliang Tang:
A delayed marine bacteriophage infection model.
Appl. Math. Lett. 20(6): 702-706 (2007) |
| 8 | | 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 | | Zuowen Tan,
Zhuojun Liu,
Wang Mingsheng:
On the Security of Some Nonrepudiable Threshold Proxy Signature Schemes.
ISPEC 2005: 374-385 |
| 2003 |
|---|
| 6 | | 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 | | Liu Jinwang,
Zhuojun Liu,
Liu Xiaoqi,
Wang Mingsheng:
The membership problem for ideals of binomial skew polynomial rings.
ISSAC 2001: 192-195 |
| 4 | | Wang Mingsheng,
Zhuojun Liu:
Remarks on Gröbner basis for ideals under composition.
ISSAC 2001: 237-244 |
| 2000 |
|---|
| 3 | | 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 | | Dongdai Lin,
Zhuojun Liu:
Some Results on Theorem Proving in Geometry over Finite Fields.
ISSAC 1993: 292-300 |
