Zhoujun Li

	2009
48		Shikun Chen, Zhoujun Li: Simplifying Buffer Overflow Detection Using Site-Safe Expressions. ACIS-ICIS 2009: 977-982
47		Xiaoming Zhang, Zhoujun Li: Online New Event Detection Based on IPLSA. ADMA 2009: 397-408
46		Yiming Chen, Zhoujun Li, Junwan Liu: Learning Kernel Matrix from Gene Ontology and Annotation Data for Protein Function Prediction. ISNN (3) 2009: 694-703
45		Xiaoshi Yin, Xiangji Huang, Qinmin Hu, Zhoujun Li: Boosting Biomedical Information Retrieval Performance through Citation Graph: An Empirical Study. PAKDD 2009: 949-956
44		Shikun Chen, Zhoujun Li, Mengjun Li: Constructing Program Invariants via Solving QBF. TASE 2009: 217-221
43		Hua Guo, Yi Mu, Xiyong Zhang, Zhoujun Li: Novel and Efficient Identity-Based Authenticated Key Agreement Protocols from Weil Pairings. UIC 2009: 310-324
42		Junwan Liu, Zhoujun Li, Xiaohua Hu, Yiming Chen: Biclustering of microarray data with MOSPO based on crowding distance. BMC Bioinformatics 10(S-4): (2009)
	2008
41		Wen-Han Chao, Zhoujun Li: Similar Sentence Retrieval for Machine Translation Based on Word-Aligned Bilingual Corpus. AIRS 2008: 578-585
40		Yangli Jia, Zhoujun Li, Zhenling Zhang: Timed Component-Interaction Automata for Specification and Verification of Real-Time Reactive Systems. CSSE (2) 2008: 135-138
39		Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen: Constraint Abstraction in Verification of Security Protocols. FAW 2008: 252-263
38		Ti Zhou, Mengjun Li, Zhoujun Li: Local abstract verification and refinement of security protocols. FMSE 2008: 21-30
37		Jian Wen, Zhoujun Li: Improving Information Retrieval within Language Model Framework by Integrating Adjacent and Distant Relation. FSKD (4) 2008: 186-192
36		Qiang Li, Qinfen Hao, Limin Xiao, Zhoujun Li: VM-based Architecture for Network Monitoring and Analysis. ICYCS 2008: 1395-1400
35		Zhoujun Li, Xiaoming Chen: Misusing Kademlia Protocol to Perform DDoS Attacks. ISPA 2008: 80-86
34		Mengjun Li, Ti Zhou, Zhoujun Li: SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming. Inscrypt 2008: 125-140
33		Xiaoming Zhang, Zhoujun Li, Yijie Wang: A distributed topology-aware overlays construction algorithm. Mardi Gras Conference 2008: 5
32		Feng Liu, Zhoujun Li, Ti Zhou, Mengjun Li: Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic. SEKE 2008: 795-801
31		Hua Guo, Zhoujun Li, Yi Mu, Xiyong Zhang: Cryptanalysis of simple three-party key exchange protocol. Computers & Security 27(1-2): 16-21 (2008)
30		Ti Zhou, Mengjun Li, Zhoujun Li, Huowang Chen: Modeling and Verifying Time Sensitive Security Protocols with Constraints. Electr. Notes Theor. Comput. Sci. 212: 103-118 (2008)
29		Zhoujun Li, Hua Guo, Xiyong Zhang: fficient and Provably Secure Generic Construction of Client-to-Client Password-Based Key Exchange Protocol. Electr. Notes Theor. Comput. Sci. 212: 257-268 (2008)
28		Mengjun Li, Zhoujun Li, Huowang Chen, Ti Zhou: A Novel Derivation Framework For Definite Logic Program. Electr. Notes Theor. Comput. Sci. 212: 71-85 (2008)
	2007
