Huowang Chen - RankMe

82 papers A* 3A 3B 9C 12Misc 8Journal 10Unranked 37

Year	Rank	Type	Title / Venue / Authors
2009	J	`jnl`	Symbolic model checking APSL. Frontiers Comput. Sci. China Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang
2008	—	`conf`	A Novel Derivation Framework For Definite Logic Program. FICS Mengjun Li, Zhoujun Li, Huowang Chen, Ti Zhou
2008	Misc	`conf`	Constraint Abstraction in Verification of Security Protocols. FAW Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen
2008	—	`conf`	Modeling and Verifying Time Sensitive Security Protocols with Constraints. FICS Ti Zhou, Mengjun Li, Zhoujun Li, Huowang Chen
2008	B	`conf`	Semantic Role Labeling of Chinese Using Transductive SVM and Semantic Heuristics. IJCNLP Yaodong Chen, Ting Wang, Huowang Chen, Xishan Xu
2008	—	`conf`	Story Link Detection Based on Event Model with Uneven SVM. AIRS Xiaoyan Zhang, Ting Wang, Huowang Chen
2008	B	`conf`	Story Link Detection based on Dynamic Information Extending. IJCNLP Xiaoyan Zhang, Ting Wang, Huowang Chen
2008	Misc	`conf`	Symbolic Model Checking APSL. TASE Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma
2007	—	`conf`	A Description Logic Framework for Semantic Web Service Composition. SKG Zhoujun Li, Jiesheng Wang, Huowang Chen
2007	—	`conf`	A Detection and Offense Mechanism to Defend Against Application Layer DDoS Attacks. ICNS Jie Yu, Zhoujun Li, Huowang Chen, Xiaoming Chen
2007	A	`conf`	A Feedback Control Framework of Service Composition Execution for Response Time Guarantee. ICWS Chunming Gao, Weian Chen, Huowang Chen
2007	—	`conf`	A Method of Web Services Composition Based on Service Alliance. APWeb/WAIM Workshops Chunming Gao, Liping Wan, Huowang Chen
2007	—	`conf`	A New Decision Tree Classification Method for Mining High-Speed Data Streams Based on Threaded Binary Search Trees. PAKDD Workshops Tao Wang, Zhoujun Li, Xiaohua Hu, Yuejin Yan, Huowang Chen
2007	Misc	`conf`	A New Fuzzy Decision Tree Classification Method for Mining High-Speed Data Streams Based on Binary Search Trees. FAW Zhoujun Li, Tao Wang, Ruoxue Wang, Yuejin Yan, Huowang Chen
2007	—	`conf`	A New Method of Cluster-Based Topic Language Model for Genomic IR. AINA Workshops (1) Jian Wen, Zhoujun Li, Lijuan Zhang, Xiaohua Hu, Huowang Chen
2007	—	`conf`	A Survey of Fuzzy Decision Tree Classifier Methodology. ICFIE Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen
2007	—	`conf`	An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming. ASIAN Mengjun Li, Ti Zhou, Zhoujun Li, Huowang Chen
2007	B	`conf`	An Effective Gene Selection Method Based on Relevance Analysis and Discernibility Matrix. PAKDD Lijuan Zhang, Zhoujun Li, Huowang Chen
2007	—	`conf`	An Incremental Fuzzy Decision Tree Classification Method for Mining Data Streams. MLDM Tao Wang, Zhoujun Li, Yuejin Yan, Huowang Chen
2007	C	`conf`	Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen
2007	Misc	`conf`	Constraints Solution for Time Sensitive Security Protocols. FAW Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen
2007	Misc	`conf`	Distributed System Modeling Based on Discrete Time Mobile Ambient. PDPTA Chunming Gao, Yong Li, Huowang Chen
2007	—	`conf`	Execution Mechanism of Service Proxy in Web Services Composition Execution Engine. COMPSAC (1) Chunming Gao, Xiaojuan Yuan, Huowang Chen
2007	B	`conf`	Feature Extraction and Classification of Tumor Based on Wavelet Package and Support Vector Machines. PAKDD Shulin Wang, Ji Wang, Huowang Chen, Shutao Li
2007	—	`conf`	Feature Extraction from Tumor Gene Expression Profiles Using DCT and DFT. EPIA Workshops Shulin Wang, Huowang Chen, Shutao Li, Dingxing Zhang
2007	—	`conf`	Frameworks of Composite Services Execution Engine with Feedback Control. COMPSAC (2) Chunming Gao, Huang Tan, Huowang Chen
2007	C	`conf`	Gene Selection Using Neighborhood Rough Set from Gene Expression Profiles. CIS Shulin Wang, Huowang Chen, Shutao Li
2007	—	`conf`	Model Checking for BPEL4WS with Time. APWeb/WAIM Workshops Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen
2007	—	`conf`	QoS-Driven Global Optimization of Services Selection Supporting Services Flow Re-planning. APWeb/WAIM Workshops Chunming Gao, Meiling Cai, Huowang Chen
2007	—	`conf`	QoS-aware Service Composition Based on Tree-Coded Genetic Algorithm. COMPSAC (1) Chunming Gao, Meiling Cai, Huowang Chen
2007	—	`conf`	Services Composition Modeling with Mobility and Time. IEEE SCW Chunming Gao, Yong Li, Huowang Chen
2007	J	`jnl`	The multi-criteria minimum spanning tree problem based genetic algorithm. Inf. Sci. Guolong Chen, Shuili Chen, Wenzhong Guo, Huowang Chen
2006	—	`conf`	A Model Checking Tool Embedded into Services Composition Environment. GCC Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen
2006	—	`conf`	A New Component-Oriented Programming Language with the First-Class Connector. JMLC Bo Chen, Zhoujun Li, Huowang Chen
2006	C	`conf`	A New Migration Algorithm of Mobile Agent Based on Ant Colony Algorithm in P2P Network. CDVE Shaozi Li, Yang Cao, Huowang Chen
2006	—	`conf`	Minimum Redundancy Gene Selection Based on Grey Relational Analysis. ICDM Workshops Lijuan Zhang, Zhoujun Li, Huowang Chen, Jian Wen
2006	C	`conf`	Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines. CIS Shulin Wang, Huowang Chen, Ji Wang, Dingxing Zhang, Shutao Li
2006	Misc	`conf`	Representing Wholes by Structure. ICCS Yang Yu, Ji Wang, Ting Wang, Huowang Chen
2006	C	`conf`	SVM-Based Tumor Classification with Gene Expression Data. ADMA Shulin Wang, Ji Wang, Huowang Chen, Boyun Zhang
2006	C	`conf`	Supporting Connector in Programming Language. SEKE Bo Chen, Zhoujun Li, Huowang Chen
2006	—	`conf`	The Classification of Tumor Using Gene Expression Profile Based on Support Vector Machines and Factor Analysis. ISDA (2) Shulin Wang, Ji Wang, Huowang Chen, Wensheng Tang
2005	C	`conf`	Chinese Named Entity Recognition with a Hybrid-Statistical Model. APWeb Xiaoyan Zhang, Ting Wang, Jintao Tang, Huiping Zhou, Huowang Chen
2005	C	`conf`	Research on Mobile Agent Based Information Content-Sharing in Peer to Peer System. CDVE Shaozi Li, Changle Zhou, Huowang Chen
2005	C	`conf`	Using Directed Graph Based BDMM Algorithm for Chinese Word Segmentation. CICLing Yaodong Chen, Ting Wang, Huowang Chen
2005	—	`conf`	Web document retrieval based on multi-agent. CSCWD (1) Shaozi Li, Changle Zhou, Huowang Chen
2004	Misc	`conf`	An Improved Method for Text Filtering Using Lexical Chains. IKE Shaozi Li, Wenjian You, Changle Zhou, Huowang Chen
2004	—	`conf`	Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models. QSIC Yan Jiong, Ji Wang, Huowang Chen
2004	—	`conf`	Cache Behavior Analysis of a Compiler-Assisted Cache Replacement Policy. Asia-Pacific Computer Systems Architecture Conference Xingyan Tian, Kejia Zhao, Huowang Chen, Hongyan Du
2004	B	`conf`	Categorizing Web Information on Subject with Statistical Language Modeling. WISE Xindong Zhou, Ting Wang, Huiping Zhou, Huowang Chen
2004	A	`conf`	Fast Mining Maximal Frequent ItemSets Based on FP-Tree. ER Yuejin Yan, Zhoujun Li, Huowang Chen
2004	—	`conf`	Lexical-chain and It's Application in Text Filtering. ITCC (2) Shaozi Li, Wenjian You, Tangqiu Li, Huowang Chen
2004	—	`conf`	MetaData Pro: Ontology-Based Metadata Processing for Web Resources. WISE Workshops Ting Wang, Ji Wang, Yang Yu, Rui Shen, Jinhong Liu, Huowang Chen
2004	—	`conf`	Mining Maximal Frequent ItemSets Using Combined FP-Tree. Australian Conference on Artificial Intelligence Yuejin Yan, Zhoujun Li, Tao Wang, Yuexin Chen, Huowang Chen
2004	—	`conf`	Research on Content-Based Text Retrieval and Collaborative Filtering in Hybrid Peer-to-Peer Networks. CSCWD (Selected papers) Shaozi Li, Changle Zhou, Huowang Chen
2004	C	`conf`	UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. ISPA Jiong Yan, Ji Wang, Huowang Chen
2003	B	`conf`	A Browser Compatibility Testing Method Based on Combinatorial Testing. ICWE Lei Xu, Baowen Xu, Changhai Nie, Huowang Chen, Hongji Yang
2003	C	`conf`	Cross-Lingual Text Filtering Based on Text Concepts and kNN. PACLIC Shaozi Li, Weifeng Su, Tangqiu Li, Huowang Chen
2003	—	`conf`	Deriving Software Statistical Testing Model from UML Model. QSIC Yan Jiong, Ji Wang, Huowang Chen
2003	B	`conf`	Mining Association Rules with Linguistic Terms. ICTAI Jianjiang Lu, Baowen Xu, Dazhou Kang, Huowang Chen, Hongji Yang
2003	C	`conf`	Parallel Algorithm for Mining Fuzzy Association Rules. CW Baowen Xu, Jianjiang Lu, Yingzhou Zhang, Lei Xu, Huowang Chen, Hongji Yang
2003	B	`conf`	Regression Testing for Web Applications Based on Slicing. COMPSAC Lei Xu, Baowen Xu, Zhenqiang Chen, Jixiang Jiang, Huowang Chen
2003	—	`conf`	Test Plan Design for Software Configuration Testing. Software Engineering Research and Practice Baowen Xu, Changhai Nie, Liang Shi, William C. Chu, Hongji Yang, Huowang Chen
2003	—	`conf`	Website Evolution Based on Statistic Data. FTDCS Lei Xu, Baowen Xu, Zhenqiang Chen, Huowang Chen
2002	J	`jnl`	An Interlingua-Based Chinese-English MT System. J. Comput. Sci. Technol. Xuan Qi, Huiping Zhou, Huowang Chen
2002	J	`jnl`	Mathematical Representation of a Chinese Character and its Applications. Int. J. Pattern Recognit. Artif. Intell. Xingming Sun, Huowang Chen, Lihua Yang, Yuan Yan Tang
2001	—	`conf`	A simple 9/7-tap wavelet filter based on lifting scheme. ICIP (2) Guangjun Zhong, Lizhi Cheng, Huowang Chen
2001	—	`conf`	Integer lapped biorthogonal transform. ICIP (2) Guangjun Zhong, Lizhi Cheng, Huowang Chen
2000	J	`jnl`	Two alternative notions of 'possibility' satisfying Halpern's conditions. J. Log. Comput. Kaile Su, Huowang Chen, Decheng Ding
1999	A	`conf`	Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes. TACAS Zhoujun Li, Huowang Chen
1999	J	`jnl`	Universal abstract consistency class and universal refutation. J. Comput. Sci. Technol. Bingshan Wang, Zhoujun Li, Huowang Chen
1998	A*	`conf`	Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus. ICALP Zhoujun Li, Huowang Chen
1998	J	`jnl`	The least fixpoint transformation for disjunctive logic programs. J. Comput. Sci. Technol. Kewen Wang, Huowang Chen, Quanyuan Wu
1998	J	`jnl`	Verifying automata specification of distributed probabilistic real-time systems. J. Comput. Sci. Technol. Tiegeng Luo, Huowang Chen, Bingshan Wang, Ji Wang, Zhenghu Gong, Zhichang Qi
1997	Misc	`conf`	A Three-Valued Quantificational Logic of Context. COCOON Kaile Su, Decheng Ding, Huowang Chen
1997	—	`conf`	Abduction, Argumentation and Bi-Disjunctive Logic Programs. LPKR Kewen Wang, Huowang Chen
1996	—	`conf`	A New Evolutionary Model Based on Family Eugenics: the First Results. International Conference on Evolutionary Computation Shaoyan Wu, Qingfu Zhang, Huowang Chen
1995	J	`jnl`	A constructor-based EI-model semantics of EI-CTRS. J. Comput. Sci. Technol. Huaimin Wang, Huowang Chen
1994	J	`jnl`	On the relationship between TMS and logic programs. J. Comput. Sci. Technol. Xianchang Wang, Huowang Chen, Qinping Zhao
1993	B	`conf`	A formal technique to analyze real-time systems. COMPSAC Ji Wang, Huowang Chen
1993	A*	`conf`	W - A Logic System Based on the Shared Common Knowledge Views. IJCAI Xianchang Wang, Huowang Chen, Quingping Zhao, Wei Li
1992	—	`conf`	Temporal Reasoning About Real Time Reactive Systems. IWAR Ji Wang, Huowang Chen
1991	A*	`conf`	On Semantics of TMS. IJCAI Xianchang Wang, Huowang Chen