Skip to content

Hong Zhu

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

164

Venues

78

Active years

1989–2025

Best venue rank

A*

Where they publish

Papers

164 indexed papers, newest first.

YearVenueTitleAuthors
2025ICCCNUAV-Enabled Dynamic Data Collection and Energy Replenishment in Large-Scale IoT Networks.Pengfei Wu, Xinyu Liu, Hong Zhu, Haiping Huang, Chao Sha
2025MICCAIUDPET: Ultra-low Dose PET Imaging Challenge Dataset.Song Xue, Hanzhong Wang, Yizhou Chen, Fanxuan Liu, Hong Zhu, Marco Viscione, Rui Guo, Axel Rominger, Biao Li, Kuangyu Shi
2025WWWSeparated Contrastive Learning for Matching in Cross-domain Recommendation with Curriculum Scheduling.Heng Chang, Liang Gu, Cheng Hu, Zhinan Zhang, Hong Zhu, Yuhui Xu, Yuan Fang, Zhen Chen
2025WWWFuXi-α: Scaling Recommendation Model with Feature Interaction Enhanced Transformer.Yufei Ye, Wei Guo, Jin Yao Chin, Hao Wang, Hong Zhu, Xi Lin, Yuyang Ye, Yong Liu, Ruiming Tang, Defu Lian, Enhong Chen
2024CIKMConfidence-Aware Multi-Field Model Calibration.Yuang Zhao, Chuhan Wu, Qinglin Jia, Hong Zhu, Jia Yan, Libin Zong, Linxuan Zhang, Zhenhua Dong, Muyu Zhang
2024ESORICSSAEG: Stateful Automatic Exploit Generation.Yifan Wu, Yinshuai Li, Hong Zhu, Yinqian Zhang
2024RecSysTowards Open-World Recommendation with Knowledge Augmentation from Large Language Models.Yunjia Xi, Weiwen Liu, Jianghao Lin, Xiaoling Cai, Hong Zhu, Jieming Zhu, Bo Chen, Ruiming Tang, Weinan Zhang, Yong Yu
2024WWWCollaborative-Enhanced Prediction of Spending on Newly Downloaded Mobile Games under Consumption Uncertainty.Peijie Sun, Yifan Wang, Min Zhang, Chuhan Wu, Yan Fang, Hong Zhu, Yuan Fang, Meng Wang
2023ESORICSItem-Oriented Personalized LDP for Discrete Distribution Estimation.Xin Li, Hong Zhu, Zhiqiang Zhang, Meiyi Xie
2023GLOBECOMAn Optimization Framework for Anomaly Detection Scores Refinement with Side Information.Ali Maatouk, Fadhel Ayed, Wenjie Li, Yu Wang, Hong Zhu, Jiantao Ye
2023WWWDIWIFT: Discovering Instance-wise Influential Features for Tabular Data.Dugang Liu, Pengxiang Cheng, Hong Zhu, Xing Tang, Yanyu Chen, Xiaoting Wang, Weike Pan, Zhong Ming, Xiuqiang He
2023TrustCom5G/5G-A Private Network: Construction, Operation and Applications.Lexi Xu, Junsheng Zhao, Hong Zhu, Mingde Huo, Xinzhou Cheng, Kun Chao, Jie Li, Jian Guan, Xiqing Liu, Jie Gao
2023SPAI-Guardian: Defeating Adversarial Attacks using Backdoors.Hong Zhu, Shengzhi Zhang, Kai Chen
2022AAAIRegularization Penalty Optimization for Addressing Data Quality Variance in OoD Algorithms.Runpeng Yu, Hong Zhu, Kaican Li, Lanqing Hong, Rui Zhang, Nanyang Ye, Shao-Lun Huang, Xiuqiang He
2022CIKMOptEmbed: Learning Optimal Embedding Table for Click-through Rate Prediction.Fuyuan Lyu, Xing Tang, Hong Zhu, Huifeng Guo, Yingxue Zhang, Ruiming Tang, Xue Liu
2022CVPRCoDo: Contrastive Learning with Downstream Background Invariance for Detection.Bing Zhao, Jun Li, Hong Zhu
2022CVPRScene Representation in Bird's-Eye View from Surrounding Cameras with Transformers.Yun Zhao, Yu Zhang, Zhan Gong, Hong Zhu
2022IGARSSAttenuation and Partial Blockage Correction for Polarimetric Radar Rainfall Applications: A Case Study in Eastern China.Yabin Gou, Bin Wu, Hong Zhu, Juan Zhou, Haonan Chen
2021AAAINoninvasive Self-attention for Side Information Fusion in Sequential Recommendation.Chang Liu, Xiaoguang Li, Guohao Cai, Zhenhua Dong, Hong Zhu, Lifeng Shang
2021CCSAI-Lancet: Locating Error-inducing Neurons to Optimize Neural Networks.Yue Zhao, Hong Zhu, Kai Chen, Shengzhi Zhang
2021IGARSSTowards an optimal polarimetric radar rainfall methodology: Demonstration during a water-logging disaster in eastern China.Yabin Gou, Hong Zhu, Ming Yang, Haonan Chen, Jieying He
2021RecSysMitigating Confounding Bias in Recommendation via Information Bottleneck.Dugang Liu, Pengxiang Cheng, Hong Zhu, Zhenhua Dong, Xiuqiang He, Weike Pan, Zhong Ming
2020AAAILess Is Better: Unweighted Data Subsampling via Influence Function.Zifeng Wang, Hong Zhu, Zhenhua Dong, Xiuqiang He, Shao-Lun Huang
2020AMIAAn e-health based clinical decision support system to predict mortality risk of COVID-19 patients.Yin Guan, Mengchun Gong, Ying Zhang, Wenzhao Shi, Li Liu, Hong Zhu
2020AMIAHealth Informatics Challenges for the Management of COVID-19.Jie Li, Mengchun Gong, Wenzhao Shi, Li Liu, Hong Zhu
2020AMIAEvaluation of Patient Privacy During COVID-19 Outbreaks: Case Study.Jiankang Mu, Mengchun Gong, Zhengpeng Lu, Wenzhao Shi, Li Liu, Hong Zhu
2020ECCVStructural Plan of Indoor Scenes with Personalized Preferences.Xinhan Di, Pengqian Yu, Hong Zhu, Lei Cai, Qiuyan Sheng, Changyu Sun, Ling-Qiang Ran
2020ICSEExploratory Datamorphic Testing of Classification Applications.Hong Zhu, Ian Bayley
2020ISPAContinuous Debugging of Microservices.Hong Zhu, Ian Bayley, Hongbo Wang
2020RecSysCounterfactual learning for recommender system.Zhenhua Dong, Hong Zhu, Pengxiang Cheng, Xinhua Feng, Guohao Cai, Xiuqiang He, Jun Xu, Jirong Wen
2020SIGIRInfluence Function for Unbiased Recommendation.Jiangxing Yu, Hong Zhu, Chih-Yao Chang, Xinhua Feng, Bo-Wen Yuan, Xiuqiang He, Zhenhua Dong
2019CCSSeeing isn't Believing: Towards More Robust Adversarial Attack Against Real World Object Detectors.Yue Zhao, Hong Zhu, Ruigang Liang, Qintao Shen, Shengzhi Zhang, Kai Chen
2019CIKMImproving Ad Click Prediction by Considering Non-displayed Events.Bo-Wen Yuan, Jui-Yang Hsia, Mengyuan Yang, Hong Zhu, Chih-Yao Chang, Zhenhua Dong, Chih-Jen Lin
2019CVPRThree-Stream Convolutional Neural Network With Multi-Task and Ensemble Learning for 3D Action Recognition.Duohan Liang, Guoliang Fan, Guangfeng Lin, Wanjun Chen, Xiaorong Pan, Hong Zhu
2019ICIPLayered Conceptual Image Compression Via Deep Semantic Synthesis.Jianhui Chang, Qi Mao, Zhenghui Zhao, Shanshe Wang, Shiqi Wang, Hong Zhu, Siwei Ma
2019IGARSSComposite Geolocating of ZY-3-02 Laser Altimetry Data and Optical Satellite Stereo Imagery.Junfeng Xie, Fen Hu, Zhenming Wang, Ming He, Ying Zhen, Hong Zhu
2019ISPAAn Efficient Machine Reading Comprehension Method Based on Attention Mechanism.Wenzhen Jin, Guocai Yang, Hong Zhu
2019UICLISC: Location Inference Attack Enhanced by Spatial-Temporal-Social Correlations.Bing Li, Hong Zhu, Meiyi Xie
2018COMPSACMessage from SETA 2018 Symposium Chairs.W. K. Chan, Hong Zhu
2018HCIResearch on Interactive Design of Vehicle Information Interface for Old People Based on Visual Characteristics.Ya-jun Li, Hong Zhu
2018ICONIPText Classification Based on Word2vec and Convolutional Neural Network.Lin Li, Linlong Xiao, Wenzhen Jin, Hong Zhu, Guocai Yang
2018ICSESoftware testing as a problem of machine learning: towards a foundation on computational learning theory (extended abstract of keynote speech).Hong Zhu
2018MICCAIHolistic Brain Tumor Screening and Classification Based on DenseNet and Recurrent Neural Network.Yufan Zhou, Zheshuo Li, Hong Zhu, Changyou Chen, Mingchen Gao, Kai Xu, Jinhui Xu
2017ACISPFuzzy Keyword Search and Access Control over Ciphertexts in Cloud Computing.Hong Zhu, Zhuolin Mei, Bing Wu, Hongbo Li, Zongmin Cui
2017COMPSACMessage from SETA 2017 Symposium Chairs.Ricky Chan, Hong Zhu
2017COMPSACOn the Composibility of Design Patterns: Extended Abstract.Hong Zhu, Ian Bayley
2017ICIGObject Tracking Based on Multi-modality Dictionary Learning.Jing Wang, Hong Zhu, Shan Xue, Jing Shi
2017ICSEAST 2017 Workshop Summary.Hong Zhu, Junhua Ding, Patrcia D. L. Machado, Marc Roper
2016DEXAAn Efficient Initialization Method for Probabilistic Relational Databases.Hong Zhu, Caicai Zhang, Zhongsheng Cao
2016ICARCVNonliear-disturbance-observer based DC-bus voltage control for DC microgrid.Hong Zhu, Dongsheng Yu, Hao Chen, He Cheng, Xiaoshu Zan
2016SMCAn approach to sample selection from big data for classification.Sheng Xing, Yu-Lin He, Hong Zhu, Xizhao Wang
2016TrustComSecure Shortest Path Search over Encrypted Graph Supporting Synonym Query in Cloud Computing.Hong Zhu, Bin Wu, Meiyi Xie, Zongmin Cui, Zongda Wu
2015BigDataBig SaaS: The Next Step Beyond Big Data.Hong Zhu, Ian Bayley, Muhammad Younas, David E. Lightfoot, Basel Yousef, Dongmei Liu
2015COMPSACModeling and Simulating Adaptive Multi-agent Systems with CAMLE.Lijun Shan, Chenglie Du, Hong Zhu
2015ICMLCResearch on ordinal regression of interval valued data.Hong Zhu, Jun-Hai Zhai, Su-Fang Zhang
2015ISCAS2-Phase high-frequency clock distribution with SPLIT-IO dual-Vt repeaters for suppressed leakage currents.Hong Zhu, Volkan Kursun
2015SMCAn Ordinal Random Forest and Its Parallel Implementation with MapReduce.Shanshan Wang, Jun-Hai Zhai, Su-Fang Zhang, Hong Zhu
2014ICA3PPEqui-join for Multiple Datasets Based on Time Cost Evaluation Model.Hong Zhu, Libo Xia, Meiyi Xie, Ke Yan
2014ICCCNPreserving privacy for sensitive values of individuals in data publishing based on a new additive noise approach.Hong Zhu, Shengli Tian, Meiyi Xie, Mengyuan Yang
2014ICMLCAn Improved Approach to Ordinal Classification.Donghui Wang, Junhai Zhai, Hong Zhu, Xizhao Wang
2014ICMLCParallel Ordinal Decision Tree Algorithm and Its Implementation in Framework of MapReduce.Shanshan Wang, Junhai Zhai, Hong Zhu, Xizhao Wang
2014ICMLCMonotonic Decision Tree for Interval Valued Data.Hong Zhu, Junhai Zhai, Shanshan Wang, Xizhao Wang
2014ISCASA comprehensive comparison of superior triple-threshold-voltage 7-transistor, 8-transistor, and 9-transistor SRAM cells.Hong Zhu, Volkan Kursun
2013AINAA Client Privacy Preserving Discovery Service Scheme.Zhipeng Wang, Hong Zhu
2013COCOONThe Program Download Problem: Complexity and Algorithms.Chao Peng, Jie Zhou, Binhai Zhu, Hong Zhu
2013ICNCFixed-length string compression for direct operations in column-oriented databases.Ke Yan, Meiyi Xie, Hong Zhu
2013ICPADSLightweight Management of Authorization Update on Cloud Data.Zongmin Cui, Hong Zhu, Jie Shi, Lianhua Chi, Ke Yan
2013ICSE8th international workshop on automation of software test (AST 2013).Hong Zhu, Henry Muccini, Zhenyu Chen
2013ICSEForeword.Hong Zhu, Henry Muccini, Zhenyu Chen
2013ICWSFrom Algebraic Specification to Ontological Description of Service Semantics.Dongmei Liu, Hong Zhu, Ian Bayley
2013ISCASNovel dual-threshold-voltage energy-efficient buffers for driving large extrinsic load capacitance.Hong Zhu, Volkan Kursun
2013PDPA Case Study on Algebraic Specification of Cloud Computing.Dongmei Liu, Hong Zhu, Ian Bayley
2013VTCMulti-Cell Downlink Joint Transmission with 3D Beamforming.Hong Zhu, Ying Wang, Cong Shi, Weidong Zhang
2012CloudComSelf-adaptive management of the sleep depths of idle nodes in large scale systems to balance between energy consumption and response times.Yongpeng Liu, Hong Zhu, Kai Lu, Xiaoping Wang
2012COMPSACCATest: A Test Automation Framework for Multi-agent Systems.Shufeng Wang, Hong Zhu
2012COMPSACPosition statement: Can testing prove software has no bug?Hong Zhu
2012COMPSACPosition statement: Can software design benefit from creative computing?Hong Zhu
2011COMPSACAn Intelligent Broker Approach to Semantics-Based Service Composition.Yufeng Zhang, Hong Zhu
2011HPCCParallel Compression Checkpointing for Socket-Level Heterogeneous Systems.Yongpeng Liu, Hong Zhu, Yongyan Liu, Feng Wang, Baohua Fan
2011PIMRCRadio propagation measurements and channel characterisation pertinent to urban microcellular communications systems incorporating relay links.Robert J. C. Bultitude, Georgy Levin, Hong Zhu
2011PIMRCModelling, measurement and analysis of narrowband fast fading on relay channels.Georgy Levin, Robert J. C. Bultitude, Hong Zhu
2010FAWMinimum Common String Partition Revisited.Haitao Jiang, Binhai Zhu, Daming Zhu, Hong Zhu
2010ICFEMLaws of Pattern Composition.Hong Zhu, Ian Bayley
2010ICNCImproved 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
2010ISNNNeural Networks Algorithm Based on Factor Analysis.Shifei Ding, Weikuan Jia, Xinzheng Xu, Hong Zhu
2010UICA Measurement of Software Trustworthiness Based on Approximation Algorithms.Jie Zhou, Hong Zhu
2010TASEOn the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic.Hong Zhu
2009COCOAOn Construction of Almost-Ramanujan Graphs.He Sun, Hong Zhu
2009COCOONThe Closest Pair Problem under the Hamming Metric.Kerui Min, Ming-Yang Kao, Hong Zhu
2009COMPSACTool Support for Design Pattern Recognition at Model Level.Hong Zhu, Ian Bayley, Lijun Shan, Richard Amphlett
2009ICAARTModelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care.Iaki Martnez-Sarriegui, Hong Zhu, Lijun Shan, Gema Garca-Sez, Enrique J. Gmez, M. Elena Hernando
2009ICISSA Robust Damage Assessment Model for Corrupted Database Systems.Ge Fu, Hong Zhu, Yingjiu Li
2009TASESemantics of Metamodels in UML.Lijun Shan, Hong Zhu
2008AAIMA Fast 2-Approximation Algorithm for the Minimum Manhattan Network Problem.Zeyu Guo, He Sun, Hong Zhu
2008COMPSACSpecifying Behavioural Features of Design Patterns in First Order Logic.Ian Bayley, Hong Zhu
2008GIData Mutation Testing Applied to a Modelling Tool.Hong Zhu
2008ICCSAFast N-Dimensional Hilbert Mapping Algorithm.Chenyang Lu, Hong Zhu, Nengchao Wang
2008ICFEMA Formal Descriptive Semantics of UML.Lijun Shan, Hong Zhu
2008ICNCSimulink Modeling and Comparison of Zhang Neural Networks and Gradient Neural Networks for Time-Varying Lyapunov Equation Solving.Yunong Zhang, Ke Chen, Xuezhong Li, Chengfu Yi, Hong Zhu
2008ICNCVehicle Multi-sensor Information Optimization Based on Federal Fusion Valuation.Hong Zhu, Minhua Wu, Guixia Guan, Yong Guan, Weizhen Sun
2008ISAACGreedy Construction of 2-Approximation Minimum Manhattan Network.Zeyu Guo, He Sun, Hong Zhu
2008ICSEAdvancing 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
2008ICSTTesting Java Components based on Algebraic Specifications.Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu
2008IDEALWhen Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency.Du Zhang, Hong Zhu
2008IDEASDynamic data recovery for database systems based on fine grained transaction log.Hong Zhu, Ge Fu, Yi Zhu, Renchao Jin, Kevin L, Jie Shi
2008SEKEA Virtual Machine for Distributed Agent-oriented Programming.Bin Zhou, Hong Zhu
2007AAIMOnline OVSF Code Assignment with Resource Augmentation.Francis Y. L. Chin, Yong Zhang, Hong Zhu
2007AAIMEfficient Algorithms forRudolf Fleischer, Qi Ge, Jian Li, Hong Zhu
2007CECAn experimental study of the emergent behaviors of self-organized agent communities.Shufeng Wang, Hong Zhu
2007COCOONA 1-Local 13/9-Competitive Algorithm for Multicoloring Hexagonal Graphs.Francis Y. L. Chin, Yong Zhang, Hong Zhu
2007COMPSACAutomated Testing EJB Components Based on Algebraic Specifications.Liang Kong, Hong Zhu, Bin Zhou
2007ICSEAutomation of Software Test - Report on the Second Interional Workshop AST 2007.Hong Zhu, W. Eric Wong, Amit M. Paradkar
2007WADSApproximating the Maximum Sharing Problem.Amitabh Chaudhary, Danny Z. Chen, Rudolf Fleischer, Xiaobo Sharon Hu, Jian Li, Michael T. Niemier, Zhiyi Xie, Hong Zhu
2006AAIMNon-metric Multicommodity and Multilevel Facility Location.Rudolf Fleischer, Jian Li, Shijun Tian, Hong Zhu
2006ATCAn Access-Control Policy Based on Sharing Resource Management for a Multi-domains Environment.Hong Zhu, Sujuan Duan, Fan Hong, Kevin L
2006COMPSACTool Support to Model-based Quality Analysis of Software Architecture.Qian Zhang, Jian Wu, Hong Zhu
2006COMPSACA Framework for Service-Oriented Testing of Web Services.Hong Zhu
2006ESATraversing the Machining Graph.Danny Z. Chen, Rudolf Fleischer, Jian Li, Haitao Wang, Hong Zhu
2006ISAACFrequency Allocation Problems for Linear Cellular Networks.Joseph Wun-Tat Chan, Francis Y. L. Chin, Deshi Ye, Yong Zhang, Hong Zhu
2006ISAACOn Approximating the Maximum Simple Sharing Problem.Danny Z. Chen, Rudolf Fleischer, Jian Li, Zhiyi Xie, Hong Zhu
2006ICSETesting Software Modelling Tools Using Data Mutation.Lijun Shan, Hong Zhu
2006ICSEThe first international workshop on automation of software test.Hong Zhu, Joseph Robert Horgan, Shing-Chi Cheung, J. Jenny Li
2006PDCATJava Annotated Concurrency Based on the Concurrent Package.Hong Zhu, Zhaolin Yin, Ying Ding
2006SMCVery Fast Region-Connected Segmentation for Spatial Data: Case Study.Li Chen, Hong Zhu, Wei Cui
2006SEKEThe Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents.XinJun Mao, Zhiming Chang, Lijun Shan, Hong Zhu, Ji Wang
2006SEKESpecifying Consistency Constraints for Modelling Languages.Lijun Shan, Hong Zhu
2006TAMCA Bounded Item Bin Packing Problem over Discrete Distribution.Jianxin Chen, Yuhang Yang, Hong Zhu, Peng Zeng
2005AINAFast Mode Decision for H.264/AVC Based on Macroblock Correlation.Hong Zhu, Chengke Wu, Yangli Wang, Yong Fang
2005COCOONOff-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
2005COMPSACAgent Oriented Programming Based on SLABS.Ji Wang, Rui Shen, Hong Zhu
2005COMPSACEmpirical Validation of Website Timeliness Measures.Yanlong Zhang, Hong Zhu, Sue Greenwood
2005ISAACEfficient Algorithms for Finding a Longest Common Increasing Subsequence.Wun-Tat Chan, Yong Zhang, Stanley P. Y. Fung, Deshi Ye, Hong Zhu
2005SEKEFormal Reasoning about Emergent Behaviours of Multi-Agent Systems.Hong Zhu
2004ACNSSome Observations on Zap and Its Applications.Yunlei Zhao, Chan H. Lee, Yiming Zhao, Hong Zhu
2004APSECScenario Mechanism in Agent-Oriented Programming.Rui Shen, Ji Wang, Hong Zhu
2004CISGeneral Public Key m-Out-of-n Oblivious Transfer.Zhide Chen, Hong Zhu
2004COCOONAn Approximation Algorithm for Weighted Weak Vertex Cover Problem in Undirected Graphs.Yong Zhang, Hong Zhu
2004COMPSACConsistency Check in Modelling Multi-Agent Systems.Lijun Shan, Hong Zhu
2004COMPSACCooperative Agent Approach to Quality Assurance and Testing Web Software.Hong Zhu
2004ICDCSNash Equilibria in Parallel Downloading with Multiple Clients.Jiantao Song, Chaofeng Sha, Hong Zhu
2004ISCCQuantum m-out-of-n oblivious transfer.Zhide Chen, Hong Zhu
2004SOFSEMFully Truthful Mechanisms.Ning Chen, Hong Zhu
2003COMPSACA Multi-Agent Software Environment for Testing Web-based Applications.Qingning Huo, Hong Zhu, Sue Greenwood
2003EuroCryptResettable Zero-Knowledge in the Weak Public-Key Model.Yunlei Zhao, Xiaotie Deng, Chan H. Lee, Hong Zhu
2003ICCSDouble Auction in Two-Level Markets.Ning Chen, Xiaotie Deng, Hong Zhu
2002COCOON(2+ f(n))-SAT and Its Properties.Xiaotie Deng, Chan H. Lee, Yunlei Zhao, Hong Zhu
2002COMPSACApplication of Hazard Analysis to Software Quality Modelling.Hong Zhu, Yanlong Zhang, Qingning Huo, Sue Greenwood
2002ICFEMFormal Specification of Evolutionary Software Agents.Hong Zhu
2002IGARSSRapidly assessing the flood disaster by using remote sensing and GIS.Cunjian Yang, He Huang, Yiming Wei, Hong Zhu, Jieming Zhuo
2002SCNReduction Zero-Knowledge.Xiaotie Deng, Chan H. Lee, Yunlei Zhao, Hong Zhu
2001COMPSACA Configuration Management System Supporting Component-Based Software Development.Lu Zhang, Hong Mei, Hong Zhu
2001COMPSACAn Observational Theory of Integration Testing for Component-Based Software Development.Hong Zhu, Xudong He
2001ISAACA Polynomial Time Approximation Scheme for Minimizing Total Completion Time of Unbounded Batch Scheduling.Xiaotie Deng, Haodi Feng, Pixing Zhang, Hong Zhu
2001PRIMAThe Role of Castes in Formal Specification of MAS.Hong Zhu
2000COMPSACAutomating Scenario-Driven Structured Requirements Engineering.Hong Zhu, Lingzi Jin
1997ICFEMAutomatic Generation of Formal Specification from Requirements Definition.Lingzi Jin, Hong Zhu
1996SEKERequirements Analysis and Specification as a Problem of Software Automation.Jiafu Xu, Hong Zhu
1995COCOONMNP: A Class of NP Optimization Problems (Extended Abstract).Qi Cheng, Hong Zhu
1994EDCCInjecting Faults into Environment Simulators for Testing Safety Critical Software.Hong Zhu, Patrick A. V. Hall, John H. R. May, T. Cockram
1994SEKEKnowledge engineering helps testing protection software.Hong Zhu, Patrick A. V. Hall, John H. R. May
1993FCTOn the Learnability of a Restricted Predicate Formulae.Jilei Yin, Hong Zhu
1993MFCSLearning Decision Lists from Noisy Examples.Jilei Yin, Hong Zhu
1989EPIAA Knowledge-Based System to Synthesize FP Programs from Examples.Hong Zhu, Lingzi Jin
1989ICTAIA metalanguage to express human guidance for program transformation.Lingzi Jin, Hong Zhu