Huowang Chen

	2009
67		Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang: Symbolic model checking APSL. Frontiers of Computer Science in China 3(1): 130-141 (2009)
	2008
66		Xiaoyan Zhang, Ting Wang, Huowang Chen: Story Link Detection Based on Event Model with Uneven SVM. AIRS 2008: 436-441
65		Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen: Constraint Abstraction in Verification of Security Protocols. FAW 2008: 252-263
64		Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma: Symbolic Model Checking APSL. TASE 2008: 39-46
63		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)
62		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
61		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
60		Chunming Gao, Liping Wan, Huowang Chen: A Method of Web Services Composition Based on Service Alliance. APWeb/WAIM Workshops 2007: 491-496
59		Chunming Gao, Meiling Cai, Huowang Chen: QoS-Driven Global Optimization of Services Selection Supporting Services Flow Re-planning. APWeb/WAIM Workshops 2007: 516-521
58		Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen: Model Checking for BPEL4WS with Time. APWeb/WAIM Workshops 2007: 528-533
57		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
56		Chunming Gao, Meiling Cai, Huowang Chen: QoS-aware Service Composition Based on Tree-Coded Genetic Algorithm. COMPSAC (1) 2007: 361-367
55		Chunming Gao, Xiaojuan Yuan, Huowang Chen: Execution Mechanism of Service Proxy in Web Services Composition Execution Engine. COMPSAC (1) 2007: 647-648
54		Chunming Gao, Huang Tan, Huowang Chen: Frameworks of Composite Services Execution Engine with Feedback Control. COMPSAC (2) 2007: 503-508
53		Shulin Wang, Huowang Chen, Shutao Li, Dingxing Zhang: Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFT. EPIA Workshops 2007: 485-496
52		Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen: Constraints Solution for Time Sensitive Security Protocols. FAW 2007: 191-203
51		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
50		Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen: A Survey of Fuzzy Decision Tree Classifier Methodology. ICFIE 2007: 959-968
49		Jie Yu, Zhoujun Li, Huowang Chen, Xiaoming Chen: A Detection and Offense Mechanism to Defend Against Application Layer DDoS Attacks. ICNS 2007: 54
48		Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen: Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC 2007: 322-336
47		Chunming Gao, Weian Chen, Huowang Chen: A Feedback Control Framework of Service Composition Execution for Response Time Guarantee. ICWS 2007: 1158-1159
46		Chunming Gao, Yong Li, Huowang Chen: Services Composition Modeling with Mobility and Time. IEEE SCW 2007: 316-323
45		Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen: An Incremental Fuzzy Decision Tree Classification Method for Mining Data Streams. MLDM 2007: 91-103
44		Lijuan Zhang, Zhoujun Li, Huowang Chen: An Effective Gene Selection Method Based on Relevance Analysis and Discernibility Matrix. PAKDD 2007: 1088-1095
43		Shulin Wang, Ji Wang, Huowang Chen, Shutao Li: Feature Extraction and Classification of Tumor Based on Wavelet Package and Support Vector Machines. PAKDD 2007: 871-878
42		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
41		Chunming Gao, Yong Li, Huowang Chen: Distributed System Modeling Based on Discrete Time Mobile Ambient. PDPTA 2007: 57-63
40		Guolong Chen, Shuili Chen, Wenzhong Guo, Huowang Chen: The multi-criteria minimum spanning tree problem based genetic algorithm. Inf. Sci. 177(22): 5050-5063 (2007)
	2006
39		Shulin Wang, Ji Wang, Huowang Chen, Boyun Zhang: SVM-Based Tumor Classification with Gene Expression Data. ADMA 2006: 864-870
38		Shaozi Li, Yang Cao, Huowang Chen: A New Migration Algorithm of Mobile Agent Based on Ant Colony Algorithm in P2P Network. CDVE 2006: 107-114
37		Shulin Wang, Huowang Chen, Ji Wang, Dingxing Zhang, Shutao Li: Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines. CIS 2006: 46-56
36		Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen: A Model Checking Tool Embedded into Services Composition Environment. GCC 2006: 355-362
35		Yang Yu, Ji Wang, Ting Wang, Huowang Chen: Representing Wholes by Structure. ICCS 2006: 441-454
34		Lijuan Zhang, Zhoujun Li, Huowang Chen, Jian Wen: Minimum Redundancy Gene Selection Based on Grey Relational Analysis. ICDM Workshops 2006: 120-124
33		Bo Chen, Zhoujun Li, Huowang Chen: A New Component-Oriented Programming Language with the First-Class Connector. JMLC 2006: 271-286
32		Bo Chen, Zhoujun Li, Huowang Chen: Supporting Connector in Programming Language. SEKE 2006: 369-374
	2005
