Hong Zhu

Jun Cheng, Hong Zhu, Shouming Zhong, Guihua Li: Novel delay-dependent robust stability criteria for neutral systems with mixed time-varying delays and nonlinear perturbations. Applied Mathematics and Computation 219(14): 7741-7753 (2013)

Yunhai Xiao, Hong Zhu, Soon-Yi Wu: Primal and dual alternating direction algorithms for ℓ ₁-ℓ ₁-norm minimization problems in compressive sensing. Comp. Opt. and Appl. 54(2): 441-459 (2013)

Hong Zhu, Shifei Ding, Xinzheng Xu, Li Xu: A parallel attribute reduction algorithm based on Affinity Propagation clustering. JCP 8(4): 990-997 (2013)

Dongmei Liu, Hong Zhu, Ian Bayley: A Case Study on Algebraic Specification of Cloud Computing. PDP 2013: 269-273

Shifei Ding, Hong Zhu, Weikuan Jia, Chunyang Su: A survey on feature extraction for pattern recognition. Artif. Intell. Rev. 37(3): 169-180 (2012)

Yucai Ding, Hong Zhu, Shouming Zhong, Yong Zeng: Exponential mean-square stability of time-delay singular systems with Markovian switching and nonlinear perturbations. Applied Mathematics and Computation 219(4): 2350-2359 (2012)

Hong Zhu: An institution theory of formal meta-modelling in graphically extended BNF. Frontiers of Computer Science in China 6(1): 40-56 (2012)

Yurong Pu, Xiaoli Xi, Hong Zhu: Equivalent Ground Conductivity Inversion in Maritime ASF Correction. IEICE Transactions 95-B(8): 2665-2668 (2012)

Hong Zhu: Editorial of the Special Issue on Software Modelling and Meta-Modelling. Int. J. Software and Informatics 6(2): 109-110 (2012)

Lijun Shan, Hong Zhu: Unifying the Semantics of Models and Meta-Models in the Multi-Layered UML Meta-Modelling Hierarchy. Int. J. Software and Informatics 6(2): 163-200 (2012)

Jun Cheng, Hong Zhu, Shouming Ming Zhong, Yuping Zhang: Robust Stability of Switched Delay Systems with Average Dwell Time under Asynchronous Switching. J. Applied Mathematics 2012 (2012)

Yucai Ding, Hong Zhu, Shouming Zhong, Yuping Zhang, Jianwei Xia: Filtering-Based Fault Detection for Stochastic Markovian Jump System with Distributed Time-Varying Delays and Mixed Modes. J. Applied Mathematics 2012 (2012)

Haitao Jiang, Binhai Zhu, Daming Zhu, Hong Zhu: Minimum common string partition revisited. J. Comb. Optim. 23(4): 519-527 (2012)

Xinzheng Xu, Shifei Ding, Zhongzhi Shi, Hong Zhu: Optimizing radial basis function neural network based on rough sets and affinity propagation clustering algorithm. Journal of Zhejiang University - Science C 13(2): 131-138 (2012)

Hong Zhu, Yufeng Zhang: Collaborative Testing of Web Services. IEEE T. Services Computing 5(1): 116-130 (2012)

Yongpeng Liu, Hong Zhu, Kai Lu, Xiaoping Wang: Self-adaptive management of the sleep depths of idle nodes in large scale systems to balance between energy consumption and response times. CloudCom 2012: 633-639

Shufeng Wang, Hong Zhu: CATest: A Test Automation Framework for Multi-agent Systems. COMPSAC 2012: 148-157

Hong Zhu: Position statement: Can testing prove software has no bug? COMPSAC 2012: 255

Hong Zhu: Position statement: Can software design benefit from creative computing? COMPSAC 2012: 310-311

Yongpeng Liu, Hong Zhu, Kai Lu, Yongyan Liu: A Power Provision and Capping Architecture for Large Scale Systems. IPDPS Workshops 2012: 954-963

Zeyu Guo, He Sun, Hong Zhu: Greedy Construction of 2-Approximate Minimum Manhattan Networks. Int. J. Comput. Geometry Appl. 21(3): 331-350 (2011)

Shifei Ding, Xinzheng Xu, Hong Zhu, Jian Wang, Fengxiang Jin: Studies on Optimization Algorithms for Some Artificial Neural Networks Based on Genetic Algorithm (GA). JCP 6(5): 939-946 (2011)

Xinzheng Xu, Shifei Ding, Zhongzhi Shi, Hong Zhu, Zuopeng Zhao: Particle Swarm Optimization for Automatic Parameters Determination of Pulse Coupled Neural Network. JCP 6(8): 1546-1553 (2011)

Christof J. Budnik, W. K. Chan, Gregory M. Kapfhammer, Hong Zhu: Guest editors' introduction to the special section on exploring the boundaries of software test automation. Software Quality Journal 19(4): 689-690 (2011)

