Huowang Chen

	2009
74		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
73		Xiaoyan Zhang, Ting Wang, Huowang Chen: Story Link Detection Based on Event Model with Uneven SVM. AIRS 2008: 436-441
72		Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen: Constraint Abstraction in Verification of Security Protocols. FAW 2008: 252-263
71		Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma: Symbolic Model Checking APSL. TASE 2008: 39-46
70		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)
69		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
68		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
67		Chunming Gao, Liping Wan, Huowang Chen: A Method of Web Services Composition Based on Service Alliance. APWeb/WAIM Workshops 2007: 491-496
66		Chunming Gao, Meiling Cai, Huowang Chen: QoS-Driven Global Optimization of Services Selection Supporting Services Flow Re-planning. APWeb/WAIM Workshops 2007: 516-521
65		Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen: Model Checking for BPEL4WS with Time. APWeb/WAIM Workshops 2007: 528-533
64		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
63		Shulin Wang, Huowang Chen, Shutao Li: Gene Selection Using Neighborhood Rough Set from Gene Expression Profiles. CIS 2007: 959-963
62		Chunming Gao, Meiling Cai, Huowang Chen: QoS-aware Service Composition Based on Tree-Coded Genetic Algorithm. COMPSAC (1) 2007: 361-367
61		Chunming Gao, Xiaojuan Yuan, Huowang Chen: Execution Mechanism of Service Proxy in Web Services Composition Execution Engine. COMPSAC (1) 2007: 647-648
60		Chunming Gao, Huang Tan, Huowang Chen: Frameworks of Composite Services Execution Engine with Feedback Control. COMPSAC (2) 2007: 503-508
59		Shulin Wang, Huowang Chen, Shutao Li, Dingxing Zhang: Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFT. EPIA Workshops 2007: 485-496
58		Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen: Constraints Solution for Time Sensitive Security Protocols. FAW 2007: 191-203
57		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
56		Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen: A Survey of Fuzzy Decision Tree Classifier Methodology. ICFIE 2007: 959-968
55		Jie Yu, Zhoujun Li, Huowang Chen, Xiaoming Chen: A Detection and Offense Mechanism to Defend Against Application Layer DDoS Attacks. ICNS 2007: 54
54		Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen: Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC 2007: 322-336
53		Chunming Gao, Weian Chen, Huowang Chen: A Feedback Control Framework of Service Composition Execution for Response Time Guarantee. ICWS 2007: 1158-1159
52		Chunming Gao, Yong Li, Huowang Chen: Services Composition Modeling with Mobility and Time. IEEE SCW 2007: 316-323
51		Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen: An Incremental Fuzzy Decision Tree Classification Method for Mining Data Streams. MLDM 2007: 91-103
50		Lijuan Zhang, Zhoujun Li, Huowang Chen: An Effective Gene Selection Method Based on Relevance Analysis and Discernibility Matrix. PAKDD 2007: 1088-1095
49		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
48		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
47		Chunming Gao, Yong Li, Huowang Chen: Distributed System Modeling Based on Discrete Time Mobile Ambient. PDPTA 2007: 57-63
46		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
45		Shulin Wang, Ji Wang, Huowang Chen, Boyun Zhang: SVM-Based Tumor Classification with Gene Expression Data. ADMA 2006: 864-870
44		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
43		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
42		Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen: A Model Checking Tool Embedded into Services Composition Environment. GCC 2006: 355-362
41		Yang Yu, Ji Wang, Ting Wang, Huowang Chen: Representing Wholes by Structure. ICCS 2006: 441-454
40		Lijuan Zhang, Zhoujun Li, Huowang Chen, Jian Wen: Minimum Redundancy Gene Selection Based on Grey Relational Analysis. ICDM Workshops 2006: 120-124
39		Bo Chen, Zhoujun Li, Huowang Chen: A New Component-Oriented Programming Language with the First-Class Connector. JMLC 2006: 271-286
38		Bo Chen, Zhoujun Li, Huowang Chen: Supporting Connector in Programming Language. SEKE 2006: 369-374
	2005
37		Xiaoyan Zhang, Ting Wang, Jintao Tang, Huiping Zhou, Huowang Chen: Chinese Named Entity Recognition with a Hybrid-Statistical Model. APWeb 2005: 900-912
36		Shaozi Li, Changle Zhou, Huowang Chen: Research on Mobile Agent Based Information Content-Sharing in Peer to Peer System. CDVE 2005: 130-139
35		Yaodong Chen, Ting Wang, Huowang Chen: Using Directed Graph Based BDMM Algorithm for Chinese Word Segmentation. CICLing 2005: 214-217
34		Shaozi Li, Changle Zhou, Huowang Chen: Web document retrieval based on multi-agent. CSCWD (1) 2005: 469-474
	2004
33		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
32		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
31		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
30		Yuejin Yan, Zhoujun Li, Huowang Chen: Fast Mining Maximal Frequent ItemSets Based on FP-Tree. ER 2004: 348-361
29		Shaozi Li, Wenjian You, Changle Zhou, Huowang Chen: An Improved Method for Text Filtering Using Lexical Chains. IKE 2004: 305-314
28		Jiong Yan, Ji Wang, Huowang Chen: UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. ISPA 2004: 433-445
27		Shaozi Li, Wenjian You, Tangqiu Li, Huowang Chen: Lexical-chain and It's Application in Text Filtering. ITCC (2) 2004: 288-292
26		Yan Jiong, Ji Wang, Huowang Chen: Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. QSIC 2004: 22-31
25		Xindong Zhou, Ting Wang, Huiping Zhou, Huowang Chen: Categorizing Web Information on Subject with Statistical Language Modeling. WISE 2004: 403-408
24		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
23		Lei Xu, Baowen Xu, Zhenqiang Chen, Jixiang Jiang, Huowang Chen: Regression Testing for Web Applications Based on Slicing. COMPSAC 2003: 652-656
22		Baowen Xu, Jianjiang Lu, Yingzhou Zhang, Lei Xu, Huowang Chen, Hongji Yang: Parallel Algorithm for Mining Fuzzy Association Rules. CW 2003: 288-293
21		Lei Xu, Baowen Xu, Zhenqiang Chen, Huowang Chen: Website Evolution Based on Statistic Data. FTDCS 2003: 301-307
20		Jianjiang Lu, Baowen Xu, Dazhou Kang, Huowang Chen, Hongji Yang: Mining Association Rules with Linguistic Terms. ICTAI 2003: 129-133
19		Lei Xu, Baowen Xu, Changhai Nie, Huowang Chen, Hongji Yang: A Browser Compatibility Testing Method Based on Combinatorial Testing. ICWE 2003: 310-313
18		Yan Jiong, Ji Wang, Huowang Chen: Deriving Software Statistical Testing Model from UML Model. QSIC 2003: 343-350
17		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
16		Xingming Sun, Huowang Chen, Lihua Yang, Yuan Yan Tang: Mathematical Representation of a Chinese Character and its Applications. IJPRAI 16(6): 735-748 (2002)
15		Xuan Qi, Huiping Zhou, Huowang Chen: An Interlingua-Based Chinese-English MT System. J. Comput. Sci. Technol. 17(4): 464-472 (2002)
	2000
14		Kaile Su, Huowang Chen, Decheng Ding: Two alternative notions of 'possibility' satisfying Halpern's conditions. J. Log. Comput. 10(2): 253-269 (2000)
	1999
13		Zhoujun Li, Huowang Chen: Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes. TACAS 1999: 300-314
12		Bingshan Wang, Zhoujun Li, Huowang Chen: Universal abstract consistency class and universal refutation. J. Comput. Sci. Technol. 14(2): 165-172 (1999)
	1998
11		Zhoujun Li, Huowang Chen: Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus. ICALP 1998: 707-718
10		Kewen Wang, Huowang Chen, Quanyuan Wu: The least fixpoint transformation for disjunctive logic programs. J. Comput. Sci. Technol. 13(3): 193-201 (1998)
9		Tiegeng Luo, Huowang Chen, Bingshan Wang, Ji Wang, Zhenghu Gong, Zhichang Qi: Verifying automata specification of distributed probabilistic real-time systems. J. Comput. Sci. Technol. 13(6): 588-596 (1998)
	1997
8		Kaile Su, Decheng Ding, Huowang Chen: A Three-Valued Quantificational Logic of Context. COCOON 1997: 343-352
7		Kewen Wang, Huowang Chen: Abduction, Argumentation and Bi-Disjunctive Logic Programs. LPKR 1997: 139-163
	1996
6		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
	1995
