Hong Zhu

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2012
191An institution theory of formal meta-modelling in graphically extended BNF. Hong Zhu. Frontiers of Computer Science in China (6): 40-56 (2012). Web SearchBibTeXDownload
190Optimizing radial basis function neural network based on rough sets and affinity propagation clustering algorithm. Xinzheng Xu, Shifei Ding, Zhongzhi Shi, Hong Zhu. Journal of Zhejiang University - Science C (13): 131-138 (2012). Web SearchBibTeXDownload
2011
189Human Action Recognition Based on Random Spectral Regression. Guangfeng Lin, Hong Zhu, Yindi Fan, Caixia Fan. AICI (3) 2011, 451-461. Web SearchBibTeXDownload
188An Intelligent Broker Approach to Semantics-Based Service Composition. Yufeng Zhang, Hong Zhu. COMPSAC 2011, 20-25. Web SearchBibTeXDownload
187Parallel Compression Checkpointing for Socket-Level Heterogeneous Systems. Yongpeng Liu, Hong Zhu, Yongyan Liu, Feng Wang, Baohua Fan. HPCC 2011, 468-476. Web SearchBibTeXDownload
186Greedy Construction of 2-Approximate Minimum Manhattan Networks. Zeyu Guo, He Sun, Hong Zhu. Int. J. Comput. Geometry Appl. (21): 331-350 (2011). Web SearchBibTeXDownload
185Studies on Optimization Algorithms for Some Artificial Neural Networks Based on Genetic Algorithm (GA). Shifei Ding, Xinzheng Xu, Hong Zhu, Jian Wang, Fengxiang Jin. JCP (6): 939-946 (2011). Web SearchBibTeXDownload
184Particle Swarm Optimization for Automatic Parameters Determination of Pulse Coupled Neural Network. Xinzheng Xu, Shifei Ding, Zhongzhi Shi, Hong Zhu, Zuopeng Zhao. JCP (6): 1546-1553 (2011). Web SearchBibTeXDownload
183A Conceptual Framework for Vendor Selection based on Supply Chain Risk Management from a Literature Review. Luxing Liu, Yongwu Zhou, Hong Zhu. LISS (1) 2011, 183-186. Web SearchBibTeX
182Guest editors' introduction to the special section on exploring the boundaries of software test automation. Christof J. Budnik, W. K. Chan, Gregory M. Kapfhammer, Hong Zhu. Software Quality Journal (19): 689-690 (2011). Web SearchBibTeXDownload
2010
181A Gait Recognition Method Based on Human Posture Pick Extraction. Kai Wang, Limin Zheng, Ping Wu, Hong Zhu. DBTA 2010, 1-4. Web SearchBibTeXDownload
180Minimum Common String Partition Revisited. Haitao Jiang, Binhai Zhu, Daming Zhu, Hong Zhu. FAW 2010, 45-52. Web SearchBibTeXDownload
179Laws of Pattern Composition. Hong Zhu, Ian Bayley. ICFEM 2010, 630-645. Web SearchBibTeXDownload
178Improved Dynamic Time Warping algorithm the research and application of query by humming. Jin Li, Limin Zheng, Lu Yang, Li-jun Tian, Ping Wu, Hong Zhu. ICNC 2010, 3349-3353. Web SearchBibTeXDownload
177Neural Networks Algorithm Based on Factor Analysis. Shifei Ding, Weikuan Jia, Xinzheng Xu, Hong Zhu. ISNN (1) 2010, 319-324. Web SearchBibTeXDownload
176Using Genetic Algorithms to Optimize Artificial Neural Networks. Shifei Ding, Li Xu, Chunyang Su, Hong Zhu. JCIT (5): 54-62 (2010). Web SearchBibTeXDownload
175Dynamic Damage Recovery for Web Databases. Hong Zhu, Ge Fu, Yucai Feng, Kevin Lü. J. Comput. Sci. Technol. (25): 548-561 (2010). Web SearchBibTeXDownload
174Research and Progress of Cluster Algorithms based on Granular Computing. Shifei Ding, Li Xu, Hong Zhu, Liwen Zhang. JDCTA (4): 96-104 (2010). Web SearchBibTeXDownload
173Formal specification of the variants and behavioural features of design patterns. Ian Bayley, Hong Zhu. Journal of Systems and Software (83): 209-221 (2010). Web SearchBibTeXDownload
172A fine-grained access control model for relational databases. Jie Shi, Hong Zhu. Journal of Zhejiang University - Science C (11): 575-586 (2010). Web SearchBibTeXDownload
171A method for extracting the internal structure of biomedical images based on SRG and texture gradient. Xia Hu, Limin Zheng, Hong Zhu, Ping Wu, Wenhua Ming, Zheng Song, Huiyuan Guo, Fazheng Ren. Mathematical and Computer Modelling (51): 1357-1362 (2010). Web SearchBibTeXDownload
170On the convergence of autonomous agent communities. Hong Zhu, Fang Wang, Shufeng Wang. Multiagent and Grid Systems (6): 315-352 (2010). Web SearchBibTeXDownload
169Algebraic Specification of Web Services. Hong Zhu, Bo Yu. QSIC 2010, 457-464. Web SearchBibTeXDownload
168An Experiment with Algebraic Specifications of Software Components. Hong Zhu, Bo Yu. QSIC 2010, 190-199. Web SearchBibTeXDownload
167A survey of the research on power management techniques for high-performance systems. Yongpeng Liu, Hong Zhu. Softw., Pract. Exper. (40): 943-964 (2010). Web SearchBibTeXDownload
166On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic. Hong Zhu. TASE 2010, 95-104. Web SearchBibTeXDownload
2009
165On the Soundness Property for SQL Queries of Fine-grained Access Control in DBMSs. Jie Shi, Hong Zhu, Ge Fu, Tao Jiang. ACIS-ICIS 2009, 469-474. Web SearchBibTeXDownload
164A 1-Local Asymptotic 13/9-Competitive Algorithm for Multicoloring Hexagonal Graphs. Yong Zhang, Francis Y. L. Chin, Hong Zhu. Algorithmica (54): 557-567 (2009). Web SearchBibTeXDownload
163General Framework for Animal Food Safety Traceability Using GS1 and RFID. Weizhu Cao, Limin Zheng, Hong Zhu, Ping Wu. CCTA 2009, 297-304. Web SearchBibTeXDownload
162On Construction of Almost-Ramanujan Graphs. He Sun, Hong Zhu. COCOA 2009, 197-207. Web SearchBibTeXDownload
161The Closest Pair Problem under the Hamming Metric. Kerui Min, Ming-Yang Kao, Hong Zhu. COCOON 2009, 205-214. Web SearchBibTeXDownload
160Tool Support for Design Pattern Recognition at Model Level. Hong Zhu, Ian Bayley, Lijun Shan, Richard Amphlett. COMPSAC (1) 2009, 228-233. Web SearchBibTeXDownload
159Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool. Lijun Shan, Hong Zhu. Comput. J. (52): 571-588 (2009). Web SearchBibTeXDownload
158Guest Editorial to the Special Issue on Automation of Software Testing. Hong Zhu, S. C. Cheung, Joseph Robert Horgan, J. Jenny Li. Comput. J. (52): 513 (2009). Web SearchBibTeXDownload
157Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care. Ińaki Martínez-Sarriegui, Hong Zhu, Lijun Shan, Gema García-Sáez, Enrique J. Gómez, M. Elena Hernando. ICAART 2009, 507-512. Web SearchBibTeX
156A Robust Damage Assessment Model for Corrupted Database Systems. Ge Fu, Hong Zhu, Yingjiu Li. ICISS 2009, 237-251. Web SearchBibTeXDownload
155Engineering quality software - Guest editor's introduction to the special section of the Eighth International Conference on Quality Software (QSIC 2008). Hong Zhu. Information & Software Technology (51): 1549-1550 (2009). Web SearchBibTeXDownload
154Advancing test automation technology to meet the challenges of model-based software testing - Guest editors' introduction to the special section of the Third IEEE International Workshop on Automation of Software Test (AST 2008). Hong Zhu, Fevzi Belli. Information & Software Technology (51): 1485-1486 (2009). Web SearchBibTeXDownload
153A practical mandatory access control model for XML databases. Hong Zhu, Kevin Lü, Renchao Jin. Inf. Sci. (179): 1116-1133 (2009). Web SearchBibTeXDownload
152Approximation Strategy Based on Data Merging for Static Data Management in Networks. Dongmei Xing, Hong Zhu. NCM 2009, 70-75. Web SearchBibTeXDownload
151An Efficient Semantic Web Services Matching Mechanism. Jing Li, Dianfu Ma, Zhuo Zhao, Hong Zhu, Lusong Li. RED 2009, 110-119. Web SearchBibTeXDownload
150Average Transitive Trustworthy Degrees for Trustworthy Networks. Yixiang Chen, Min Zhang, Hong Zhu, Tian-Ming Bu. RSKT 2009, 682-689. Web SearchBibTeXDownload
149Semantics of Metamodels in UML. Lijun Shan, Hong Zhu. TASE 2009, 55-62. Web SearchBibTeXDownload
148Preface: Algorithms, complexity and models of computation. S. Barry Cooper, Hong Zhu. Theor. Comput. Sci. (410): 1001-1002 (2009). Web SearchBibTeXDownload
147Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks. Yixiang Chen, Tian-Ming Bu, Min Zhang, Hong Zhu. Web Intelligence/IAT Workshops 2009, 62-64. Web SearchBibTeXDownload
146Unsupervised Word Sense Discrimination Improves Construction of the Wordnets. Hong Zhu, Yang Liu. Web Intelligence/IAT Workshops 2009, 279-282. Web SearchBibTeXDownload
2008
145A Fast 2-Approximation Algorithm for the Minimum Manhattan Network Problem. Zeyu Guo, He Sun, Hong Zhu. AAIM 2008, 212-223. Web SearchBibTeXDownload
144Specifying Behavioural Features of Design Patterns in First Order Logic. Ian Bayley, Hong Zhu. COMPSAC 2008, 203-210. Web SearchBibTeXDownload
143Data Mutation Testing Applied to a Modelling Tool. Hong Zhu. GI Jahrestagung (1) 2008, 175-176. Web SearchBibTeXDownload
142A Formal Descriptive Semantics of UML. Lijun Shan, Hong Zhu. ICFEM 2008, 375-396. Web SearchBibTeXDownload
141Advancing test automation technology to meet the challenges of model-driven software development: report on the 3rd workshop on automation of software test. Hong Zhu, W. Eric Wong, Fevzi Belli. ICSE Companion 2008, 1049-1050. Web SearchBibTeXDownload
140Testing Java Components based on Algebraic Specifications. Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu. ICST 2008, 190-199. Web SearchBibTeXDownload
139Pre-Processing of X-Ray Medical Image Based on Improved Temporal Recursive Self-Adaptive Filter. Hong Zhu, Weizhen Sun, Minhua Wu, Guixia Guan, Yong Guan. ICYCS 2008, 758-763. Web SearchBibTeXDownload
138When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency. Du Zhang, Hong Zhu. IDEAL 2008, 395-403. Web SearchBibTeXDownload
137Dynamic data recovery for database systems based on fine grained transaction log. Hong Zhu, Ge Fu, Yi Zhu, Renchao Jin, Kevin Lü, Jie Shi. IDEAS 2008, 249-253. Web SearchBibTeXDownload
136An adaptive casteship mechanism for developing multi-agent systems. XinJun Mao, Lijun Shan, Hong Zhu, Ji Wang. IJCAT (31): 17-34 (2008). Web SearchBibTeXDownload
135In Situ Real-Time Chemiluminescence Imaging of Reactive Oxygen Species Formation from Cardiomyocytes. Yunbo Li, Haiou Shen, Hong Zhu, Michael A. Trush, Ming Jiang, Ge Wang. Int. J. Biomedical Imaging (2008) (2008). Web SearchBibTeXDownload
134Greedy Construction of 2-Approximation Minimum Manhattan Network. Zeyu Guo, He Sun, Hong Zhu. ISAAC 2008, 4-15. Web SearchBibTeXDownload
133On the Composition of Design Patterns. Ian Bayley, Hong Zhu. QSIC 2008, 27-36. Web SearchBibTeXDownload
132A Virtual Machine for Distributed Agent-oriented Programming. Bin Zhou, Hong Zhu. SEKE 2008, 729-734. Web SearchBibTeX
131Ontology for Service Oriented Testing of Web Services. Yufeng Zhang, Hong Zhu. SOSE 2008, 129-134. Web SearchBibTeXDownload
130A Framework for Agent-Based Service-Oriented Modelling. Zhi Jin, Hong Zhu. SOSE 2008, 160-165. Web SearchBibTeXDownload
129An Experimental Evaluation of the Reliability of Adaptive Random Testing Methods. Yu Liu, Hong Zhu. SSIRI 2008, 24-31. Web SearchBibTeXDownload
128Controlling Information Leakage of Fine-Grained Access Model in DBMSs. Hong Zhu, Jie Shi, Yuanzhen Wang, Yucai Feng. WAIM 2008, 583-590. Web SearchBibTeXDownload
127Concept Acquisition from Corpora: Using an Automatic Clustering Method Based on Chinese Measure Words. Meng Wang, Hong Zhu, Shiwen Yu. Web Intelligence/IAT Workshops 2008, 295-298. Web SearchBibTeXDownload
126Software Verification and Validation. David Chenho Kung, Hong Zhu. Wiley Encyclopedia of Computer Science and Engineering 2008. Web SearchBibTeXDownload
2007
125Efficient Algorithms for k -Disjoint Paths Problems on DAGs. Rudolf Fleischer, Qi Ge, Jian Li, Hong Zhu. AAIM 2007, 134-143. Web SearchBibTeXDownload
124Online OVSF Code Assignment with Resource Augmentation. Francis Y. L. Chin, Yong Zhang, Hong Zhu. AAIM 2007, 191-200. Web SearchBibTeXDownload
123Stability analysis and control synthesis for a class of switched neutral systems. Yuping Zhang, Xinzhi Liu, Hong Zhu, Shouming Zhong. Applied Mathematics and Computation (190): 1258-1266 (2007). Web SearchBibTeXDownload
122Fine-Grained Access Control for Database Management Systems. Hong Zhu, Kevin Lü. BNCOD 2007, 215-223. Web SearchBibTeXDownload
121A 1-Local 13/9-Competitive Algorithm for Multicoloring Hexagonal Graphs. Francis Y. L. Chin, Yong Zhang, Hong Zhu. COCOON 2007, 526-536. Web SearchBibTeXDownload
120Automated Testing EJB Components Based on Algebraic Specifications. Liang Kong, Hong Zhu, Bin Zhou. COMPSAC (2) 2007, 717-722. Web SearchBibTeXDownload
119Navigability Design and Measurement. Hong Zhu, Yanlong Zhang. Encyclopedia of Portal Technologies and Applications 2007, 642-646. Web SearchBibTeXDownload
118Position Estimation Based Object Tracking across Multiple Cameras. Yingna Deng, Hong Zhu, Gang Li, Ruirui Ji. FSKD (3) 2007, 356-359. Web SearchBibTeXDownload
117Automation of Software Test - Report on the Second Interional Workshop AST 2007. Hong Zhu, W. Eric Wong, Amit M. Paradkar. ICSE Companion 2007, 150-151. Web SearchBibTeXDownload
116An experimental study of the emergent behaviors of self-organized agent communities. Shufeng Wang, Hong Zhu. IEEE Congress on Evolutionary Computation 2007, 3239-3246. Web SearchBibTeXDownload
115A flexible mandatory access control policy for XML databases. Hong Zhu, Renchao Jin, Kevin Lü. Infoscale 2007, 67. Web SearchBibTeXDownload
114Greedy online frequency allocation in cellular networks. Joseph Wun-Tat Chan, Francis Y. L. Chin, Deshi Ye, Yong Zhang, Hong Zhu. Inf. Process. Lett. (102): 55-61 (2007). Web SearchBibTeXDownload
113The Advantage of PET and CT Integration in Examination of Lung Tumors. Guang Ming Lu, Zhongqiu Wang, Hong Zhu, Linfeng Chang, Yingxin Chen, Jiang Wu, Yane Zhao. Int. J. Biomedical Imaging (2007) (2007). Web SearchBibTeXDownload
112MCD: A Joint Semantic Project on East Asian Languages. Hong Zhu, Yang Liu. IWIC 2007, 159-169. Web SearchBibTeXDownload
111Efficient algorithms for finding a longest common increasing subsequence. Wun-Tat Chan, Yong Zhang, Stanley P. Y. Fung, Deshi Ye, Hong Zhu. J. Comb. Optim. (13): 277-288 (2007). Web SearchBibTeXDownload
110Approximating the Maximum Sharing Problem. Amitabh Chaudhary, Danny Z. Chen, Rudolf Fleischer, Xiaobo Sharon Hu, Jian Li, Michael T. Niemier, Zhiyi Xie, Hong Zhu. WADS 2007, 52-63. Web SearchBibTeXDownload
2006
109Non-metric Multicommodity and Multilevel Facility Location. Rudolf Fleischer, Jian Li, Shijun Tian, Hong Zhu. AAIM 2006, 138-148. Web SearchBibTeXDownload
108Feature Selection for Microarray Data Analysis Using Mutual Information and Rough Set Theory. Wengang Zhou, Chunguang Zhou, Guixia Liu, Hong Zhu, Xiaoyu Chang. AIAI 2006, 492-499. Web SearchBibTeXDownload
107Testing Software Modelling Tools Using Data Mutation. Lijun Shan, Hong Zhu. AST 2006, 43-49. Web SearchBibTeXDownload
106An Access-Control Policy Based on Sharing Resource Management for a Multi-domains Environment. Hong Zhu, Sujuan Duan, Fan Hong, Kevin Lü. ATC 2006, 439-448. Web SearchBibTeXDownload
105Health Monitoring of Rehabilitated Concrete Bridges Using Distributed Optical Fiber Sensing. Wei Zhang, Junqi Gao, Bin Shi, Heliang Cui, Hong Zhu. Comp.-Aided Civil and Infrastruct. Engineering (21): 411-424 (2006). Web SearchBibTeXDownload
104Tool Support to Model-based Quality Analysis of Software Architecture. Qian Zhang, Jian Wu, Hong Zhu. COMPSAC (1) 2006, 121-128. Web SearchBibTeXDownload
103A Framework for Service-Oriented Testing of Web Services. Hong Zhu. COMPSAC (2) 2006, 145-150. Web SearchBibTeXDownload
102Traversing the Machining Graph. Danny Z. Chen, Rudolf Fleischer, Jian Li, Haitao Wang, Hong Zhu. ESA 2006, 220-231. Web SearchBibTeXDownload
101The first international workshop on automation of software test. Hong Zhu, Joseph Robert Horgan, S. C. Cheung, J. Jenny Li. ICSE 2006, 1028-1029. Web SearchBibTeXDownload
100Assuring quality of web-based applications. Hong Zhu, David Chenho Kung. Information & Software Technology (48): 1135-1136 (2006). Web SearchBibTeXDownload
99On Approximating the Maximum Simple Sharing Problem. Danny Z. Chen, Rudolf Fleischer, Jian Li, Zhiyi Xie, Hong Zhu. ISAAC 2006, 547-556. Web SearchBibTeXDownload
98Frequency Allocation Problems for Linear Cellular Networks. Joseph Wun-Tat Chan, Francis Y. L. Chin, Deshi Ye, Yong Zhang, Hong Zhu. ISAAC 2006, 61-70. Web SearchBibTeXDownload
97A dynamic programming approach of finding an optimal broadcast schedule in minimizing total flow time. Wun-Tat Chan, Francis Y. L. Chin, Yong Zhang, Hong Zhu, Hong Shen, Prudence W. H. Wong. J. Comb. Optim. (11): 177-187 (2006). Web SearchBibTeXDownload
96An Improved Algorithm for Finding the Closest Pair of Points. Qi Ge, Haitao Wang, Hong Zhu. J. Comput. Sci. Technol. (21): 27-31 (2006). Web SearchBibTeXDownload
95Shaping the emerging paradigm of agent-orientation: Special issue on agent-oriented software development methodologies. Hong Zhu. Multiagent and Grid Systems (2): 301-304 (2006). Web SearchBibTeXDownload
94Java Annotated Concurrency Based on the Concurrent Package. Hong Zhu, Zhaolin Yin, Ying Ding. PDCAT 2006, 38-43. Web SearchBibTeXDownload
93The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. XinJun Mao, Zhiming Chang, Lijun Shan, Hong Zhu, Ji Wang. SEKE 2006, 639-644. Web SearchBibTeX
92Specifying Consistency Constraints for Modelling Languages. Lijun Shan, Hong Zhu. SEKE 2006, 578-583. Web SearchBibTeX
91A Bounded Item Bin Packing Problem over Discrete Distribution. Jianxin Chen, Yuhang Yang, Hong Zhu, Peng Zeng. TAMC 2006, 108-117. Web SearchBibTeXDownload
90Approximating the minimum weight weak vertex cover. Yong Zhang, Qi Ge, Rudolf Fleischer, Tao Jiang, Hong Zhu. Theor. Comput. Sci. (363): 99-105 (2006). Web SearchBibTeXDownload
2005
89Towards an agent oriented programming language with caste and scenario mechanisms. Ji Wang, Rui Shen, Hong Zhu. AAMAS 2005, 1297-1298. Web SearchBibTeXDownload
88Fast Mode Decision for H.264/AVC Based on Macroblock Correlation. Hong Zhu, Chengke Wu, Yangli Wang, Yong Fang. AINA 2005, 775-780. Web SearchBibTeXDownload
87Off-Line Algorithms for Minimizing Total Flow Time in Broadcast Scheduling. Wun-Tat Chan, Francis Y. L. Chin, Yong Zhang, Hong Zhu, Hong Shen, Prudence W. H. Wong. COCOON 2005, 318-328. Web SearchBibTeXDownload
86Agent Oriented Programming Based on SLABS. Ji Wang, Rui Shen, Hong Zhu. COMPSAC (1) 2005, 127-132. Web SearchBibTeXDownload
85Empirical Validation of Website Timeliness Measures. Yanlong Zhang, Hong Zhu, Sue Greenwood. COMPSAC (1) 2005, 313-318. Web SearchBibTeXDownload
84Signature Verification Method Based on the Combination of Shape and Dynamic Feature. Yingna Deng, Hong Zhu, Shu Li, Tao Wang. FSKD (2) 2005, 285-288. Web SearchBibTeXDownload
833-D Head Pose Estimation for Monocular Image. Yingjie Pan, Hong Zhu, Ruirui Ji. FSKD (2) 2005, 293-301. Web SearchBibTeXDownload
82Efficient Algorithms for Finding a Longest Common Increasing Subsequence. Wun-Tat Chan, Yong Zhang, Stanley P. Y. Fung, Deshi Ye, Hong Zhu. ISAAC 2005, 665-674. Web SearchBibTeXDownload
81Progress in Computational Complexity Theory. Jin-yi Cai, Hong Zhu. J. Comput. Sci. Technol. (20): 735-750 (2005). Web SearchBibTeXDownload
80Caste-Centric Agent-Oriented Programming. Ji Wang, Rui Shen, Hong Zhu. QSIC 2005, 431-438. Web SearchBibTeXDownload
79Formal Reasoning about Emergent Behaviours of Multi-Agent Systems. Hong Zhu. SEKE 2005, 280-285. Web SearchBibTeX
78Agent-Oriented Modelling and Specification of Web Services. Hong Zhu, Lijun Shan. WORDS 2005, 152-159. Web SearchBibTeXDownload
2004
77Some Observations on Zap and Its Applications. Yunlei Zhao, Chan H. Lee, Yiming Zhao, Hong Zhu. ACNS 2004, 180-193. Web SearchBibTeXDownload
76Minimizing Mean Completion Time in a Batch Processing System. Xiaotie Deng, Haodi Feng, Pixing Zhang, Yuzhong Zhang, Hong Zhu. Algorithmica (38): 513-528 (2004). Web SearchBibTeXDownload
75Scenario Mechanism in Agent-Oriented Programming. Rui Shen, Ji Wang, Hong Zhu. APSEC 2004, 464-471. Web SearchBibTeXDownload
74General Public Key m-Out-of-n Oblivious Transfer. Zhide Chen, Hong Zhu. CIS 2004, 888-894. Web SearchBibTeXDownload
73An Approximation Algorithm for Weighted Weak Vertex Cover Problem in Undirected Graphs. Yong Zhang, Hong Zhu. COCOON 2004, 143-150. Web SearchBibTeXDownload
72Consistency Check in Modelling Multi-Agent Systems. Lijun Shan, Hong Zhu. COMPSAC 2004, 114-119. Web SearchBibTeXDownload
71Cooperative Agent Approach to Quality Assurance and Testing Web Software. Hong Zhu. COMPSAC Workshops 2004, 110-113. Web SearchBibTeXDownload
70Approximation for Dominating Set Problem with Measure Functions. Ning Chen, Jie Meng, Jiawei Rong, Hong Zhu. Computers and Artificial Intelligence (23): 37-49 (2004). Web SearchBibTeXDownload
69High resolution live streaming with the HYDRA architecture. Roger Zimmermann, Moses Pawar, Dwipal A. Desai, Min Qin, Hong Zhu. Computers in Entertainment (2): 16 (2004). Web SearchBibTeXDownload
68Statistically Secure Quantum Oblivious Transfer. Zhide Chen, Tian-Ming Bu, Hong Zhu. CoRR (quant-ph/0408108) (2004). Web SearchBibTeXDownload
67(2+f(n))-SAT and its properties. Yunlei Zhao, Xiaotie Deng, Chan H. Lee, Hong Zhu. Discrete Applied Mathematics (136): 3-11 (2004). Web SearchBibTeXDownload
66Agent-Oriented Formal Specification of Web Services. Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David A. Duce. GCC Workshops 2004, 633-641. Web SearchBibTeXDownload
65Nash Equilibria in Parallel Downloading with Multiple Clients. Jiantao Song, Chaofeng Sha, Hong Zhu. ICDCS 2004, 94-101. Web SearchBibTeXDownload
64A Probabilistic Parameterized Algorithm for Vertex Cover in Sticker Model. Zhiyun Chen, Huiqin Qu, Mingming Lu, Hong Zhu. IPDPS 2004. Web SearchBibTeXDownload
63Quantum m-out-of-n oblivious transfer. Zhide Chen, Hong Zhu. ISCC 2004, 375-380. Web SearchBibTeXDownload
62Approximation Algorithm for Weighted Weak Vertex Cover. Yong Zhang, Hong Zhu. J. Comput. Sci. Technol. (19): 782-786 (2004). Web SearchBibTeXDownload
61Website Complexity Metrics for Measuring Navigability. Yanlong Zhang, Hong Zhu, Sue Greenwood. QSIC 2004, 172-179. Web SearchBibTeXDownload
60CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment. Lijun Shan, Hong Zhu. SELMAS 2004, 144-161. Web SearchBibTeXDownload
59Fully Truthful Mechanisms. Ning Chen, Hong Zhu. SOFSEM 2004, 373-384. Web SearchBibTeXDownload
2003
58A formal specification language for agent-oriented software engineering. Hong Zhu. AAMAS 2003, 1174-1175. Web SearchBibTeXDownload
57Combinatorial auction across independent markets (extended abstract). Ning Chen, Xiaotie Deng, Hong Zhu. ACM Conference on Electronic Commerce 2003, 206-207. Web SearchBibTeXDownload
56Modelling Multi-agent Systems with Soft Genes, Roles, and Agents. Qi Yan, XinJun Mao, Hong Zhu, Zhi-Chang Qi. AOSE 2003, 231-245. Web SearchBibTeXDownload
55Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction. Ning Chen, Hong Zhu. ASIAN 2003, 161-172. Web SearchBibTeXDownload
54A Multi-Agent Software Environment for Testing Web-based Applications. Qingning Huo, Hong Zhu, Sue Greenwood. COMPSAC 2003, 210-215. Web SearchBibTeXDownload
53Quantum m-out-of-n Oblivious Transfer. Zhide Chen, Hong Zhu. CoRR (cs.CR/0311039) (2003). Web SearchBibTeXDownload
52NetBouncer: Client-legitimacy-based High-performance DDoS Filtering. Roshan K. Thomas, Hong Zhu, Tim Huck, Tommy Johnson. DISCEX (2) 2003, 111. Web SearchBibTeXDownload
51Resettable Zero-Knowledge in the Weak Public-Key Model. Yunlei Zhao, Xiaotie Deng, Chan H. Lee, Hong Zhu. EUROCRYPT 2003, 123-139. Web SearchBibTeXDownload
50The Closest Vector Problem on Some Lattices. Haibin Kan, Hong Shen, Hong Zhu. GCC (2) 2003, 446-449. Web SearchBibTeXDownload
49Modelling Cooperative Multi-agent Systems. Lijun Shan, Hong Zhu. GCC (2) 2003, 994-1001. Web SearchBibTeXDownload
48Soft Gene, Role, Agent: MABS Learns from Sociology. Qi Yan, XinJun Mao, Lijun Shan, Zhi-Chang Qi, Hong Zhu. IAT 2003, 450-453. Web SearchBibTeXDownload
47Modelling and Specifying Scenarios and Agent Behaviour. Lijun Shan, Hong Zhu. IAT 2003, 32-38. Web SearchBibTeXDownload
46Double Auction in Two-Level Markets. Ning Chen, Xiaotie Deng, Hong Zhu. International Conference on Computational Science 2003, 34-45. Web SearchBibTeXDownload
45Development And Comparison Of Micromachined Inductors For Rf Applications. Jianbo Sun, Jianmin Miao, Tietun Sun, Hong Zhu. International Journal of Computational Engineering Science (4): 363-367 (2003). Web SearchBibTeXDownload
44Analysis And Comparison Of Flexure Structures Used In 3-D Electrostatic Microactuators For Hard Disk Drives. Bangtao Chen, Jianmin Miao, Hong Zhu. International Journal of Computational Engineering Science (4): 227-230 (2003). Web SearchBibTeXDownload
43Study On Feature Of Silicon Microtrenches With A Multiplexed Inductively Coupled Plasma Etcher. Tietun Sun, Jianmin Miao, Hong Zhu, Ciprian Iliescu, Jianbo Sun. International Journal of Computational Engineering Science (4): 319-322 (2003). Web SearchBibTeXDownload
42Design Issues Of Multilayer Piezoelectric Biosensors. W. Z. Li, J. M. Xue, Z. H. Zhou, J. Wang, Hong Zhu, Jianmin Miao, S. J. O'Shea. International Journal of Computational Engineering Science (4): 431-434 (2003). Web SearchBibTeXDownload
41Micromachining Process Of Piezoelectric Microcantilever Using Pzt Thin Film. Hong Zhu, Jianmin Miao, Bangtao Chen, Zhihong Wang, Weiguan Zhu. International Journal of Computational Engineering Science (4): 509-512 (2003). Web SearchBibTeXDownload
40Caste: A Step beyond Object Orientation. Hong Zhu, David E. Lightfoot. JMLC 2003, 59-62. Web SearchBibTeXDownload
39Building Semantic Peer-to-Peer Networks upon CAN. Jiantao Song, Yong Zhang, Chaofeng Sha, Hong Zhu. Networked Group Communication 2003, 95-106. Web SearchBibTeXDownload
38A Note on Test Oracles and Semantics of Algebraic Specifications. Hong Zhu. QSIC 2003, 91. Web SearchBibTeXDownload
2002
37Developing Formal Specifications of MAS in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem. Hong Zhu. AOIS@AAMAS 2002. Web SearchBibTeXDownload
36Developing Formal Specifications of Multi-Agent Systems in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem. Hong Zhu. AOIS@CAiSE 2002. Web SearchBibTeXDownload
35(2+ f(n))-SAT and Its Properties. Xiaotie Deng, Chan H. Lee, Yunlei Zhao, Hong Zhu. COCOON 2002, 28-36. Web SearchBibTeXDownload
34Application of Hazard Analysis to Software Quality Modelling. Hong Zhu, Yanlong Zhang, Qingning Huo, Sue Greenwood. COMPSAC 2002, 139-146. Web SearchBibTeXDownload
33Formal Specification of Evolutionary Software Agents. Hong Zhu. ICFEM 2002, 249-261. Web SearchBibTeXDownload
32A methodology of testing high-level Petri nets. Hong Zhu, Xudong He. Information & Software Technology (44): 473-489 (2002). Web SearchBibTeXDownload
31Software requirements validation via task analysis. Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai. Journal of Systems and Software (61): 145-169 (2002). Web SearchBibTeXDownload
30Reduction Zero-Knowledge. Xiaotie Deng, Chan H. Lee, Yunlei Zhao, Hong Zhu. SCN 2002, 303-317. Web SearchBibTeXDownload
2001
29An Observational Theory of Integration Testing for Component-Based Software Development. Hong Zhu, Xudong He. COMPSAC 2001, 363. Web SearchBibTeXDownload
28A Configuration Management System Supporting Component-Based Software Development. Lu Zhang, Hong Mei, Hong Zhu. COMPSAC 2001, 25-30. Cited by 12Web SearchBibTeXDownload
27Yima: Design and Evaluation of a Streaming Media System for Residential Broadband Services. Roger Zimmermann, Kun Fu, Cyrus Shahabi, Shu-Yuen Didi Yao, Hong Zhu. Databases in Telecommunications 2001, 116-125. Web SearchBibTeXDownload
26Quality Modelling for Web-Based Information Systems. Yanlong Zhang, Hong Zhu, Sue Greenwood, Qingning Huo. FTDCS 2001, 41-47. Web SearchBibTeXDownload
25SLABS: A Formal Specification Language for Agent-Based Systems. Hong Zhu. International Journal of Software Engineering and Knowledge Engineering (11): 529-558 (2001). Web SearchBibTeXDownload
24A Polynomial Time Approximation Scheme for Minimizing Total Completion Time of Unbounded Batch Scheduling. Xiaotie Deng, Haodi Feng, Pixing Zhang, Hong Zhu. ISAAC 2001, 26-35. Web SearchBibTeXDownload
23The Role of Castes in Formal Specification of MAS. Hong Zhu. PRIMA 2001, 1-15. Web SearchBibTeXDownload
2000
22Automating Scenario-Driven Structured Requirements Engineering. Hong Zhu, Lingzi Jin. COMPSAC 2000, 311. Web SearchBibTeXDownload
21Formal Specification of Agent Behaviour through Environment Scenarios. Hong Zhu. FAABS 2000, 263-277. Web SearchBibTeXDownload
20Scenario Analysis in an Automated Tool for Requirements Engineering. Hong Zhu, Lingzi Jin. Requir. Eng. (5): 2-22 (2000). Web SearchBibTeXDownload
1999
19Money Conservation via Atomicity in Fair Off-Line E-Cash. Shouhuai Xu, Moti Yung, Gendu Zhang, Hong Zhu. ISW 1999, 14-31. Web SearchBibTeXDownload
1998
18Specifications in software prototyping. Luqi, Carl K. Chang, Hong Zhu. Journal of Systems and Software (42): 125-140 (1998). Web SearchBibTeXDownload
17On the Security of Three-Party Cryptographic Protocols. Shouhuai Xu, Gendu Zhang, Hong Zhu. Operating Systems Review (32): 7-20 (1998). Web SearchBibTeXDownload
1997
16Software Unit Test Coverage and Adequacy. Hong Zhu, Patrick A. V. Hall, John H. R. May. ACM Comput. Surv. (29): 366-427 (1997). Web SearchBibTeXDownload
15Automatic Generation of Formal Specification from Requirements Definition. Lingzi Jin, Hong Zhu. ICFEM 1997, 243-251. Web SearchBibTeX
14Adequate testing of hypertext applications. Lingzi Jin, Hong Zhu, Patrick A. V. Hall. Information & Software Technology (39): 225-234 (1997). Web SearchBibTeXDownload
13MNP: A class of NP optimization problems. Qi Cheng, Hong Zhu. J. Comput. Sci. Technol. (12): 306-313 (1997). Web SearchBibTeXDownload
12On the Properties of Cryptographic Protocols and the Weakness of the BAN-like Logics. Shouhuai Xu, Gendu Zhang, Hong Zhu. Operating Systems Review (31.): 12-23 (1997). Web SearchBibTeXDownload
1996
11A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria. Hong Zhu. IEEE Trans. Software Eng. (22): 248-255 (1996). Web SearchBibTeXDownload
10Tool support of orderly transition from informal to formal descriptions in requirements engineering. J. Xu, Lingzi Jin, Hong Zhu. IFIP World Conference on IT Tools 1996, 199-206. Web SearchBibTeX
9Requirements Analysis and Specification as a Problem of Software Automation. Jiafu Xu, Hong Zhu. SEKE 1996, 457-464. Web SearchBibTeX
8A Formal Interpretation of Software Testing as Inductive Inference. Hong Zhu. Softw. Test., Verif. Reliab. (6): 3-31 (1996). Web SearchBibTeX
1995
7MNP: A Class of NP Optimization Problems (Extended Abstract). Qi Cheng, Hong Zhu. COCOON 1995, 559-565. Web SearchBibTeXDownload
1994
6Injecting Faults into Environment Simulators for Testing Safety Critical Software. Hong Zhu, Patrick A. V. Hall, John H. R. May, T. Cockram. EDCC 1994, 235-249. Web SearchBibTeXDownload
5The least basic operations on heap and improved heapsort. Jigang Wu, Hong Zhu. J. Comput. Sci. Technol. (9): 261-266 (1994). Web SearchBibTeXDownload
4How Powerful are Folding/Unfolding Transformations?. Hong Zhu. J. Funct. Program. (4): 89-112 (1994). Web SearchBibTeXDownload
3Knowledge engineering helps testing protection software. Hong Zhu, Patrick A. V. Hall, John H. R. May. SEKE 1994, 116-123. Web SearchBibTeX
1992
2Inductive Inference and Software Testing. Hong Zhu, Patrick A. V. Hall, John H. R. May. Softw. Test., Verif. Reliab. (2): 69-81 (1992). Web SearchBibTeX
1989
1A Knowledge-Based System to Synthesize FP Programs from Examples. Hong Zhu, Lingzi Jin. EPIA 1989, 234-245. Web SearchBibTeX
from DBLP and Google Scholar
References
1. ^ UT Dallas Computer Science – Events - Retrieved 2011-03-19 - details
Developed by the Database Group at the University of Wisconsin and Yahoo! Research