Guangfeng Lin, Hong Zhu, Yindi Fan, Caixia Fan: Human Action Recognition Based on Random Spectral Regression. AICI (3) 2011: 451-461

Yufeng Zhang, Hong Zhu: An Intelligent Broker Approach to Semantics-Based Service Composition. COMPSAC 2011: 20-25

Yongpeng Liu, Hong Zhu, Yongyan Liu, Feng Wang, Baohua Fan: Parallel Compression Checkpointing for Socket-Level Heterogeneous Systems. HPCC 2011: 468-476

Luxing Liu, Yongwu Zhou, Hong Zhu: A Conceptual Framework for Vendor Selection based on Supply Chain Risk Management from a Literature Review. LISS (1) 2011: 183-186

Zhi Jin, Hong Zhu: Unifying domain ontology with agent-oriented modeling of services. SOSE 2011: 31-42

Jerry Zeyu Gao, Xiaodong Lu, Muhammad Younas, Hong Zhu (Eds.): IEEE 6th International Symposium on Service Oriented System Engineering, SOSE 2011, Irvine, CA, USA, December 12-14, 2011. IEEE 2011, isbn 978-1-4673-0411-5

Shumao Ou, Kun Yang, Hong Zhu: Dynamic algorithms for autonomic pervasive services in mobile wireless environments. Int. J. Auton. Comp. 1(4): 391-407 (2010)

Shifei Ding, Li Xu, Chunyang Su, Hong Zhu: Using Genetic Algorithms to Optimize Artificial Neural Networks. JCIT 5(8): 54-62 (2010)

Hong Zhu, Ge Fu, Yucai Feng, Kevin Lü: Dynamic Damage Recovery for Web Databases. J. Comput. Sci. Technol. 25(3): 548-561 (2010)

Shifei Ding, Li Xu, Hong Zhu, Liwen Zhang: Research and Progress of Cluster Algorithms based on Granular Computing. JDCTA 4(5): 96-104 (2010)

Ian Bayley, Hong Zhu: Formal specification of the variants and behavioural features of design patterns. Journal of Systems and Software 83(2): 209-221 (2010)

Jie Shi, Hong Zhu: A fine-grained access control model for relational databases. Journal of Zhejiang University - Science C 11(8): 575-586 (2010)

Hong Zhu, Fang Wang, Shufeng Wang: On the convergence of autonomous agent communities. Multiagent and Grid Systems 6(4): 315-352 (2010)

Xia Hu, Limin Zheng, Hong Zhu, Ping Wu, Wenhua Ming, Zheng Song, Huiyuan Guo, Fazheng Ren: A method for extracting the internal structure of biomedical images based on SRG and texture gradient. Mathematical and Computer Modelling 51(11-12): 1357-1362 (2010)

Yongpeng Liu, Hong Zhu: A survey of the research on power management techniques for high-performance systems. Softw., Pract. Exper. 40(11): 943-964 (2010)

Kai Wang, Limin Zheng, Ping Wu, Hong Zhu: A Gait Recognition Method Based on Human Posture Pick Extraction. DBTA 2010: 1-4

Haitao Jiang, Binhai Zhu, Daming Zhu, Hong Zhu: Minimum Common String Partition Revisited. FAW 2010: 45-52

Hong Zhu, Ian Bayley: Laws of Pattern Composition. ICFEM 2010: 630-645

Jin Li, Limin Zheng, Lu Yang, Li-jun Tian, Ping Wu, Hong Zhu: Improved Dynamic Time Warping algorithm the research and application of query by humming. ICNC 2010: 3349-3353

Shifei Ding, Weikuan Jia, Xinzheng Xu, Hong Zhu: Neural Networks Algorithm Based on Factor Analysis. ISNN (1) 2010: 319-324

Hong Zhu, Bo Yu: An Experiment with Algebraic Specifications of Software Components. QSIC 2010: 190-199

Hong Zhu, Bo Yu: Algebraic Specification of Web Services. QSIC 2010: 457-464

Hong Zhu: On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic. TASE 2010: 95-104

Yong Zhang, Francis Y. L. Chin, Hong Zhu: A 1-Local Asymptotic 13/9-Competitive Algorithm for Multicoloring Hexagonal Graphs. Algorithmica 54(4): 557-567 (2009)

Hong Zhu, S. C. Cheung, Joseph Robert Horgan, J. Jenny Li: Guest Editorial to the Special Issue on Automation of Software Testing. Comput. J. 52(5): 513 (2009)

Lijun Shan, Hong Zhu: Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool. Comput. J. 52(5): 571-588 (2009)

Chao Peng, Yasuo Tan, Naixue Xiong, Laurence Tianruo Yang, Hong Zhu: Approximation algorithms for inner-node weighted minimum spanning trees. Comput. Syst. Sci. Eng. 24(3) (2009)