31		Xiaoyan Zhang, Ting Wang, Jintao Tang, Huiping Zhou, Huowang Chen: Chinese Named Entity Recognition with a Hybrid-Statistical Model. APWeb 2005: 900-912
30		Shaozi Li, Changle Zhou, Huowang Chen: Research on Mobile Agent Based Information Content-Sharing in Peer to Peer System. CDVE 2005: 130-139
29		Yaodong Chen, Ting Wang, Huowang Chen: Using Directed Graph Based BDMM Algorithm for Chinese Word Segmentation. CICLing 2005: 214-217
	2004
28		Xingyan Tian, Kejia Zhao, Huowang Chen, Hongyan Du: Cache Behavior Analysis of a Compiler-Assisted Cache Replacement Policy. Asia-Pacific Computer Systems Architecture Conference 2004: 30-43
27		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
26		Shaozi Li, Changle Zhou, Huowang Chen: Research on Content-Based Text Retrieval and Collaborative Filtering in Hybrid Peer-to-Peer Networks. CSCWD (Selected papers) 2004: 417-426
25		Yuejin Yan, Zhoujun Li, Huowang Chen: Fast Mining Maximal Frequent ItemSets Based on FP-Tree. ER 2004: 348-361
24		Shaozi Li, Wenjian You, Changle Zhou, Huowang Chen: An Improved Method for Text Filtering Using Lexical Chains. IKE 2004: 305-314
23		Jiong Yan, Ji Wang, Huowang Chen: UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. ISPA 2004: 433-445
22		Shaozi Li, Wenjian You, Tangqiu Li, Huowang Chen: Lexical-chain and It's Application in Text Filtering. ITCC (2) 2004: 288-292
21		Yan Jiong, Ji Wang, Huowang Chen: Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. QSIC 2004: 22-31
20		Xindong Zhou, Ting Wang, Huiping Zhou, Huowang Chen: Categorizing Web Information on Subject with Statistical Language Modeling. WISE 2004: 403-408
19		Ting Wang, Ji Wang, Yang Yu, Rui Shen, Jinhong Liu, Huowang Chen: MetaData Pro: Ontology-Based Metadata Processing for Web Resources. WISE Workshops 2004: 34-45
	2003
18		Lei Xu, Baowen Xu, Zhenqiang Chen, Jixiang Jiang, Huowang Chen: Regression Testing for Web Applications Based on Slicing. COMPSAC 2003: 652-656
17		Baowen Xu, Jianjiang Lu, Yingzhou Zhang, Lei Xu, Huowang Chen, Hongji Yang: Parallel Algorithm for Mining Fuzzy Association Rules. CW 2003: 288-293
16		Lei Xu, Baowen Xu, Zhenqiang Chen, Huowang Chen: Website Evolution Based on Statistic Data. FTDCS 2003: 301-307
15		Jianjiang Lu, Baowen Xu, Dazhou Kang, Huowang Chen, Hongji Yang: Mining Association Rules with Linguistic Terms. ICTAI 2003: 129-133
14		Lei Xu, Baowen Xu, Changhai Nie, Huowang Chen, Hongji Yang: A Browser Compatibility Testing Method Based on Combinatorial Testing. ICWE 2003: 310-313
13		Yan Jiong, Ji Wang, Huowang Chen: Deriving Software Statistical Testing Model from UML Model. QSIC 2003: 343-350
12		Baowen Xu, Changhai Nie, Liang Shi, William C. Chu, Hongji Yang, Huowang Chen: Test Plan Design for Software Configuration Testing. Software Engineering Research and Practice 2003: 686-692
	2002
11		Xingming Sun, Huowang Chen, Lihua Yang, Yuan Yan Tang: Mathematical Representation of a Chinese Character and its Applications. IJPRAI 16(6): 735-748 (2002)
10		Xuan Qi, Huiping Zhou, Huowang Chen: An Interlingua-Based Chinese-English MT System. J. Comput. Sci. Technol. 17(4): 464-472 (2002)
	2000
9		Kaile Su, Huowang Chen, Decheng Ding: Two alternative notions of 'possibility' satisfying Halpern's conditions. J. Log. Comput. 10(2): 253-269 (2000)
	1999
8		Zhoujun Li, Huowang Chen: Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes. TACAS 1999: 300-314
	1998
7		Zhoujun Li, Huowang Chen: Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus. ICALP 1998: 707-718
	1997
