 | 2008 |
|---|
| 12 |       | Jinjin Zhang,
Zhaohui Zhu:
A Behavioural Pseudometric based on lambda-Bisimilarity.
Electr. Notes Theor. Comput. Sci. 220(3): 115-127 (2008) |
| 11 | | Jinjin Zhang,
Zhaohui Zhu:
Characterize branching distance in terms of (eta, alpha)-bisimilarity.
Inf. Comput. 206(8): 953-965 (2008) |
| 2007 |
|---|
| 10 | | Wei Zhang,
Shaohua Teng,
Zhaohui Zhu,
Xiufen Fu,
Haibin Zhu:
An Improved Least-Laxity-First Scheduling Algorithm of Variable Time Slice for Periodic Tasks.
IEEE ICCI 2007: 548-553 |
| 9 | | Zhaohui Zhu,
Wenjie Xiao:
Two Representation Theorems for Non-monotonic Inference Relations.
J. Log. Comput. 17(4): 727-747 (2007) |
| 2006 |
|---|
| 8 | | Zhaohui Zhu:
Similarity between preferential models.
Theor. Comput. Sci. 353(1-3): 26-52 (2006) |
| 7 | | Zhaohui Zhu,
Rong Zhang,
Shan Lu:
A characterization theorem for injective model classes axiomatized by general rules.
Theor. Comput. Sci. 360(1-3): 147-171 (2006) |
| 2003 |
|---|
| 6 |  | Zhaohui Zhu,
Bin Li,
Xian Xiao,
Shifu Chen,
Wujia Zhu:
A representation theorem for recovering contraction relations satisfying wci.
Theor. Comput. Sci. 290(1): 545-564 (2003) |
| 5 | | Zhaohui Zhu,
Xian Xiao,
Yong Zhou,
Wujia Zhu:
Normal conditions for inference relations and injective models.
Theor. Comput. Sci. 309(1-3): 287-311 (2003) |
| 2002 |
|---|
| 4 | | Zhaohui Zhu,
Zhenghua Pan,
Shifu Chen,
Wujia Zhu:
Valuation Structure.
J. Symb. Log. 67(1): 1-23 (2002) |
| 2001 |
|---|
| 3 | | Zhaohui Zhu,
Dongmo Zhang,
Shifu Chen,
Wujia Zhu:
Some Contributions to Nonmonotonic Consequence.
J. Comput. Sci. Technol. 16(4): 297-314 (2001) |
| 2000 |
|---|
| 2 | | Zhaohui Zhu,
Ben Li,
Shifu Chen,
Wujia Zhu:
Valuation-ranked preferential model.
KR 2000: 647-653 |
| 1 | | Dongmo Zhang,
Zhaohui Zhu,
Shifu Chen:
Default Reasoning and Belief Revision: A Syntax-Independent Approach.
J. Comput. Sci. Technol. 15(5): 430-438 (2000) |