He Sun, Hong Zhu: On Construction of Almost-Ramanujan Graphs. Discrete Math., Alg. and Appl. 1(2): 193-204 (2009)

Hong Zhu, Fevzi Belli: Advancing 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). Information & Software Technology 51(11): 1485-1486 (2009)

Hong Zhu: Engineering quality software - Guest editor's introduction to the special section of the Eighth International Conference on Quality Software (QSIC 2008). Information & Software Technology 51(11): 1549-1550 (2009)

Hong Zhu, Kevin Lü, Renchao Jin: A practical mandatory access control model for XML databases. Inf. Sci. 179(8): 1116-1133 (2009)

S. Barry Cooper, Hong Zhu: Preface: Algorithms, complexity and models of computation. Theor. Comput. Sci. 410(11): 1001-1002 (2009)

Jie Shi, Hong Zhu, Ge Fu, Tao Jiang: On the Soundness Property for SQL Queries of Fine-grained Access Control in DBMSs. ACIS-ICIS 2009: 469-474

He Sun, Hong Zhu: On Construction of Almost-Ramanujan Graphs. COCOA 2009: 197-207

Kerui Min, Ming-Yang Kao, Hong Zhu: The Closest Pair Problem under the Hamming Metric. COCOON 2009: 205-214

Hong Zhu, Ian Bayley, Lijun Shan, Richard Amphlett: Tool Support for Design Pattern Recognition at Model Level. COMPSAC (1) 2009: 228-233

Yixiang Chen, Tian-Ming Bu, Min Zhang, Hong Zhu: Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks. Web Intelligence/IAT Workshops 2009: 62-64

Hong Zhu, Yang Liu: Unsupervised Word Sense Discrimination Improves Construction of the Wordnets. Web Intelligence/IAT Workshops 2009: 279-282

Iñaki Martínez-Sarriegui, Hong Zhu, Lijun Shan, Gema García-Sáez, Enrique J. Gómez, M. Elena Hernando: Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care. ICAART 2009: 507-512

Ge Fu, Hong Zhu, Yingjiu Li: A Robust Damage Assessment Model for Corrupted Database Systems. ICISS 2009: 237-251

Weizhu Cao, Limin Zheng, Hong Zhu, Ping Wu: General Framework for Animal Food Safety Traceability Using GS1 and RFID. CCTA 2009: 297-304

Dongmei Xing, Hong Zhu: Approximation Strategy Based on Data Merging for Static Data Management in Networks. NCM 2009: 70-75

Jing Li, Dianfu Ma, Zhuo Zhao, Hong Zhu, Lusong Li: An Efficient Semantic Web Services Matching Mechanism. RED 2009: 110-119

Yixiang Chen, Min Zhang, Hong Zhu, Tian-Ming Bu: Average Transitive Trustworthy Degrees for Trustworthy Networks. RSKT 2009: 682-689

Lijun Shan, Hong Zhu: Semantics of Metamodels in UML. TASE 2009: 55-62

Yunbo Li, Haiou Shen, Hong Zhu, Michael A. Trush, Ming Jiang, Ge Wang: In Situ Real-Time Chemiluminescence Imaging of Reactive Oxygen Species Formation from Cardiomyocytes. Int. J. Biomedical Imaging 2008 (2008)

XinJun Mao, Lijun Shan, Hong Zhu, Ji Wang: An adaptive casteship mechanism for developing multi-agent systems. IJCAT 31(1/2): 17-34 (2008)

Zeyu Guo, He Sun, Hong Zhu: A Fast 2-Approximation Algorithm for the Minimum Manhattan Network Problem. AAIM 2008: 212-223

Ian Bayley, Hong Zhu: Specifying Behavioural Features of Design Patterns in First Order Logic. COMPSAC 2008: 203-210

Hong Zhu: Data Mutation Testing Applied to a Modelling Tool. GI Jahrestagung (1) 2008: 175-176

Meng Wang, Hong Zhu, Shiwen Yu: Concept Acquisition from Corpora: Using an Automatic Clustering Method Based on Chinese Measure Words. Web Intelligence/IAT Workshops 2008: 295-298

Chenyang Lu, Hong Zhu, Nengchao Wang: Fast N-Dimensional Hilbert Mapping Algorithm. ICCSA Workshops 2008: 507-513

Lijun Shan, Hong Zhu: A Formal Descriptive Semantics of UML. ICFEM 2008: 375-396

Hong Zhu, W. Eric Wong, Fevzi Belli: Advancing test automation technology to meet the challenges of model-driven software development: report on the 3rd workshop on automation of software test. ICSE Companion 2008: 1049-1050

Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu: Testing Java Components based on Algebraic Specifications. ICST 2008: 190-199

Hong Zhu, Weizhen Sun, Minhua Wu, Guixia Guan, Yong Guan: Pre-Processing of X-Ray Medical Image Based on Improved Temporal Recursive Self-Adaptive Filter. ICYCS 2008: 758-763

