| 2008 | FAW | Constraint Abstraction in Verification of Security Protocols. | Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen |
| 2008 | IJCNLP | Semantic Role Labeling of Chinese Using Transductive SVM and Semantic Heuristics. | Yaodong Chen, Ting Wang, Huowang Chen, Xishan Xu |
| 2008 | IJCNLP | Story Link Detection based on Dynamic Information Extending. | Xiaoyan Zhang, Ting Wang, Huowang Chen |
| 2008 | TASE | Symbolic Model Checking APSL. | Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma |
| 2007 | AINA | A New Method of Cluster-Based Topic Language Model for Genomic IR. | Jian Wen, Zhoujun Li, Lijuan Zhang, Xiaohua Hu, Huowang Chen |
| 2007 | APWEB | QoS-Driven Global Optimization of Services Selection Supporting Services Flow Re-planning. | Chunming Gao, Meiling Cai, Huowang Chen |
| 2007 | APWEB | Model Checking for BPEL4WS with Time. | Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen |
| 2007 | APWEB | A Method of Web Services Composition Based on Service Alliance. | Chunming Gao, Liping Wan, Huowang Chen |
| 2007 | CIS | Gene Selection Using Neighborhood Rough Set from Gene Expression Profiles. | Shulin Wang, Huowang Chen, Shutao Li |
| 2007 | COMPSAC | QoS-aware Service Composition Based on Tree-Coded Genetic Algorithm. | Chunming Gao, Meiling Cai, Huowang Chen |
| 2007 | COMPSAC | Frameworks of Composite Services Execution Engine with Feedback Control. | Chunming Gao, Huang Tan, Huowang Chen |
| 2007 | COMPSAC | Execution Mechanism of Service Proxy in Web Services Composition Execution Engine. | Chunming Gao, Xiaojuan Yuan, Huowang Chen |
| 2007 | EPIA | Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFT. | Shulin Wang, Huowang Chen, Shutao Li, Dingxing Zhang |
| 2007 | FAW | A New Fuzzy Decision Tree Classification Method for Mining High-Speed Data Streams Based on Binary Search Trees. | Zhoujun Li, Tao Wang, Ruoxue Wang, Yuejin Yan, Huowang Chen |
| 2007 | FAW | Constraints Solution for Time Sensitive Security Protocols. | Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen |
| 2007 | ICTAC | Axiomatizing Extended Temporal Logic Fragments Via Instantiation. | Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen |
| 2007 | ICWS | A Feedback Control Framework of Service Composition Execution for Response Time Guarantee. | Chunming Gao, Weian Chen, Huowang Chen |
| 2007 | PAKDD | A New Decision Tree Classification Method for Mining High-Speed Data Streams Based on Threaded Binary Search Trees. | Tao Wang, Zhoujun Li, Xiaohua Hu, Yuejin Yan, Huowang Chen |
| 2007 | PAKDD | Feature Extraction and Classification of Tumor Based on Wavelet Package and Support Vector Machines. | Shulin Wang, Ji Wang, Huowang Chen, Shutao Li |
| 2007 | PAKDD | An Effective Gene Selection Method Based on Relevance Analysis and Discernibility Matrix. | Lijuan Zhang, Zhoujun Li, Huowang Chen |
| 2007 | PDPTA | Distributed System Modeling Based on Discrete Time Mobile Ambient. | Chunming Gao, Yong Li, Huowang Chen |
| 2006 | ADMA | SVM-Based Tumor Classification with Gene Expression Data. | Shulin Wang, Ji Wang, Huowang Chen, Boyun Zhang |
| 2006 | CDVE | A New Migration Algorithm of Mobile Agent Based on Ant Colony Algorithm in P2P Network. | Shaozi Li, Yang Cao, Huowang Chen |
| 2006 | CIS | Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines. | Shulin Wang, Huowang Chen, Ji Wang, Dingxing Zhang, Shutao Li |
| 2006 | ICCS | Representing Wholes by Structure. | Yang Yu, Ji Wang, Ting Wang, Huowang Chen |
| 2006 | ICDM | Minimum Redundancy Gene Selection Based on Grey Relational Analysis. | Lijuan Zhang, Zhoujun Li, Huowang Chen, Jian Wen |
| 2006 | ISDA | The Classification of Tumor Using Gene Expression Profile Based on Support Vector Machines and Factor Analysis. | Shulin Wang, Ji Wang, Huowang Chen, Wensheng Tang |
| 2006 | SEKE | Supporting Connector in Programming Language. | Bo Chen, Zhoujun Li, Huowang Chen |
| 2005 | APWEB | Chinese Named Entity Recognition with a Hybrid-Statistical Model. | Xiaoyan Zhang, Ting Wang, Jintao Tang, Huiping Zhou, Huowang Chen |
| 2005 | CDVE | Research on Mobile Agent Based Information Content-Sharing in Peer to Peer System. | Shaozi Li, Changle Zhou, Huowang Chen |
| 2005 | CICLING | Using Directed Graph Based BDMM Algorithm for Chinese Word Segmentation. | Yaodong Chen, Ting Wang, Huowang Chen |
| 2005 | CSCWD | Web document retrieval based on multi-agent. | Shaozi Li, Changle Zhou, Huowang Chen |
| 2004 | CSCWD | Research on Content-Based Text Retrieval and Collaborative Filtering in Hybrid Peer-to-Peer Networks. | Shaozi Li, Changle Zhou, Huowang Chen |
| 2004 | ER | Fast Mining Maximal Frequent ItemSets Based on FP-Tree. | Yuejin Yan, Zhoujun Li, Huowang Chen |
| 2004 | IKE | An Improved Method for Text Filtering Using Lexical Chains. | Shaozi Li, Wenjian You, Changle Zhou, Huowang Chen |
| 2004 | ISPA | UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. | Jiong Yan, Ji Wang, Huowang Chen |
| 2004 | WISE | MetaData Pro: Ontology-Based Metadata Processing for Web Resources. | Ting Wang, Ji Wang, Yang Yu, Rui Shen, Jinhong Liu, Huowang Chen |
| 2004 | WISE | Categorizing Web Information on Subject with Statistical Language Modeling. | Xindong Zhou, Ting Wang, Huiping Zhou, Huowang Chen |
| 2003 | COMPSAC | Regression Testing for Web Applications Based on Slicing. | Lei Xu, Baowen Xu, Zhenqiang Chen, Jixiang Jiang, Huowang Chen |
| 2003 | CW | Parallel Algorithm for Mining Fuzzy Association Rules. | Baowen Xu, Jianjiang Lu, Yingzhou Zhang, Lei Xu, Huowang Chen, Hongji Yang |
| 2003 | ICTAI | Mining Association Rules with Linguistic Terms. | Jianjiang Lu, Baowen Xu, Dazhou Kang, Huowang Chen, Hongji Yang |
| 2003 | ICWE | A Browser Compatibility Testing Method Based on Combinatorial Testing. | Lei Xu, Baowen Xu, Changhai Nie, Huowang Chen, Hongji Yang |
| 2003 | PACLIC | Cross-Lingual Text Filtering Based on Text Concepts and kNN. | Shaozi Li, Weifeng Su, Tangqiu Li, Huowang Chen |
| 2001 | ICIP | A simple 9/7-tap wavelet filter based on lifting scheme. | Guangjun Zhong, Lizhi Cheng, Huowang Chen |
| 2001 | ICIP | Integer lapped biorthogonal transform. | Guangjun Zhong, Lizhi Cheng, Huowang Chen |
| 1999 | TACAS | Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes. | Zhoujun Li, Huowang Chen |
| 1998 | ICALP | Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus. | Zhoujun Li, Huowang Chen |
| 1997 | COCOON | A Three-Valued Quantificational Logic of Context. | Kaile Su, Decheng Ding, Huowang Chen |
| 1996 | ICEC | A New Evolutionary Model Based on Family Eugenics: the First Results. | Shaoyan Wu, Qingfu Zhang, Huowang Chen |
| 1993 | COMPSAC | A formal technique to analyze real-time systems. | Ji Wang, Huowang Chen |
| 1993 | IJCAI | W - A Logic System Based on the Shared Common Knowledge Views. | Xianchang Wang, Huowang Chen, Quingping Zhao, Wei Li |
| 1991 | IJCAI | On Semantics of TMS. | Xianchang Wang, Huowang Chen |