Naijun Zhan

	2009
19		Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan: Refinement and verification in component-based model-driven design. Sci. Comput. Program. 74(4): 168-196 (2009)
	2008
18		Bican Xia, Lu Yang, Naijun Zhan: Program Verification by Reduction to Semi-algebraic Systems Solving. ISoLA 2008: 277-291
17		Jian Zhang, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu: Basic research in computer science and software engineering at SKLCS. Frontiers of Computer Science in China 2(1): 1-11 (2008)
	2007
16		Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan: Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME 2007: 116-145
15		Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan: A Model of Component-Based Programming. FSEN 2007: 191-206
14		Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan: Generating Polynomial Invariants with DISCOVERER and QEPCAD. Formal Methods and Hybrid Real-Time Systems 2007: 67-82
13		Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou: Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. ICTAC 2007: 34-49
	2006
12		Naijun Zhan: Connecting Algebraic and Logical Descriptions of Concurrent Systems. ISoLA 2006: 383-391
	2005
11		Naijun Zhan, Mila E. Majster-Cederbaum: Deriving Non-determinism from Conjunction and Disjunction. FORTE 2005: 351-365
10		Naijun Zhan, Jinzhao Wu: Compositionality of Fixpoint Logic with Chop. ICTAC 2005: 136-150
9		Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou: Program Verification by Using DISCOVERER. VSTTE 2005: 528-538
8		Naijun Zhan: Compositional Properties of Sequential Processes. Electr. Notes Theor. Comput. Sci. 118: 111-128 (2005)
	2004
7		Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan: Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. ICFEM 2004: 449-463
	2003
6		Naijun Zhan: Combining Hierarchical Specification with Hierarchical Implementation. ASIAN 2003: 110-124
5		Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher: Action Refinement from a Logical Point of View. VMCAI 2003: 253-267
	2001
4		Huadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan: Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol. APSEC 2001: 371-
3		Naijun Zhan: An Intuitive Formal Proof for Deadline Driven Scheduler. J. Comput. Sci. Technol. 16(2): 146-158 (2001)
	2000
2		Naijun Zhan: Another formal proof for Deadline Driven Scheduler. RTCSA 2000: 481-485
	1999
1		Shuzhen Dong, Qiwen Xu, Naijun Zhan: A Formal Proof of the Rate Monotonic Scheduler. RTCSA 1999: 500-

Coauthor Index

1	Haiming Chen	[17]
2	Xin Chen	[15]
3	Yinghua Chen	[13] [14]
4	Zhenbang Chen	[16] [19]
5	Shuzhen Dong	[1]
6	Harald Fecher	[5]
7	Abdel Hakim Hannousse	[16]
8	Jifeng He	[15]
9	Dang Van Hung	[16]
10	Istvan Knoll	[16]
11	Liang Li	[4]
12	Xiaoshan Li	[16]
13	Yang Liu	[16]
14	Zhiming Liu	[15] [16] [19]
15	Huadong Ma	[4]
16	Mila E. Majster-Cederbaum	[5] [7] [11]
17	Qu Nan	[16]
18	Joseph C. Okika	[16]
19	Anders P. Ravn	[16] [19]
20	Yi-Dong Shen	[17]
21	Volker Stolz	[16] [19]
22	Hongan Wang	[17]
23	Jianzhong Wang	[4]
24	Yongji Wang	[17]
25	Enhua Wu	[17]
26	Jinzhao Wu	[7] [10]
27	Bican Xia	[9] [13] [14] [18]
28	Qiwen Xu	[1]
29	Lu Yang	[9] [13] [14] [16] [18]
30	Houguang Yue	[7]
31	Jian Zhang	[17]
32	Wenhui Zhang	[17]
33	Yunquan Zhang	[17]
34	Chaochen Zhou (Zhou Chaochen)	[9] [13]
35	Xueyang Zhu	[17]

Colors in the list of coauthors