Du Zhang, Hong Zhu: When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency. IDEAL 2008: 395-403

Hong Zhu, Ge Fu, Yi Zhu, Renchao Jin, Kevin Lü, Jie Shi: Dynamic data recovery for database systems based on fine grained transaction log. IDEAS 2008: 249-253

Zeyu Guo, He Sun, Hong Zhu: Greedy Construction of 2-Approximation Minimum Manhattan Network. ISAAC 2008: 4-15

Ian Bayley, Hong Zhu: On the Composition of Design Patterns. QSIC 2008: 27-36

Bin Zhou, Hong Zhu: A Virtual Machine for Distributed Agent-oriented Programming. SEKE 2008: 729-734

Yufeng Zhang, Hong Zhu: Ontology for Service Oriented Testing of Web Services. SOSE 2008: 129-134

Zhi Jin, Hong Zhu: A Framework for Agent-Based Service-Oriented Modelling. SOSE 2008: 160-165

Yu Liu, Hong Zhu: An Experimental Evaluation of the Reliability of Adaptive Random Testing Methods. SSIRI 2008: 24-31

Hong Zhu, Jie Shi, Yuanzhen Wang, Yucai Feng: Controlling Information Leakage of Fine-Grained Access Model in DBMSs. WAIM 2008: 583-590

David Chenho Kung, Hong Zhu: Software Verification and Validation. Wiley Encyclopedia of Computer Science and Engineering 2008

Hong Zhu, W. Eric Wong, Fevzi Belli (Eds.): Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008. ACM 2008

Hong Zhu (Ed.): Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK. IEEE Computer Society 2008, isbn 978-0-7695-3312-4

Yuping Zhang, Xinzhi Liu, Hong Zhu, Shouming Zhong: Stability analysis and control synthesis for a class of switched neutral systems. Applied Mathematics and Computation 190(2): 1258-1266 (2007)

Guang Ming Lu, Zhongqiu Wang, Hong Zhu, Linfeng Chang, Yingxin Chen, Jiang Wu, Yane Zhao: The Advantage of PET and CT Integration in Examination of Lung Tumors. Int. J. Biomedical Imaging 2007 (2007)

Joseph Wun-Tat Chan, Francis Y. L. Chin, Deshi Ye, Yong Zhang, Hong Zhu: Greedy online frequency allocation in cellular networks. Inf. Process. Lett. 102(2-3): 55-61 (2007)

Wun-Tat Chan, Yong Zhang, Stanley P. Y. Fung, Deshi Ye, Hong Zhu: Efficient algorithms for finding a longest common increasing subsequence. J. Comb. Optim. 13(3): 277-288 (2007)

Seon Ho Kim, Hong Zhu, Roger Zimmermann: Zoned-RAID. TOS 3(1) (2007)

Rudolf Fleischer, Qi Ge, Jian Li, Hong Zhu: Efficient Algorithms for k -Disjoint Paths Problems on DAGs. AAIM 2007: 134-143

Francis Y. L. Chin, Yong Zhang, Hong Zhu: Online OVSF Code Assignment with Resource Augmentation. AAIM 2007: 191-200

Hong Zhu, Kevin Lü: Fine-Grained Access Control for Database Management Systems. BNCOD 2007: 215-223

Shufeng Wang, Hong Zhu: An experimental study of the emergent behaviors of self-organized agent communities. IEEE Congress on Evolutionary Computation 2007: 3239-3246

Francis Y. L. Chin, Yong Zhang, Hong Zhu: A 1-Local 13/9-Competitive Algorithm for Multicoloring Hexagonal Graphs. COCOON 2007: 526-536

Liang Kong, Hong Zhu, Bin Zhou: Automated Testing EJB Components Based on Algebraic Specifications. COMPSAC (2) 2007: 717-722

Yingna Deng, Hong Zhu, Gang Li, Ruirui Ji: Position Estimation Based Object Tracking across Multiple Cameras. FSKD (3) 2007: 356-359

Hong Zhu, W. Eric Wong, Amit M. Paradkar: Automation of Software Test - Report on the Second Interional Workshop AST 2007. ICSE Companion 2007: 150-151

Hong Zhu, Renchao Jin, Kevin Lü: A flexible mandatory access control policy for XML databases. Infoscale 2007: 67

Hong Zhu, Yang Liu: MCD: A Joint Semantic Project on East Asian Languages. IWIC 2007: 159-169

Amitabh Chaudhary, Danny Z. Chen, Rudolf Fleischer, Xiaobo Sharon Hu, Jian Li, Michael T. Niemier, Zhiyi Xie, Hong Zhu: Approximating the Maximum Sharing Problem. WADS 2007: 52-63

Hong Zhu, Yanlong Zhang: Navigability Design and Measurement. Encyclopedia of Portal Technologies and Applications 2007: 642-646

Hong Zhu, W. Eric Wong, Amit M. Paradkar (Eds.): Proceedings of the Second International Workshop on Automation of Software Test, AST 2007, Minneapolis, MN, USA, May 26-26, 2007. IEEE 2007, isbn 0-7695-2892-9

Jin-yi Cai, S. Barry Cooper, Hong Zhu (Eds.): Theory and Applications of Models of Computation, 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings. Lecture Notes in Computer Science 4484, Springer 2007, isbn 978-3-540-72503-9

Wei Zhang, Junqi Gao, Bin Shi, Heliang Cui, Hong Zhu: Health Monitoring of Rehabilitated Concrete Bridges Using Distributed Optical Fiber Sensing. Comp.-Aided Civil and Infrastruct. Engineering 21(6): 411-424 (2006)

Hong Zhu, David Chenho Kung: Assuring quality of web-based applications. Information & Software Technology 48(12): 1135-1136 (2006)

Wun-Tat Chan, Francis Y. L. Chin, Yong Zhang, Hong Zhu, Hong Shen, Prudence W. H. Wong: A dynamic programming approach of finding an optimal broadcast schedule in minimizing total flow time. J. Comb. Optim. 11(2): 177-187 (2006)

Qi Ge, Haitao Wang, Hong Zhu: An Improved Algorithm for Finding the Closest Pair of Points. J. Comput. Sci. Technol. 21(1): 27-31 (2006)

Hong Zhu: Shaping the emerging paradigm of agent-orientation: Special issue on agent-oriented software development methodologies. Multiagent and Grid Systems 2(4): 301-304 (2006)

Yong Zhang, Qi Ge, Rudolf Fleischer, Tao Jiang, Hong Zhu: Approximating the minimum weight weak vertex cover. Theor. Comput. Sci. 363(1): 99-105 (2006)

Rudolf Fleischer, Jian Li, Shijun Tian, Hong Zhu: Non-metric Multicommodity and Multilevel Facility Location. AAIM 2006: 138-148

Hong Zhu, Sujuan Duan, Fan Hong, Kevin Lü: An Access-Control Policy Based on Sharing Resource Management for a Multi-domains Environment. ATC 2006: 439-448

Qian Zhang, Jian Wu, Hong Zhu: Tool Support to Model-based Quality Analysis of Software Architecture. COMPSAC (1) 2006: 121-128

Hong Zhu: A Framework for Service-Oriented Testing of Web Services. COMPSAC (2) 2006: 145-150

Danny Z. Chen, Rudolf Fleischer, Jian Li, Haitao Wang, Hong Zhu: Traversing the Machining Graph. ESA 2006: 220-231

Wengang Zhou, Chunguang Zhou, Hong Zhu, Guixia Liu, Xiaoyu Chang: Feature Selection for Microarray Data Analysis Using Mutual Information and Rough Set Theory. ICIC (3) 2006: 424-432

Lijun Shan, Hong Zhu: Testing Software Modelling Tools Using Data Mutation. AST 2006: 43-49

Hong Zhu, Joseph Robert Horgan, S. C. Cheung, J. Jenny Li: The first international workshop on automation of software test. ICSE 2006: 1028-1029

Wengang Zhou, Chunguang Zhou, Guixia Liu, Hong Zhu: Feature Selection for Microarray Data Analysis Using Mutual Information and Rough Set Theory. AIAI 2006: 492-499

Joseph Wun-Tat Chan, Francis Y. L. Chin, Deshi Ye, Yong Zhang, Hong Zhu: Frequency Allocation Problems for Linear Cellular Networks. ISAAC 2006: 61-70

Danny Z. Chen, Rudolf Fleischer, Jian Li, Zhiyi Xie, Hong Zhu: On Approximating the Maximum Simple Sharing Problem. ISAAC 2006: 547-556

Hong Zhu, Zhaolin Yin, Ying Ding: Java Annotated Concurrency Based on the Concurrent Package. PDCAT 2006: 38-43

Lijun Shan, Hong Zhu: Specifying Consistency Constraints for Modelling Languages. SEKE 2006: 578-583

XinJun Mao, Zhiming Chang, Lijun Shan, Hong Zhu, Ji Wang: The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. SEKE 2006: 639-644

Li Chen, Hong Zhu, Wei Cui: Very Fast Region-Connected Segmentation for Spatial Data: Case Study. SMC 2006: 4001-4005

Jianxin Chen, Yuhang Yang, Hong Zhu, Peng Zeng: A Bounded Item Bin Packing Problem over Discrete Distribution. TAMC 2006: 108-117

Hong Zhu, Joseph R. Horgan, Shing-Chi Cheung, J. Jenny Li (Eds.): Proceedings of the 2006 International Workshop on Automation of Software Test, AST 2006, Shanghai, China, May 23-23, 2006. ACM 2006, isbn 1-59593-408-1

