| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang |
Symbolic model checking APSL.  |
Frontiers of Computer Science in China  |
2009 |
DBLP DOI BibTeX RDF |
tableau approach, extended NuSMV, symbolic model checking, property specification language |
| 1 | Ti Zhou, Mengjun Li, Zhoujun Li, Huowang Chen |
Modeling and Verifying Time Sensitive Security Protocols with Constraints. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengjun Li, Zhoujun Li, Huowang Chen, Ti Zhou |
A Novel Derivation Framework For Definite Logic Program. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen |
Constraint Abstraction in Verification of Security Protocols. |
FAW |
2008 |
DBLP DOI BibTeX RDF |
time sensitive, formal verification, security protocol, logic model, constraint system |
| 1 | Xiaoyan Zhang, Ting Wang, Huowang Chen |
Story Link Detection Based on Event Model with Uneven SVM. |
AIRS |
2008 |
DBLP DOI BibTeX RDF |
story link detection, uneven SVM, event model |
| 1 | Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma |
Symbolic Model Checking APSL. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Symbolic model checking, PSL |
| 1 | Guolong Chen, Shuili Chen, Wenzhong Guo, Huowang Chen |
The multi-criteria minimum spanning tree problem based genetic algorithm. |
Inf. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
VFDT, Data Streams, Fuzzy, Binary Search Tree, Continuous Attribute |
| 1 | Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen |
Constraints Solution for Time Sensitive Security Protocols. |
FAW |
2007 |
DBLP DOI BibTeX RDF |
time sensitive, algorithm, constraint, security protocol |
| 1 | Shulin Wang, Huowang Chen, Shutao Li, Dingxing Zhang |
Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFT. |
EPIA Workshops |
2007 |
DBLP DOI BibTeX RDF |
support vector machines, feature extraction, discrete cosine transform, gene expression profiles, tumor classification |
| 1 | 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 |
DBLP DOI BibTeX RDF |
VFDT, Threaded Binary Search Tree, Data Streams, Continuous Attribute |
| 1 | Lijuan Zhang, Zhoujun Li, Huowang Chen |
An Effective Gene Selection Method Based on Relevance Analysis and Discernibility Matrix. |
PAKDD |
2007 |
DBLP DOI BibTeX RDF |
relevance analysis, gene selection, discernibility matrix |
| 1 | Shulin Wang, Ji Wang, Huowang Chen, Shutao Li |
Feature Extraction and Classification of Tumor Based on Wavelet Package and Support Vector Machines. |
PAKDD |
2007 |
DBLP DOI BibTeX RDF |
wavelet package decomposition, support vector machines, feature extraction, gene expression profiles, tumor classification |
| 1 | Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen |
Axiomatizing Extended Temporal Logic Fragments Via Instantiation. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen |
A Survey of Fuzzy Decision Tree Classifier Methodology. |
ICFIE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunming Gao, Meiling Cai, Huowang Chen |
QoS-aware Service Composition Based on Tree-Coded Genetic Algorithm. |
COMPSAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunming Gao, Xiaojuan Yuan, Huowang Chen |
Execution Mechanism of Service Proxy in Web Services Composition Execution Engine. |
COMPSAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunming Gao, Huang Tan, Huowang Chen |
Frameworks of Composite Services Execution Engine with Feedback Control. |
COMPSAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengjun Li, Ti Zhou, Zhoujun Li, Huowang Chen |
An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming. |
ASIAN |
2007 |
DBLP DOI BibTeX RDF |
abstraction and refinement, security protocol |
| 1 | Chunming Gao, Yong Li, Huowang Chen |
Services Composition Modeling with Mobility and Time. |
IEEE SCW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunming Gao, Yong Li, Huowang Chen |
Distributed System Modeling Based on Discrete Time Mobile Ambient. |
PDPTA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Shulin Wang, Huowang Chen, Shutao Li |
Gene Selection Using Neighborhood Rough Set from Gene Expression Profiles. |
CIS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Wen, Zhoujun Li, Lijuan Zhang, Xiaohua Hu, Huowang Chen |
A New Method of Cluster-Based Topic Language Model for Genomic IR. |
AINA Workshops |
2007 |
DBLP DOI BibTeX RDF |
Topic Language Model, Cluster, Information Retrieval |
| 1 | Chunming Gao, Liping Wan, Huowang Chen |
A Method of Web Services Composition Based on Service Alliance. |
APWeb/WAIM Workshops |
2007 |
DBLP DOI BibTeX RDF |
service alliance, 0-1 nonlinear programming, genetic algorithm, service composition |
| 1 | Chunming Gao, Meiling Cai, Huowang Chen |
QoS-Driven Global Optimization of Services Selection Supporting Services Flow Re-planning. |
APWeb/WAIM Workshops |
2007 |
DBLP DOI BibTeX RDF |
Tree-coding, re-planning, Genetic Algorithms, Quality of Service, Service Composition |
| 1 | Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen |
Model Checking for BPEL4WS with Time. |
APWeb/WAIM Workshops |
2007 |
DBLP DOI BibTeX RDF |
Timed Mobile Ambient, model checking, modal logic, BPEL |
| 1 | Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen |
An Incremental Fuzzy Decision Tree Classification Method for Mining Data Streams. |
MLDM |
2007 |
DBLP DOI BibTeX RDF |
Threaded Binary Search Tree, Data Streams, Fuzzy, Incremental, Continuous Attribute |
| 1 | Chunming Gao, Weian Chen, Huowang Chen |
A Feedback Control Framework of Service Composition Execution for Response Time Guarantee. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Yu, Zhoujun Li, Huowang Chen, Xiaoming Chen |
A Detection and Offense Mechanism to Defend Against Application Layer DDoS Attacks. |
ICNS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijuan Zhang, Zhoujun Li, Huowang Chen, Jian Wen |
Minimum Redundancy Gene Selection Based on Grey Relational Analysis. |
ICDM Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaozi Li, Yang Cao, Huowang Chen |
A New Migration Algorithm of Mobile Agent Based on Ant Colony Algorithm in P2P Network. |
CDVE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Chen, Zhoujun Li, Huowang Chen |
Supporting Connector in Programming Language. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Shulin Wang, Ji Wang, Huowang Chen, Boyun Zhang |
SVM-Based Tumor Classification with Gene Expression Data. |
ADMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen |
A Model Checking Tool Embedded into Services Composition Environment. |
GCC |
2006 |
DBLP DOI BibTeX RDF |
Pi-calculus type system web services Composition verification tool compatibility |
| 1 | Bo Chen, Zhoujun Li, Huowang Chen |
A New Component-Oriented Programming Language with the First-Class Connector. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Yu, Ji Wang, Ting Wang, Huowang Chen |
Representing Wholes by Structure. |
ICCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaozi Li, Changle Zhou, Huowang Chen |
Web document retrieval based on multi-agent. |
CSCWD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaozi Li, Changle Zhou, Huowang Chen |
Research on Mobile Agent Based Information Content-Sharing in Peer to Peer System. |
CDVE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoyan Zhang, Ting Wang, Jintao Tang, Huiping Zhou, Huowang Chen |
Chinese Named Entity Recognition with a Hybrid-Statistical Model. |
APWeb |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaodong Chen, Ting Wang, Huowang Chen |
Using Directed Graph Based BDMM Algorithm for Chinese Word Segmentation. |
CICLing |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuejin Yan, Zhoujun Li, Tao Wang, Yuexin Chen, Huowang Chen |
Mining Maximal Frequent ItemSets Using Combined FP-Tree. |
Australian Conference on Artificial Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiong Yan, Ji Wang, Huowang Chen |
UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. |
ISPA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaozi Li, Wenjian You, Changle Zhou, Huowang Chen |
An Improved Method for Text Filtering Using Lexical Chains. |
IKE |
2004 |
DBLP BibTeX RDF |
|
| 1 | Xindong Zhou, Ting Wang, Huiping Zhou, Huowang Chen |
Categorizing Web Information on Subject with Statistical Language Modeling. |
WISE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Wang, Ji Wang, Yang Yu, Rui Shen, Jinhong Liu, Huowang Chen |
MetaData Pro: Ontology-Based Metadata Processing for Web Resources. |
WISE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuejin Yan, Zhoujun Li, Huowang Chen |
Fast Mining Maximal Frequent ItemSets Based on FP-Tree. |
ER |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Jiong, Ji Wang, Huowang Chen |
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaozi Li, Wenjian You, Tangqiu Li, Huowang Chen |
Lexical-chain and It's Application in Text Filtering. |
ITCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Baowen Xu, Jianjiang Lu, Yingzhou Zhang, Lei Xu, Huowang Chen, Hongji Yang |
Parallel Algorithm for Mining Fuzzy Association Rules. |
CW |
2003 |
DBLP DOI BibTeX RDF |
data mining, parallel, fuzzy clustering, fuzzy association rules |
| 1 | Lei Xu, Baowen Xu, Changhai Nie, Huowang Chen, Hongji Yang |
A Browser Compatibility Testing Method Based on Combinatorial Testing. |
ICWE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Xu, Baowen Xu, Zhenqiang Chen, Jixiang Jiang, Huowang Chen |
Regression Testing for Web Applications Based on Slicing. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
Web testing, Software testing, Web application, Program slicing, Regression testing |
| 1 | Jianjiang Lu, Baowen Xu, Dazhou Kang, Huowang Chen, Hongji Yang |
Mining Association Rules with Linguistic Terms. |
ICTAI |
2003 |
DBLP DOI BibTeX RDF |
incremental updating algorithm, data mining, parallel, association rules, linguistic terms |
| 1 | Yan Jiong, Ji Wang, Huowang Chen |
Deriving Software Statistical Testing Model from UML Model. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Xu, Baowen Xu, Zhenqiang Chen, Huowang Chen |
Website Evolution Based on Statistic Data. |
FTDCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Xingming Sun, Huowang Chen, Lihua Yang, Yuan Yan Tang |
Mathematical Representation of a Chinese Character and its Applications. |
IJPRAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan Qi, Huiping Zhou, Huowang Chen |
An Interlingua-Based Chinese-English MT System. |
J. Comput. Sci. Technol. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaile Su, Huowang Chen, Decheng Ding |
Two alternative notions of 'possibility' satisfying Halpern's conditions. |
J. Log. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bingshan Wang, Zhoujun Li, Huowang Chen |
Universal abstract consistency class and universal refutation. |
J. Comput. Sci. Technol. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhoujun Li, Huowang Chen |
Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kewen Wang, Huowang Chen, Quanyuan Wu |
The least fixpoint transformation for disjunctive logic programs. |
J. Comput. Sci. Technol. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhoujun Li, Huowang Chen |
Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaile Su, Decheng Ding, Huowang Chen |
A Three-Valued Quantificational Logic of Context. |
COCOON |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kewen Wang, Huowang Chen |
Abduction, Argumentation and Bi-Disjunctive Logic Programs. |
LPKR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaoyan Wu, Qingfu Zhang, Huowang Chen |
A New Evolutionary Model Based on Family Eugenics: the First Results. |
International Conference on Evolutionary Computation |
1996 |
DBLP BibTeX RDF |
|
| 1 | Huaimin Wang, Huowang Chen |
A constructor-based EI-model semantics of EI-CTRS. |
J. Comput. Sci. Technol. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianchang Wang, Huowang Chen, Qinping Zhao |
On the relationship between TMS and logic programs. |
J. Comput. Sci. Technol. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianchang Wang, Huowang Chen, Quingping Zhao, Wei Li 0022 |
W - A Logic System Based on the Shared Common Knowledge Views. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ji Wang, Huowang Chen |
Temporal Reasoning About Real Time Reactive Systems. |
IWAR |
1992 |
DBLP BibTeX RDF |
|
| 1 | Xianchang Wang, Huowang Chen |
On Semantics of TMS. |
IJCAI |
1991 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")