| 2009 |
|---|
| 67 | EE | 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 | EE | Xiaoyan Zhang,
Ting Wang,
Huowang Chen:
Story Link Detection Based on Event Model with Uneven SVM.
AIRS 2008: 436-441 |
| 65 | EE | Ti Zhou,
Zhoujun Li,
Mengjun Li,
Huowang Chen:
Constraint Abstraction in Verification of Security Protocols.
FAW 2008: 252-263 |
| 64 | EE | Wanwei Liu,
Ji Wang,
Huowang Chen,
Xiaodong Ma:
Symbolic Model Checking APSL.
TASE 2008: 39-46 |
| 63 | 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) |
| 62 | 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 |
|---|
| 61 | 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 |
| 60 | EE | Chunming Gao,
Liping Wan,
Huowang Chen:
A Method of Web Services Composition Based on Service Alliance.
APWeb/WAIM Workshops 2007: 491-496 |
| 59 | EE | 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 | EE | Chunming Gao,
Jin Li,
Zhoujun Li,
Huowang Chen:
Model Checking for BPEL4WS with Time.
APWeb/WAIM Workshops 2007: 528-533 |
| 57 | 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 |
| 56 | EE | Chunming Gao,
Meiling Cai,
Huowang Chen:
QoS-aware Service Composition Based on Tree-Coded Genetic Algorithm.
COMPSAC (1) 2007: 361-367 |
| 55 | EE | Chunming Gao,
Xiaojuan Yuan,
Huowang Chen:
Execution Mechanism of Service Proxy in Web Services Composition Execution Engine.
COMPSAC (1) 2007: 647-648 |
| 54 | EE | Chunming Gao,
Huang Tan,
Huowang Chen:
Frameworks of Composite Services Execution Engine with Feedback Control.
COMPSAC (2) 2007: 503-508 |
| 53 | EE | 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 | EE | Zhoujun Li,
Ti Zhou,
Mengjun Li,
Huowang Chen:
Constraints Solution for Time Sensitive Security Protocols.
FAW 2007: 191-203 |
| 51 | 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 |
| 50 | EE | Tao Wang,
Zhoujun Li,
Yuejin Yan,
Huowang Chen:
A Survey of Fuzzy Decision Tree Classifier Methodology.
ICFIE 2007: 959-968 |
| 49 | EE | Jie Yu,
Zhoujun Li,
Huowang Chen,
Xiaoming Chen:
A Detection and Offense Mechanism to Defend Against Application Layer DDoS Attacks.
ICNS 2007: 54 |
| 48 | EE | Wanwei Liu,
Ji Wang,
Wei Dong,
Huowang Chen:
Axiomatizing Extended Temporal Logic Fragments Via Instantiation.
ICTAC 2007: 322-336 |
| 47 | EE | Chunming Gao,
Weian Chen,
Huowang Chen:
A Feedback Control Framework of Service Composition Execution for Response Time Guarantee.
ICWS 2007: 1158-1159 |
| 46 | EE | Chunming Gao,
Yong Li,
Huowang Chen:
Services Composition Modeling with Mobility and Time.
IEEE SCW 2007: 316-323 |
| 45 | EE | Tao Wang,
Zhoujun Li,
Yuejin Yan,
Huowang Chen:
An Incremental Fuzzy Decision Tree Classification Method for Mining Data Streams.
MLDM 2007: 91-103 |
| 44 | EE | Lijuan Zhang,
Zhoujun Li,
Huowang Chen:
An Effective Gene Selection Method Based on Relevance Analysis and Discernibility Matrix.
PAKDD 2007: 1088-1095 |
| 43 | EE | 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 | 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 |
| 41 | | Chunming Gao,
Yong Li,
Huowang Chen:
Distributed System Modeling Based on Discrete Time Mobile Ambient.
PDPTA 2007: 57-63 |
| 40 | EE | 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 | EE | Shulin Wang,
Ji Wang,
Huowang Chen,
Boyun Zhang:
SVM-Based Tumor Classification with Gene Expression Data.
ADMA 2006: 864-870 |
| 38 | EE | 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 | EE | 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 | EE | Chunming Gao,
Rongsheng Liu,
Yan Song,
Huowang Chen:
A Model Checking Tool Embedded into Services Composition Environment.
GCC 2006: 355-362 |
| 35 | EE | Yang Yu,
Ji Wang,
Ting Wang,
Huowang Chen:
Representing Wholes by Structure.
ICCS 2006: 441-454 |
| 34 | EE | Lijuan Zhang,
Zhoujun Li,
Huowang Chen,
Jian Wen:
Minimum Redundancy Gene Selection Based on Grey Relational Analysis.
ICDM Workshops 2006: 120-124 |
| 33 | EE | 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 | EE | Xiaoyan Zhang,
Ting Wang,
Jintao Tang,
Huiping Zhou,
Huowang Chen:
Chinese Named Entity Recognition with a Hybrid-Statistical Model.
APWeb 2005: 900-912 |
| 30 | EE | Shaozi Li,
Changle Zhou,
Huowang Chen:
Research on Mobile Agent Based Information Content-Sharing in Peer to Peer System.
CDVE 2005: 130-139 |
| 29 | EE | Yaodong Chen,
Ting Wang,
Huowang Chen:
Using Directed Graph Based BDMM Algorithm for Chinese Word Segmentation.
CICLing 2005: 214-217 |
| 2004 |
|---|
| 28 | EE | 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 | 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 |
| 26 | EE | 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 | EE | 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 | EE | Jiong Yan,
Ji Wang,
Huowang Chen:
UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software.
ISPA 2004: 433-445 |
| 22 | EE | Shaozi Li,
Wenjian You,
Tangqiu Li,
Huowang Chen:
Lexical-chain and It's Application in Text Filtering.
ITCC (2) 2004: 288-292 |
| 21 | EE | Yan Jiong,
Ji Wang,
Huowang Chen:
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models.
QSIC 2004: 22-31 |
| 20 | EE | Xindong Zhou,
Ting Wang,
Huiping Zhou,
Huowang Chen:
Categorizing Web Information on Subject with Statistical Language Modeling.
WISE 2004: 403-408 |
| 19 | EE | 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 | EE | Lei Xu,
Baowen Xu,
Zhenqiang Chen,
Jixiang Jiang,
Huowang Chen:
Regression Testing for Web Applications Based on Slicing.
COMPSAC 2003: 652-656 |
| 17 | EE | Baowen Xu,
Jianjiang Lu,
Yingzhou Zhang,
Lei Xu,
Huowang Chen,
Hongji Yang:
Parallel Algorithm for Mining Fuzzy Association Rules.
CW 2003: 288-293 |
| 16 | EE | Lei Xu,
Baowen Xu,
Zhenqiang Chen,
Huowang Chen:
Website Evolution Based on Statistic Data.
FTDCS 2003: 301-307 |
| 15 | EE | Jianjiang Lu,
Baowen Xu,
Dazhou Kang,
Huowang Chen,
Hongji Yang:
Mining Association Rules with Linguistic Terms.
ICTAI 2003: 129-133 |
| 14 | EE | Lei Xu,
Baowen Xu,
Changhai Nie,
Huowang Chen,
Hongji Yang:
A Browser Compatibility Testing Method Based on Combinatorial Testing.
ICWE 2003: 310-313 |
| 13 | EE | 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 | EE | 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 | EE | 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 | EE | Zhoujun Li,
Huowang Chen:
Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes.
TACAS 1999: 300-314 |
| 1998 |
|---|
| 7 | EE | 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 | EE | 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 |