Hong Zhu: Software design methodology - from pinciples to architectural styles. Elsevier 2005, isbn 978-0-7506-6075-4, pp. I-III, 1-340

Jin-yi Cai, Hong Zhu: Progress in Computational Complexity Theory. J. Comput. Sci. Technol. 20(6): 735-750 (2005)

Hong Zhu, Chengke Wu, Yangli Wang, Yong Fang: Fast Mode Decision for H.264/AVC Based on Macroblock Correlation. AINA 2005: 775-780

Ji Wang, Rui Shen, Hong Zhu: Towards an agent oriented programming language with caste and scenario mechanisms. AAMAS 2005: 1297-1298

Wun-Tat Chan, Francis Y. L. Chin, Yong Zhang, Hong Zhu, Hong Shen, Prudence W. H. Wong: Off-Line Algorithms for Minimizing Total Flow Time in Broadcast Scheduling. COCOON 2005: 318-328

Ji Wang, Rui Shen, Hong Zhu: Agent Oriented Programming Based on SLABS. COMPSAC (1) 2005: 127-132

Yanlong Zhang, Hong Zhu, Sue Greenwood: Empirical Validation of Website Timeliness Measures. COMPSAC (1) 2005: 313-318

Yingna Deng, Hong Zhu, Shu Li, Tao Wang: Signature Verification Method Based on the Combination of Shape and Dynamic Feature. FSKD (2) 2005: 285-288

Yingjie Pan, Hong Zhu, Ruirui Ji: 3-D Head Pose Estimation for Monocular Image. FSKD (2) 2005: 293-301

Wun-Tat Chan, Yong Zhang, Stanley P. Y. Fung, Deshi Ye, Hong Zhu: Efficient Algorithms for Finding a Longest Common Increasing Subsequence. ISAAC 2005: 665-674

Ji Wang, Rui Shen, Hong Zhu: Caste-Centric Agent-Oriented Programming. QSIC 2005: 431-438

Hong Zhu: Formal Reasoning about Emergent Behaviours of Multi-Agent Systems. SEKE 2005: 280-285

Hong Zhu, Lijun Shan: Agent-Oriented Modelling and Specification of Web Services. WORDS 2005: 152-159

Xiaotie Deng, Haodi Feng, Pixing Zhang, Yuzhong Zhang, Hong Zhu: Minimizing Mean Completion Time in a Batch Processing System. Algorithmica 38(4): 513-528 (2004)

Ning Chen, Jie Meng, Jiawei Rong, Hong Zhu: Approximation for Dominating Set Problem with Measure Functions. Computers and Artificial Intelligence 23(1): 37-49 (2004)

Roger Zimmermann, Moses Pawar, Dwipal A. Desai, Min Qin, Hong Zhu: High resolution live streaming with the HYDRA architecture. Computers in Entertainment 2(4): 16 (2004)

Yunlei Zhao, Xiaotie Deng, Chan H. Lee, Hong Zhu: (2+f(n))-SAT and its properties. Discrete Applied Mathematics 136(1): 3-11 (2004)

Yong Zhang, Hong Zhu: Approximation Algorithm for Weighted Weak Vertex Cover. J. Comput. Sci. Technol. 19(6): 782-786 (2004)

Yunlei Zhao, Chan H. Lee, Yiming Zhao, Hong Zhu: Some Observations on Zap and Its Applications. ACNS 2004: 180-193

Rui Shen, Ji Wang, Hong Zhu: Scenario Mechanism in Agent-Oriented Programming. APSEC 2004: 464-471

Zhide Chen, Hong Zhu: General Public Key m-Out-of-n Oblivious Transfer. CIS 2004: 888-894

Yong Zhang, Hong Zhu: An Approximation Algorithm for Weighted Weak Vertex Cover Problem in Undirected Graphs. COCOON 2004: 143-150

Hong Zhu: Cooperative Agent Approach to Quality Assurance and Testing Web Software. COMPSAC Workshops 2004: 110-113

Lijun Shan, Hong Zhu: Consistency Check in Modelling Multi-Agent Systems. COMPSAC 2004: 114-119

Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David A. Duce: Agent-Oriented Formal Specification of Web Services. GCC Workshops 2004: 633-641

Jiantao Song, Chaofeng Sha, Hong Zhu: Nash Equilibria in Parallel Downloading with Multiple Clients. ICDCS 2004: 94-101

Zhiyun Chen, Huiqin Qu, Mingming Lu, Hong Zhu: A Probabilistic Parameterized Algorithm for Vertex Cover in Sticker Model. IPDPS 2004

Zhide Chen, Hong Zhu: Quantum m-out-of-n oblivious transfer. ISCC 2004: 375-380

Yanlong Zhang, Hong Zhu, Sue Greenwood: Website Complexity Metrics for Measuring Navigability. QSIC 2004: 172-179

Lijun Shan, Hong Zhu: CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment. SELMAS 2004: 144-161

