- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| i5 |      | Yan Zhang, Zhaohui Zhu, Jinjin Zhang: On Recursive Operations Over Logic LTS. CoRR abs/1301.3350 (2013) |
| 2012 | ||
| i4 | | Yan Zhang, Zhaohui Zhu, Jinjin Zhang, Yong Zhou: A Process Calculus with Logical Operators. CoRR abs/1212.2257 (2012) |
| i3 | | Jinjin Zhang, Zhaohui Zhu: A Modal Characterization of Alternating Approximate Bisimilarity. CoRR abs/1212.5139 (2012) |
| i2 | | Jinjin Zhang, Zhaohui Zhu, Jianfei Yang: A control strategy algorithm for finite alternating transition systems. CoRR abs/1212.6607 (2012) |
| i1 | | Zhaohui Zhu, Yan Zhang, Jinjin Zhang: Merging Process Algebra and Action-based Computation Tree Logic. CoRR abs/1212.6813 (2012) |
| 2008 | ||
| j12 | | Jinjin Zhang, Zhaohui Zhu: A Behavioural Pseudometric based on lambda-Bisimilarity. Electr. Notes Theor. Comput. Sci. 220(3): 115-127 (2008) |
| j11 | | Jinjin Zhang, Zhaohui Zhu: Characterize branching distance in terms of (eta, alpha)-bisimilarity. Inf. Comput. 206(8): 953-965 (2008) |
| 2007 | ||
| j10 | | Jinjin Zhang, Zhaohui Zhu: A Modal Characterization of λ-Bisimilarity. Int. J. Software and Informatics 1(1): 85-99 (2007) |
| j9 | | Rong Zhang, Zhaohui Zhu: An algebraic characterization of equivalent preferential models. J. Symb. Log. 72(3): 803-833 (2007) |
| j8 | | Zhaohui Zhu, Wenjie Xiao: Two Representation Theorems for Non-monotonic Inference Relations. J. Log. Comput. 17(4): 727-747 (2007) |
| c2 | | 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 |
| 2006 | ||
| j7 | | |
| j6 | | 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 | ||
| j5 | | 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) |
| j4 | | 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 | ||
| j3 | | Zhaohui Zhu, Zhenghua Pan, Shifu Chen, Wujia Zhu: Valuation Structure. J. Symb. Log. 67(1): 1-23 (2002) |
| 2001 | ||
| j2 | | Zhaohui Zhu, Dongmo Zhang, Shifu Chen, Wujia Zhu: Some Contributions to Nonmonotonic Consequence. J. Comput. Sci. Technol. 16(4): 297-314 (2001) |
| 2000 | ||
| j1 | | Dongmo Zhang, Zhaohui Zhu, Shifu Chen: Default Reasoning and Belief Revision: A Syntax-Independent Approach. J. Comput. Sci. Technol. 15(5): 430-438 (2000) |
| c1 |  | |
Colors in the list of coauthors
Last update Tue May 21 14:04:54 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page