5		Huaimin Wang, Huowang Chen: A constructor-based EI-model semantics of EI-CTRS. J. Comput. Sci. Technol. 10(1): 85-96 (1995)
	1994
4		Xianchang Wang, Huowang Chen, Qinping Zhao: On the relationship between TMS and logic programs. J. Comput. Sci. Technol. 9(3): 245-251 (1994)
	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	[62] [66]
2	Yang Cao	[44]
3	Bo Chen	[38] [39]
4	Guolong Chen	[46]
5	Shuili Chen	[46]
6	Weian Chen	[53]
7	Xiaoming Chen	[55]
8	Yaodong Chen	[35]
9	Yuexin Chen	[32]
10	Zhenqiang Chen	[21] [23]
11	William C. Chu (William Cheng-Chung Chu)	[17]
12	Decheng Ding	[8] [14]
13	Wei Dong	[54]
14	Hongyan Du	[33]
15	Chunming Gao	[42] [47] [52] [53] [60] [61] [62] [65] [66] [67]
16	Zhenghu Gong	[9]
17	Wenzhong Guo	[46]
18	Xiaohua Hu (Xiaohua Tony Hu)	[48] [68]
19	Jixiang Jiang	[23]
20	Yan Jiong	[18] [26]
21	Dazhou Kang	[20]
22	Jin Li	[65]
23	Mengjun Li	[58] [64] [69] [70] [72]
24	Shaozi Li	[27] [29] [31] [34] [36] [44]
25	Shutao Li	[43] [49] [59] [63]
26	Tangqiu Li	[27]
27	Yong Li	[47] [52]
28	Zhoujun Li	[11] [12] [13] [30] [32] [38] [39] [40] [48] [50] [51] [55] [56] [57] [58] [64] [65] [68] [69] [70] [72]
29	Wei Li	[3]
30	Jinhong Liu	[24]
31	Rongsheng Liu	[42]
32	Wanwei Liu	[54] [71] [74]
33	Jianjiang Lu	[20] [22]
34	Tiegeng Luo	[9]
35	Xiaodong Ma	[71] [74]
36	Changhai Nie	[17] [19]
37	Xuan Qi	[15]
38	Zhichang Qi (Zhi-Chang Qi)	[9]
39	Rui Shen	[24]
40	Liang Shi	[17]
41	Yan Song	[42]
42	Kaile Su	[8] [14]
43	Xingming Sun	[16]
44	Huang Tan	[60]
45	Jintao Tang	[37]
46	Yuan Yan Tang	[16]
47	Xingyan Tian	[33]
48	Liping Wan	[67]
49	Bingshan Wang	[9] [12]
50	Huaimin Wang	[5]
51	Ji Wang	[2] [9] [18] [24] [26] [28] [41] [43] [45] [49] [54] [71] [74]
52	Kewen Wang	[7] [10]
53	Ruoxue Wang	[57]
54	Shulin Wang	[43] [45] [49] [59] [63]
55	Tao Wang	[32] [48] [51] [56] [57]
56	Ting Wang	[24] [25] [35] [37] [41] [73]
57	Xianchang Wang	[1] [3] [4]
58	Zhaofei Wang	[74]
59	Jian Wen	[40] [68]
60	Quanyuan Wu	[10]
61	Shaoyan Wu	[6]
62	Baowen Xu	[17] [19] [20] [21] [22] [23]
63	Lei Xu	[19] [21] [22] [23]
64	Jiong Yan	[28]
65	Yuejin Yan	[30] [32] [48] [51] [56] [57]
66	Hongji Yang	[17] [19] [20] [22]
67	Lihua Yang	[16]
68	Wenjian You	[27] [29]
69	Jie Yu	[55]
70	Yang Yu	[24] [41]
71	Xiaojuan Yuan	[61]
72	Boyun Zhang	[45]
73	Dingxing Zhang	[43] [59]
74	Lijuan Zhang	[40] [50] [68]
75	Qingfu Zhang	[6]
76	Xiaoyan Zhang	[37] [73]
77	Yingzhou Zhang	[22]
78	Kejia Zhao	[33]
79	Qinping Zhao	[4]
80	Quingping Zhao	[3]
81	Changle Zhou	[29] [31] [34] [36]
82	Huiping Zhou	[15] [25] [37]
83	Ti Zhou	[58] [64] [69] [70] [72]
84	Xindong Zhou	[25]

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