Ning Chen, Hong Zhu: Fully Truthful Mechanisms. SOFSEM 2004: 373-384

Zhide Chen, Tian-Ming Bu, Hong Zhu: Statistically Secure Quantum Oblivious Transfer. CoRR quant-ph/0408108 (2004)

Bangtao Chen, Jianmin Miao, Hong Zhu: Analysis And Comparison Of Flexure Structures Used In 3-D Electrostatic Microactuators For Hard Disk Drives. International Journal of Computational Engineering Science 4(2): 227-230 (2003)

Tietun Sun, Jianmin Miao, Hong Zhu, Ciprian Iliescu, Jianbo Sun: Study On Feature Of Silicon Microtrenches With A Multiplexed Inductively Coupled Plasma Etcher. International Journal of Computational Engineering Science 4(2): 319-322 (2003)

Jianbo Sun, Jianmin Miao, Tietun Sun, Hong Zhu: Development And Comparison Of Micromachined Inductors For Rf Applications. International Journal of Computational Engineering Science 4(2): 363-367 (2003)

W. Z. Li, J. M. Xue, Z. H. Zhou, J. Wang, Hong Zhu, Jianmin Miao, S. J. O'Shea: Design Issues Of Multilayer Piezoelectric Biosensors. International Journal of Computational Engineering Science 4(2): 431-434 (2003)

Hong Zhu, Jianmin Miao, Bangtao Chen, Zhihong Wang, Weiguan Zhu: Micromachining Process Of Piezoelectric Microcantilever Using Pzt Thin Film. International Journal of Computational Engineering Science 4(3): 509-512 (2003)

Qi Yan, XinJun Mao, Hong Zhu, Zhi-Chang Qi: Modelling Multi-agent Systems with Soft Genes, Roles, and Agents. AOSE 2003: 231-245

Ning Chen, Hong Zhu: Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction. ASIAN 2003: 161-172

Hong Zhu: A formal specification language for agent-oriented software engineering. AAMAS 2003: 1174-1175

Qingning Huo, Hong Zhu, Sue Greenwood: A Multi-Agent Software Environment for Testing Web-based Applications. COMPSAC 2003: 210-215

Roshan K. Thomas, Hong Zhu, Tim Huck, Tommy Johnson: NetBouncer: Client-legitimacy-based High-performance DDoS Filtering. DISCEX (2) 2003: 111

Yunlei Zhao, Xiaotie Deng, Chan H. Lee, Hong Zhu: Resettable Zero-Knowledge in the Weak Public-Key Model. EUROCRYPT 2003: 123-139

Haibin Kan, Hong Shen, Hong Zhu: The Closest Vector Problem on Some Lattices. GCC (2) 2003: 446-449

Lijun Shan, Hong Zhu: Modelling Cooperative Multi-agent Systems. GCC (2) 2003: 994-1001

Lijun Shan, Hong Zhu: Modelling and Specifying Scenarios and Agent Behaviour. IAT 2003: 32-38

Qi Yan, XinJun Mao, Lijun Shan, Zhi-Chang Qi, Hong Zhu: Soft Gene, Role, Agent: MABS Learns from Sociology. IAT 2003: 450-453

Ning Chen, Xiaotie Deng, Hong Zhu: Double Auction in Two-Level Markets. International Conference on Computational Science 2003: 34-45

Hong Zhu, David E. Lightfoot: Caste: A Step beyond Object Orientation. JMLC 2003: 59-62

Jiantao Song, Yong Zhang, Chaofeng Sha, Hong Zhu: Building Semantic Peer-to-Peer Networks upon CAN. Networked Group Communication 2003: 95-106

Hong Zhu: A Note on Test Oracles and Semantics of Algebraic Specifications. QSIC 2003: 91-

Ning Chen, Xiaotie Deng, Hong Zhu: Combinatorial auction across independent markets (extended abstract). ACM Conference on Electronic Commerce 2003: 206-207

Zhide Chen, Hong Zhu: Quantum m-out-of-n Oblivious Transfer. CoRR cs.CR/0311039 (2003)

Hong Zhu, Xudong He: A methodology of testing high-level Petri nets. Information & Software Technology 44(8): 473-489 (2002)

Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai: Software requirements validation via task analysis. Journal of Systems and Software 61(2): 145-169 (2002)

Hong Zhu: Developing Formal Specifications of MAS in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem. AOIS@AAMAS 2002

Hong Zhu: Developing Formal Specifications of Multi-Agent Systems in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem. AOIS@CAiSE 2002

Xiaotie Deng, Chan H. Lee, Yunlei Zhao, Hong Zhu: (2+ f(n))-SAT and Its Properties. COCOON 2002: 28-36

Hong Zhu, Yanlong Zhang, Qingning Huo, Sue Greenwood: Application of Hazard Analysis to Software Quality Modelling. COMPSAC 2002: 139-146