27		Jian Wen, Zhoujun Li, Lijuan Zhang, Xiaohua Hu, Huowang Chen: A New Method of Cluster-Based Topic Language Model for Genomic IR. AINA Workshops (1) 2007: 301-306
26		Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen: Model Checking for BPEL4WS with Time. APWeb/WAIM Workshops 2007: 528-533
25		Mengjun Li, Ti Zhou, Zhoujun Li, Huowang Chen: An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming. ASIAN 2007: 166-180
24		Jian Wen, Zhoujun Li, Xiaohua Hu: Ontology Based Clustering for Improving Genomic IR. CBMS 2007: 225-230
23		Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen: Constraints Solution for Time Sensitive Security Protocols. FAW 2007: 191-203
22		Zhoujun Li, Tao Wang, Ruoxue Wang, Yuejin Yan, Huowang Chen: A New Fuzzy Decision Tree Classification Method for Mining High-Speed Data Streams Based on Binary Search Trees. FAW 2007: 216-227
21		Yun Sun, Zhoujun Li, Deqiang Wang: Hamiltonian Property on Binary Recursive Networks. FAW 2007: 228-235
20		Chen Wu, Xiaohua Hu, Zhoujun Li, Xiaohua Zhou, Palakorn Achananuparp: Algorithms for Different Approximations in Incomplete Information Systems with Maximal Compatible Classes as Primitive Granules. GrC 2007: 169-174
19		Jian Wen, Zhoujun Li: Semantic Smoothing the Multinomial Naive Bayes for Biomedical Literature Classification. GrC 2007: 648-
18		Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen: A Survey of Fuzzy Decision Tree Classifier Methodology. ICFIE 2007: 959-968
17		Jie Yu, Zhoujun Li, Huowang Chen, Xiaoming Chen: A Detection and Offense Mechanism to Defend Against Application Layer DDoS Attacks. ICNS 2007: 54
16		Zhoujun Li, Yun Sun, Deqiang Wang: Diameter bounds of cubelike recursive networks. ICPADS 2007: 1-8
15		Yun Sun, Zhoujun Li, Deqiang Wang: Hamiltonicity and Pancyclicity of Binary Recursive Networks. ISPA 2007: 786-796
14		Wen-Han Chao, Zhoujun Li, Yuexin Chen: An Integrated Reordering Model for Statistical Machine Translation. MICAI 2007: 955-965
13		Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen: An Incremental Fuzzy Decision Tree Classification Method for Mining Data Streams. MLDM 2007: 91-103
12		Lijuan Zhang, Zhoujun Li, Huowang Chen: An Effective Gene Selection Method Based on Relevance Analysis and Discernibility Matrix. PAKDD 2007: 1088-1095
11		Tao Wang, Zhoujun Li, Xiaohua Hu, Yuejin Yan, Huowang Chen: A New Decision Tree Classification Method for Mining High-Speed Data Streams Based on Threaded Binary Search Trees. PAKDD Workshops 2007: 256-267
	2006
10		Lijuan Zhang, Zhoujun Li: Gene Selection for Classifying Microarray Data Using Grey Relation Analysis. Discovery Science 2006: 378-382
9		Xiaoming Chen, Zhoujun Li, Yongzhen Zhuang, Jinsong Han, Lei Chen: HAND: An Overlay Optimization Algorithm in Peer-to-Peer Systems. HPCC 2006: 290-299
8		Lijuan Zhang, Zhoujun Li, Huowang Chen, Jian Wen: Minimum Redundancy Gene Selection Based on Grey Relational Analysis. ICDM Workshops 2006: 120-124
7		Bo Chen, Zhoujun Li, Huowang Chen: A New Component-Oriented Programming Language with the First-Class Connector. JMLC 2006: 271-286
6		Bo Chen, Zhoujun Li, Huowang Chen: Supporting Connector in Programming Language. SEKE 2006: 369-374
	2004
5		Yuejin Yan, Zhoujun Li, Tao Wang, Yuexin Chen, Huowang Chen: Mining Maximal Frequent ItemSets Using Combined FP-Tree. Australian Conference on Artificial Intelligence 2004: 475-487
4		Yuejin Yan, Zhoujun Li, Huowang Chen: Fast Mining Maximal Frequent ItemSets Based on FP-Tree. ER 2004: 348-361
	2003
3		Xutao Du, Zhoujun Li: A Proof Assistant for Mobile Processes. APPT 2003: 204-214
	1999
2		Zhoujun Li, Huowang Chen: Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes. TACAS 1999: 300-314
	1998
1		Zhoujun Li, Huowang Chen: Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus. ICALP 1998: 707-718

Coauthor Index

1	Palakorn Achananuparp	[20]
2	Wen-Han Chao	[14] [41]
3	Bo Chen	[6] [7]
4	Huowang Chen	[1] [2] [4] [5] [6] [7] [8] [11] [12] [13] [17] [18] [22] [23] [25] [26] [27] [28] [30] [39]
5	Shikun Chen	[44] [48]
6	Xiaoming Chen	[9] [17] [35]
7	Yiming Chen	[42] [46]
8	Yuexin Chen	[5] [14]
9	Lei Chen	[9]
10	Xutao Du	[3]
11	Chunming Gao	[26]
12	Hua Guo	[29] [31] [43]
13	Jinsong Han	[9]
14	Qinfen Hao	[36]
15	Qinmin Hu	[45]
16	Xiaohua Hu	[11] [20] [24] [27] [42]
17	Xiangji Huang (Jimmy Huang)	[45]
18	Yangli Jia	[40]
19	Jin Li	[26]
20	Mengjun Li	[23] [25] [28] [30] [32] [34] [38] [39] [44]
21	Qiang Li	[36]
22	Feng Liu	[32]
23	Junwan Liu	[42] [46]
24	Yi Mu	[31] [43]
25	Yun Sun	[15] [16] [21]
26	Deqiang Wang	[15] [16] [21]
27	Ruoxue Wang	[22]
28	Tao Wang	[5] [11] [13] [18] [22]
29	Yijie Wang	[33]
30	Jian Wen	[8] [19] [24] [27] [37]
31	Chen Wu	[20]
32	Limin Xiao	[36]
33	Yuejin Yan	[4] [5] [11] [13] [18] [22]
34	Xiaoshi Yin	[45]
35	Jie Yu	[17]
36	Lijuan Zhang	[8] [10] [12] [27]
37	Xiaoming Zhang	[33] [47]
38	Xiyong Zhang	[29] [31] [43]
39	Zhenling Zhang	[40]
40	Ti Zhou	[23] [25] [28] [30] [32] [34] [38] [39]
41	Xiaohua Zhou	[20]
42	Yongzhen Zhuang	[9]

Colors in the list of coauthors