Qingliang Chen

	2012
14		Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su, Wei Wu: A complete first-order temporal BDI logic for forest multi-agent systems. Knowl.-Based Syst. 27: 343-351 (2012)
	2010
13		Shaowei Cai, Kaile Su, Qingliang Chen: EWLS: A New Local Search for Minimum Vertex Cover. AAAI 2010
	2009
12		Lijun Wu, Jinshu Su, Xiangyu Luo, Zhihua Yang, Qingliang Chen: A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems. Canadian Conference on AI 2009: 146-157
	2008
11		Jinji Yang, Kaile Su, Qingliang Chen: Improving Encoding Efficiency for Bounded Model Checking. TASE 2008: 31-38
	2007
10		Chen Guolong, Qingliang Chen, Guo Wenzhong: A PSO-Based Approach to Rule Learning in Network Intrusion Detection. ICFIE 2007: 666-673
9		Qingliang Chen, Kaile Su, Xizhong Zheng: Primitive Recursiveness of Real Numbers under Different Representations. Electr. Notes Theor. Comput. Sci. 167: 303-324 (2007)
8		Kaile Su, Yinyin Xiao, Qingliang Chen, Han Lin: Semantic interpretation of compositional logic in instantiation space. Frontiers of Computer Science in China 1(2): 191-199 (2007)
7		Qingliang Chen, Kaile Su, Xizhong Zheng: Primitive recursive real numbers. Math. Log. Q. 53(4-5): 365-380 (2007)
	2006
6		Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng: Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. J. Comput. Sci. Technol. 21(6): 932-943 (2006)
	2005
5		Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv: Bounded model checking knowledge and branching time in synchronous multi-agent systems. AAMAS 2005: 1129-1130
4		Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen: A computationally grounded logic of knowledge, belief and certainty. AAMAS 2005: 149-156
3		Lijun Wu, Kaile Su, Qingliang Chen: Model Checking Temporal Logics of Knowledge and Its Application in Security Verification. CIS (1) 2005: 349-354
2		Kaile Su, Congxin Zhao, Guanfeng Lv, Han Lin, Qingliang Chen: Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System. WINE 2005: 391-404
1		Kaile Su, Guanfeng Lv, Qingliang Chen: Knowledge structure approach to verification of authentication protocols. Science in China Series F: Information Sciences 48(4): 513-532 (2005)

Coauthor Index

1	Shaowei Cai	[13]
2	Guido Governatori	[4]
3	Chen Guolong	[10]
4	Han Lin	[2] [8]
5	Xiangyu Luo	[5] [12]
6	Guanfeng Lv	[1] [2] [5] [6]
7	Abdul Sattar	[4] [5] [6] [14]
8	Jinshu Su	[12] [14]
9	Kaile Su	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [13] [14]
10	Guo Wenzhong	[10]
11	Lijun Wu	[3] [12] [14]
12	Wei Wu	[14]
13	Yinyin Xiao	[8]
14	Jinji Yang	[11]
15	Zhihua Yang	[12]
16	Weiya Yue	[6]
17	Congxin Zhao	[2]
18	Xizhong Zheng	[6] [7] [9]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page