default search action
Huowang Chen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2009
- [j10]Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang:
Symbolic model checking APSL. Frontiers Comput. Sci. China 3(1): 130-141 (2009) - 2008
- [c72]Xiaoyan Zhang, Ting Wang, Huowang Chen:
Story Link Detection Based on Event Model with Uneven SVM. AIRS 2008: 436-441 - [c71]Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen:
Constraint Abstraction in Verification of Security Protocols. FAW 2008: 252-263 - [c70]Xiaoyan Zhang, Ting Wang, Huowang Chen:
Story Link Detection based on Dynamic Information Extending. IJCNLP 2008: 40-47 - [c69]Yaodong Chen, Ting Wang, Huowang Chen, Xishan Xu:
Semantic Role Labeling of Chinese Using Transductive SVM and Semantic Heuristics. IJCNLP 2008: 919-924 - [c68]Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma:
Symbolic Model Checking APSL. TASE 2008: 39-46 - [c67]Mengjun Li, Zhoujun Li
, Huowang Chen, Ti Zhou:
A Novel Derivation Framework For Definite Logic Program. FICS 2008: 71-85 - [c66]Ti Zhou, Mengjun Li, Zhoujun Li
Modeling and Verifying Time Sensitive Security Protocols with Constraints. FICS 2008: 103-118 - 2007
- [j9]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) - [c65]Chunming Gao, Yong Li, Huowang Chen:
Services Composition Modeling with Mobility and Time. IEEE SCW 2007: 316-323 - [c64]Jian Wen, Zhoujun Li
A New Method of Cluster-Based Topic Language Model for Genomic IR. AINA Workshops (1) 2007: 301-306 - [c63]Chunming Gao, Liping Wan, Huowang Chen:
A Method of Web Services Composition Based on Service Alliance. APWeb/WAIM Workshops 2007: 491-496 - [c62]Chunming Gao, Meiling Cai, Huowang Chen:
QoS-Driven Global Optimization of Services Selection Supporting Services Flow Re-planning. APWeb/WAIM Workshops 2007: 516-521 - [c61]Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen:
Model Checking for BPEL4WS with Time. APWeb/WAIM Workshops 2007: 528-533 - [c60]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 - [c59]Shulin Wang, Huowang Chen, Shutao Li:
Gene Selection Using Neighborhood Rough Set from Gene Expression Profiles. CIS 2007: 959-963 - [c58]Chunming Gao, Meiling Cai, Huowang Chen:
QoS-aware Service Composition Based on Tree-Coded Genetic Algorithm. COMPSAC (1) 2007: 361-367 - [c57]Chunming Gao, Huang Tan, Huowang Chen:
Frameworks of Composite Services Execution Engine with Feedback Control. COMPSAC (2) 2007: 503-508 - [c56]Chunming Gao, Xiaojuan Yuan, Huowang Chen:
Execution Mechanism of Service Proxy in Web Services Composition Execution Engine. COMPSAC (1) 2007: 647-648 - [c55]Shulin Wang, Huowang Chen, Shutao Li, Dingxing Zhang:
Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFT. EPIA Workshops 2007: 485-496 - [c54]Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen:
Constraints Solution for Time Sensitive Security Protocols. FAW 2007: 191-203 - [c53]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 - [c52]Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen:
A Survey of Fuzzy Decision Tree Classifier Methodology. ICFIE 2007: 959-968 - [c51]Jie Yu, Zhoujun Li
A Detection and Offense Mechanism to Defend Against Application Layer DDoS Attacks. ICNS 2007: 54 - [c50]Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen:
Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC 2007: 322-336 - [c49]Chunming Gao, Weian Chen, Huowang Chen:
A Feedback Control Framework of Service Composition Execution for Response Time Guarantee. ICWS 2007: 1158-1159 - [c48]Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen:
An Incremental Fuzzy Decision Tree Classification Method for Mining Data Streams. MLDM 2007: 91-103 - [c47]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 - [c46]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 - [c45]Lijuan Zhang, Zhoujun Li, Huowang Chen:
An Effective Gene Selection Method Based on Relevance Analysis and Discernibility Matrix. PAKDD 2007: 1088-1095 - [c44]Chunming Gao, Yong Li, Huowang Chen:
Distributed System Modeling Based on Discrete Time Mobile Ambient. PDPTA 2007: 57-63 - [c43]Zhoujun Li, Jiesheng Wang, Huowang Chen:
A Description Logic Framework for Semantic Web Service Composition. SKG 2007: 390-393 - 2006
- [c42]Shulin Wang, Ji Wang, Huowang Chen, Boyun Zhang:
SVM-Based Tumor Classification with Gene Expression Data. ADMA 2006: 864-870 - [c41]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 - [c40]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 - [c39]Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen:
A Model Checking Tool Embedded into Services Composition Environment. GCC 2006: 355-362 - [c38]Yang Yu, Ji Wang, Ting Wang, Huowang Chen:
Representing Wholes by Structure. ICCS 2006: 441-454 - [c37]Lijuan Zhang, Zhoujun Li, Huowang Chen, Jian Wen:
Minimum Redundancy Gene Selection Based on Grey Relational Analysis. ICDM Workshops 2006: 120-124 - [c36]Shulin Wang, Ji Wang, Huowang Chen, Wensheng Tang:
The Classification of Tumor Using Gene Expression Profile Based on Support Vector Machines and Factor Analysis. ISDA (2) 2006: 471-476 - [c35]Bo Chen, Zhoujun Li, Huowang Chen:
A New Component-Oriented Programming Language with the First-Class Connector. JMLC 2006: 271-286 - [c34]Bo Chen, Zhoujun Li, Huowang Chen:
Supporting Connector in Programming Language. SEKE 2006: 369-374 - 2005
- [c33]Xiaoyan Zhang, Ting Wang, Jintao Tang, Huiping Zhou, Huowang Chen:
Chinese Named Entity Recognition with a Hybrid-Statistical Model. APWeb 2005: 900-912 - [c32]Shaozi Li, Changle Zhou, Huowang Chen:
Research on Mobile Agent Based Information Content-Sharing in Peer to Peer System. CDVE 2005: 130-139 - [c31]Yaodong Chen, Ting Wang, Huowang Chen:
Using Directed Graph Based BDMM Algorithm for Chinese Word Segmentation. CICLing 2005: 214-217 - [c30]Shaozi Li, Changle Zhou, Huowang Chen:
Web document retrieval based on multi-agent. CSCWD (1) 2005: 469-474 - 2004
- [c29]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 - [c28]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 - [c27]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 - [c26]Yuejin Yan, Zhoujun Li, Huowang Chen:
Fast Mining Maximal Frequent ItemSets Based on FP-Tree. ER 2004: 348-361 - [c25]Shaozi Li, Wenjian You, Changle Zhou, Huowang Chen:
An Improved Method for Text Filtering Using Lexical Chains. IKE 2004: 305-314 - [c24]Jiong Yan, Ji Wang, Huowang Chen:
UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. ISPA 2004: 433-445 - [c23]Shaozi Li, Wenjian You, Tangqiu Li, Huowang Chen:
Lexical-chain and It's Application in Text Filtering. ITCC (2) 2004: 288-292 - [c22]Yan Jiong, Ji Wang, Huowang Chen:
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. QSIC 2004: 22-31 - [c21]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 - [c20]Xindong Zhou, Ting Wang, Huiping Zhou, Huowang Chen:
Categorizing Web Information on Subject with Statistical Language Modeling. WISE 2004: 403-408 - 2003
- [c19]Lei Xu, Baowen Xu
Regression Testing for Web Applications Based on Slicing. COMPSAC 2003: 652-656 - [c18]Baowen Xu
Parallel Algorithm for Mining Fuzzy Association Rules. CW 2003: 288-293 - [c17]Lei Xu, Baowen Xu
Website Evolution Based on Statistic Data. FTDCS 2003: 301-307 - [c16]Jianjiang Lu, Baowen Xu
Mining Association Rules with Linguistic Terms. ICTAI 2003: 129-133 - [c15]Lei Xu, Baowen Xu, Changhai Nie, Huowang Chen, Hongji Yang:
A Browser Compatibility Testing Method Based on Combinatorial Testing. ICWE 2003: 310-313 - [c14]Shaozi Li, Weifeng Su, Tangqiu Li, Huowang Chen:
Cross-Lingual Text Filtering Based on Text Concepts and kNN. PACLIC 2003: 166-173 - [c13]Yan Jiong, Ji Wang, Huowang Chen:
Deriving Software Statistical Testing Model from UML Model. QSIC 2003: 343-350 - [c12]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
- [j8]Xingming Sun, Huowang Chen, Lihua Yang, Yuan Yan Tang:
Mathematical Representation of a Chinese Character and its Applications. Int. J. Pattern Recognit. Artif. Intell. 16(6): 735-748 (2002) - [j7]Xuan Qi, Huiping Zhou, Huowang Chen:
An Interlingua-Based Chinese-English MT System. J. Comput. Sci. Technol. 17(4): 464-472 (2002) - 2001
- [c11]Guangjun Zhong, Lizhi Cheng, Huowang Chen:
A simple 9/7-tap wavelet filter based on lifting scheme. ICIP (2) 2001: 249-252 - [c10]Guangjun Zhong, Lizhi Cheng, Huowang Chen:
Integer lapped biorthogonal transform. ICIP (2) 2001: 471-474 - 2000
- [j6]Kaile Su
Two alternative notions of 'possibility' satisfying Halpern's conditions. J. Log. Comput. 10(2): 253-269 (2000)
1990 – 1999
- 1999
- [j5]Bingshan Wang, Zhoujun Li, Huowang Chen:
Universal abstract consistency class and universal refutation. J. Comput. Sci. Technol. 14(2): 165-172 (1999) - [c9]Zhoujun Li, Huowang Chen:
Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes. TACAS 1999: 300-314 - 1998
- [j4]Kewen Wang, Huowang Chen, Quanyuan Wu:
The least fixpoint transformation for disjunctive logic programs. J. Comput. Sci. Technol. 13(3): 193-201 (1998) - [j3]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) - [c8]Zhoujun Li, Huowang Chen:
Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus. ICALP 1998: 707-718 - 1997
- [c7]Kaile Su
A Three-Valued Quantificational Logic of Context. COCOON 1997: 343-352 - [c6]Kewen Wang, Huowang Chen:
Abduction, Argumentation and Bi-Disjunctive Logic Programs. LPKR 1997: 139-163 - 1996
- [c5]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
- [j2]Huaimin Wang, Huowang Chen:
A constructor-based EI-model semantics of EI-CTRS. J. Comput. Sci. Technol. 10(1): 85-96 (1995) - 1994
- [j1]Xianchang Wang, Huowang Chen, Qinping Zhao:
On the relationship between TMS and logic programs. J. Comput. Sci. Technol. 9(3): 245-251 (1994) - 1993
- [c4]Ji Wang, Huowang Chen:
A formal technique to analyze real-time systems. COMPSAC 1993: 180-185 - [c3]Xianchang Wang, Huowang Chen, Quingping Zhao, Wei Li:
W - A Logic System Based on the Shared Common Knowledge Views. IJCAI 1993: 410-415 - 1992
- [c2]Ji Wang, Huowang Chen:
Temporal Reasoning About Real Time Reactive Systems. IWAR 1992: 249-256 - 1991
- [c1]Xianchang Wang, Huowang Chen:
On Semantics of TMS. IJCAI 1991: 306-309
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-04 19:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: