Zhoujun Li

2009
42	EE	Xiaoshi Yin, Xiangji Huang, Qinmin Hu, Zhoujun Li: Boosting Biomedical Information Retrieval Performance through Citation Graph: An Empirical Study. PAKDD 2009: 949-956
2008
41	EE	Wen-Han Chao, Zhoujun Li: Similar Sentence Retrieval for Machine Translation Based on Word-Aligned Bilingual Corpus. AIRS 2008: 578-585
40	EE	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	EE	Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen: Constraint Abstraction in Verification of Security Protocols. FAW 2008: 252-263
38	EE	Ti Zhou, Mengjun Li, Zhoujun Li: Local abstract verification and refinement of security protocols. FMSE 2008: 21-30
37	EE	Jian Wen, Zhoujun Li: Improving Information Retrieval within Language Model Framework by Integrating Adjacent and Distant Relation. FSKD (4) 2008: 186-192
36	EE	Qiang Li, Qinfen Hao, Limin Xiao, Zhoujun Li: VM-based Architecture for Network Monitoring and Analysis. ICYCS 2008: 1395-1400
35	EE	Zhoujun Li, Xiaoming Chen: Misusing Kademlia Protocol to Perform DDoS Attacks. ISPA 2008: 80-86
34	EE	Mengjun Li, Ti Zhou, Zhoujun Li: SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming. Inscrypt 2008: 125-140
33	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen: Model Checking for BPEL4WS with Time. APWeb/WAIM Workshops 2007: 528-533
25	EE	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	EE	Jian Wen, Zhoujun Li, Xiaohua Hu: Ontology Based Clustering for Improving Genomic IR. CBMS 2007: 225-230
23	EE	Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen: Constraints Solution for Time Sensitive Security Protocols. FAW 2007: 191-203
22	EE	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	EE	Yun Sun, Zhoujun Li, Deqiang Wang: Hamiltonian Property on Binary Recursive Networks. FAW 2007: 228-235
20	EE	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	EE	Jian Wen, Zhoujun Li: Semantic Smoothing the Multinomial Naive Bayes for Biomedical Literature Classification. GrC 2007: 648-
18	EE	Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen: A Survey of Fuzzy Decision Tree Classifier Methodology. ICFIE 2007: 959-968
17	EE	Jie Yu, Zhoujun Li, Huowang Chen, Xiaoming Chen: A Detection and Offense Mechanism to Defend Against Application Layer DDoS Attacks. ICNS 2007: 54
16	EE	Zhoujun Li, Yun Sun, Deqiang Wang: Diameter bounds of cubelike recursive networks. ICPADS 2007: 1-8
15	EE	Yun Sun, Zhoujun Li, Deqiang Wang: Hamiltonicity and Pancyclicity of Binary Recursive Networks. ISPA 2007: 786-796
14	EE	Wen-Han Chao, Zhoujun Li, Yuexin Chen: An Integrated Reordering Model for Statistical Machine Translation. MICAI 2007: 955-965
13	EE	Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen: An Incremental Fuzzy Decision Tree Classification Method for Mining Data Streams. MLDM 2007: 91-103
12	EE	Lijuan Zhang, Zhoujun Li, Huowang Chen: An Effective Gene Selection Method Based on Relevance Analysis and Discernibility Matrix. PAKDD 2007: 1088-1095
11	EE	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	EE	Lijuan Zhang, Zhoujun Li: Gene Selection for Classifying Microarray Data Using Grey Relation Analysis. Discovery Science 2006: 378-382
9	EE	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	EE	Lijuan Zhang, Zhoujun Li, Huowang Chen, Jian Wen: Minimum Redundancy Gene Selection Based on Grey Relational Analysis. ICDM Workshops 2006: 120-124
7	EE	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	EE	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	EE	Yuejin Yan, Zhoujun Li, Huowang Chen: Fast Mining Maximal Frequent ItemSets Based on FP-Tree. ER 2004: 348-361
2003
3	EE	Xutao Du, Zhoujun Li: A Proof Assistant for Mobile Processes. APPT 2003: 204-214
1999
2	EE	Zhoujun Li, Huowang Chen: Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes. TACAS 1999: 300-314
1998
1	EE	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	Xiaoming Chen	[9] [17] [35]
6	Yuexin Chen	[5] [14]
7	Lei Chen	[9]
8	Xutao Du	[3]
9	Chunming Gao	[26]
10	Hua Guo	[29] [31]
11	Jinsong Han	[9]
12	Qinfen Hao	[36]
13	Qinmin Hu	[42]
14	Xiaohua Hu	[11] [20] [24] [27]
15	Xiangji Huang	[42]
16	Yangli Jia	[40]
17	Jin Li	[26]
18	Mengjun Li	[23] [25] [28] [30] [32] [34] [38] [39]
19	Qiang Li	[36]
20	Feng Liu	[32]
21	Yi Mu	[31]
22	Yun Sun	[15] [16] [21]
23	Deqiang Wang	[15] [16] [21]
24	Ruoxue Wang	[22]
25	Tao Wang	[5] [11] [13] [18] [22]
26	Yijie Wang	[33]
27	Jian Wen	[8] [19] [24] [27] [37]
28	Chen Wu	[20]
29	Limin Xiao	[36]
30	Yuejin Yan	[4] [5] [11] [13] [18] [22]
31	Xiaoshi Yin	[42]
32	Jie Yu	[17]
33	Lijuan Zhang	[8] [10] [12] [27]
34	Xiaoming Zhang	[33]
35	Xiyong Zhang	[29] [31]
36	Zhenling Zhang	[40]
37	Ti Zhou	[23] [25] [28] [30] [32] [34] [38] [39]
38	Xiaohua Zhou	[20]
39	Yongzhen Zhuang	[9]

Colors in the list of coauthors