6		Kaile Su, Decheng Ding, Huowang Chen: A Three-Valued Quantificational Logic of Context. COCOON 1997: 343-352
5		Kewen Wang, Huowang Chen: Abduction, Argumentation and Bi-Disjunctive Logic Programs. LPKR 1997: 139-163
	1996
4		Shaoyan Wu, Qingfu Zhang, Huowang Chen: A New Evolutionary Model Based on Family Eugenics: the First Results. International Conference on Evolutionary Computation 1996: 350-355
	1993
3		Xianchang Wang, Huowang Chen, Quingping Zhao, Wei Li: W - A Logic System Based on the Shared Common Knowledge Views. IJCAI 1993: 410-415
	1992
2		Ji Wang, Huowang Chen: Temporal Reasoning About Real Time Reactive Systems. IWAR 1992: 249-256
	1991
1		Xianchang Wang, Huowang Chen: On Semantics of TMS. IJCAI 1991: 306-309

Coauthor Index

1	Meiling Cai	[56] [59]
2	Yang Cao	[38]
3	Bo Chen	[32] [33]
4	Guolong Chen	[40]
5	Shuili Chen	[40]
6	Weian Chen	[47]
7	Xiaoming Chen	[49]
8	Yaodong Chen	[29]
9	Yuexin Chen	[27]
10	Zhenqiang Chen	[16] [18]
11	William C. Chu (William Cheng-Chung Chu)	[12]
12	Decheng Ding	[6] [9]
13	Wei Dong	[48]
14	Hongyan Du	[28]
15	Chunming Gao	[36] [41] [46] [47] [54] [55] [56] [58] [59] [60]
16	Wenzhong Guo	[40]
17	Xiaohua Hu	[42] [61]
18	Jixiang Jiang	[18]
19	Yan Jiong	[13] [21]
20	Dazhou Kang	[15]
21	Jin Li	[58]
22	Mengjun Li	[52] [57] [62] [63] [65]
23	Shaozi Li	[22] [24] [26] [30] [38]
24	Shutao Li	[37] [43] [53]
25	Tangqiu Li	[22]
26	Wei Li	[3]
27	Yong Li	[41] [46]
28	Zhoujun Li	[7] [8] [25] [27] [32] [33] [34] [42] [44] [45] [49] [50] [51] [52] [57] [58] [61] [62] [63] [65]
29	Jinhong Liu	[19]
30	Rongsheng Liu	[36]
31	Wanwei Liu	[48] [64] [67]
32	Jianjiang Lu	[15] [17]
33	Xiaodong Ma	[64] [67]
34	Changhai Nie	[12] [14]
35	Xuan Qi	[10]
36	Rui Shen	[19]
37	Liang Shi	[12]
38	Yan Song	[36]
39	Kaile Su	[6] [9]
40	Xingming Sun	[11]
41	Huang Tan	[54]
42	Jintao Tang	[31]
43	Yuan Yan Tang	[11]
44	Xingyan Tian	[28]
45	Liping Wan	[60]
46	Ji Wang	[2] [13] [19] [21] [23] [35] [37] [39] [43] [48] [64] [67]
47	Kewen Wang	[5]
48	Ruoxue Wang	[51]
49	Shulin Wang	[37] [39] [43] [53]
50	Tao Wang	[27] [42] [45] [50] [51]
51	Ting Wang	[19] [20] [29] [31] [35] [66]
52	Xianchang Wang	[1] [3]
53	Zhaofei Wang	[67]
54	Jian Wen	[34] [61]
55	Shaoyan Wu	[4]
56	Baowen Xu	[12] [14] [15] [16] [17] [18]
57	Lei Xu	[14] [16] [17] [18]
58	Jiong Yan	[23]
59	Yuejin Yan	[25] [27] [42] [45] [50] [51]
60	Hongji Yang	[12] [14] [15] [17]
61	Lihua Yang	[11]
62	Wenjian You	[22] [24]
63	Jie Yu	[49]
64	Yang Yu	[19] [35]
65	Xiaojuan Yuan	[55]
66	Boyun Zhang	[39]
67	Dingxing Zhang	[37] [53]
68	Lijuan Zhang	[34] [44] [61]
69	Qingfu Zhang	[4]
70	Xiaoyan Zhang	[31] [66]
71	Yingzhou Zhang	[17]
72	Kejia Zhao	[28]
73	Quingping Zhao	[3]
74	Changle Zhou	[24] [26] [30]
75	Huiping Zhou	[10] [20] [31]
76	Ti Zhou	[52] [57] [62] [63] [65]
77	Xindong Zhou	[20]

Colors in the list of coauthors