Hong Zhu: Formal Specification of Evolutionary Software Agents. ICFEM 2002: 249-261

Xiaotie Deng, Chan H. Lee, Yunlei Zhao, Hong Zhu: Reduction Zero-Knowledge. SCN 2002: 303-317

Hong Zhu: SLABS: A Formal Specification Language for Agent-Based Systems. International Journal of Software Engineering and Knowledge Engineering 11(5): 529-558 (2001)

Lu Zhang, Hong Mei, Hong Zhu: A Configuration Management System Supporting Component-Based Software Development. COMPSAC 2001: 25-30

Hong Zhu, Xudong He: An Observational Theory of Integration Testing for Component-Based Software Development. COMPSAC 2001: 363-

Roger Zimmermann, Kun Fu, Cyrus Shahabi, Shu-Yuen Didi Yao, Hong Zhu: Yima: Design and Evaluation of a Streaming Media System for Residential Broadband Services. Databases in Telecommunications 2001: 116-125

Yanlong Zhang, Hong Zhu, Sue Greenwood, Qingning Huo: Quality Modelling for Web-Based Information Systems. FTDCS 2001: 41-47

Xiaotie Deng, Haodi Feng, Pixing Zhang, Hong Zhu: A Polynomial Time Approximation Scheme for Minimizing Total Completion Time of Unbounded Batch Scheduling. ISAAC 2001: 26-35

Hong Zhu: The Role of Castes in Formal Specification of MAS. PRIMA 2001: 1-15

Hong Zhu, Lingzi Jin: Scenario Analysis in an Automated Tool for Requirements Engineering. Requir. Eng. 5(1): 2-22 (2000)

Hong Zhu, Lingzi Jin: Automating Scenario-Driven Structured Requirements Engineering. COMPSAC 2000: 311-316

Hong Zhu: Formal Specification of Agent Behaviour through Environment Scenarios. FAABS 2000: 263-277

Shouhuai Xu, Moti Yung, Gendu Zhang, Hong Zhu: Money Conservation via Atomicity in Fair Off-Line E-Cash. ISW 1999: 14-31

Luqi, Carl K. Chang, Hong Zhu: Specifications in software prototyping. Journal of Systems and Software 42(2): 125-140 (1998)

Shouhuai Xu, Gendu Zhang, Hong Zhu: On the Security of Three-Party Cryptographic Protocols. Operating Systems Review 32(3): 7-20 (1998)

Hong Zhu, Patrick A. V. Hall, John H. R. May: Software Unit Test Coverage and Adequacy. ACM Comput. Surv. 29(4): 366-427 (1997)

Lingzi Jin, Hong Zhu, Patrick A. V. Hall: Adequate testing of hypertext applications. Information & Software Technology 39(4): 225-234 (1997)

Qi Cheng, Hong Zhu: MNP: A class of NP optimization problems. J. Comput. Sci. Technol. 12(4): 306-313 (1997)

Shouhuai Xu, Gendu Zhang, Hong Zhu: On the Properties of Cryptographic Protocols and the Weakness of the BAN-like Logics. Operating Systems Review 31.(4): 12-23 (1997)

Lingzi Jin, Hong Zhu: Automatic Generation of Formal Specification from Requirements Definition. ICFEM 1997: 243-251

Hong Zhu: A Formal Interpretation of Software Testing as Inductive Inference. Softw. Test., Verif. Reliab. 6(1): 3-31 (1996)

Hong Zhu: A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria. IEEE Trans. Software Eng. 22(4): 248-255 (1996)

J. Xu, Lingzi Jin, Hong Zhu: Tool support of orderly transition from informal to formal descriptions in requirements engineering. IFIP World Conference on IT Tools 1996: 199-206

Jiafu Xu, Hong Zhu: Requirements Analysis and Specification as a Problem of Software Automation. SEKE 1996: 457-464

Qi Cheng, Hong Zhu: MNP: A Class of NP Optimization Problems (Extended Abstract). COCOON 1995: 559-565

Jigang Wu, Hong Zhu: The least basic operations on heap and improved heapsort. J. Comput. Sci. Technol. 9(3): 261-266 (1994)

Hong Zhu: How Powerful are Folding/Unfolding Transformations? J. Funct. Program. 4(1): 89-112 (1994)

Hong Zhu, Patrick A. V. Hall, John H. R. May, T. Cockram: Injecting Faults into Environment Simulators for Testing Safety Critical Software. EDCC 1994: 235-249

Hong Zhu, Patrick A. V. Hall, John H. R. May: Knowledge engineering helps testing protection software. SEKE 1994: 116-123

Hong Zhu, Patrick A. V. Hall, John H. R. May: Inductive Inference and Software Testing. Softw. Test., Verif. Reliab. 2(2): 69-81 (1992)

Hong Zhu, Lingzi Jin: A Knowledge-Based System to Synthesize FP Programs from Examples. EPIA 1989: 234-245