The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Hong Zhu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rudolf Fleischer, Jian Li, Shijun Tian, Hong Zhu
    Non-metric Multicommodity and Multilevel Facility Location. [Citation Graph (0, 0)][DBLP]
    AAIM, 2006, pp:138-148 [Conf]
  2. Yunlei Zhao, Chan H. Lee, Yiming Zhao, Hong Zhu
    Some Observations on Zap and Its Applications. [Citation Graph (0, 0)][DBLP]
    ACNS, 2004, pp:180-193 [Conf]
  3. Hong Zhu, Chengke Wu, Yangli Wang, Yong Fang
    Fast Mode Decision for H.264/AVC Based on Macroblock Correlation. [Citation Graph (0, 0)][DBLP]
    AINA, 2005, pp:775-780 [Conf]
  4. Hong Zhu
    Developing Formal Specifications of MAS in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem. [Citation Graph (0, 0)][DBLP]
    AOIS@AAMAS, 2002, pp:- [Conf]
  5. Hong Zhu
    Developing Formal Specifications of Multi-Agent Systems in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem. [Citation Graph (0, 0)][DBLP]
    AOIS@CAiSE, 2002, pp:- [Conf]
  6. Qi Yan, XinJun Mao, Hong Zhu, Zhi-Chang Qi
    Modelling Multi-agent Systems with Soft Genes, Roles, and Agents. [Citation Graph (0, 0)][DBLP]
    AOSE, 2003, pp:231-245 [Conf]
  7. Rui Shen, Ji Wang, Hong Zhu
    Scenario Mechanism in Agent-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:464-471 [Conf]
  8. Ning Chen, Hong Zhu
    Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:161-172 [Conf]
  9. Hong Zhu
    A formal specification language for agent-oriented software engineering. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:1174-1175 [Conf]
  10. Ji Wang, Rui Shen, Hong Zhu
    Towards an agent oriented programming language with caste and scenario mechanisms. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:1297-1298 [Conf]
  11. Hong Zhu, Sujuan Duan, Fan Hong, Kevin Lü
    An Access-Control Policy Based on Sharing Resource Management for a Multi-domains Environment. [Citation Graph (0, 0)][DBLP]
    ATC, 2006, pp:439-448 [Conf]
  12. Zhide Chen, Hong Zhu
    General Public Key m-Out-of-n Oblivious Transfer. [Citation Graph (0, 0)][DBLP]
    CIS, 2004, pp:888-894 [Conf]
  13. 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. [Citation Graph (0, 0)][DBLP]
    COCOON, 2005, pp:318-328 [Conf]
  14. Qi Cheng, Hong Zhu
    MNP: A Class of NP Optimization Problems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    COCOON, 1995, pp:559-565 [Conf]
  15. Xiaotie Deng, Chan H. Lee, Yunlei Zhao, Hong Zhu
    (2+ f(n))-SAT and Its Properties. [Citation Graph (0, 0)][DBLP]
    COCOON, 2002, pp:28-36 [Conf]
  16. Yong Zhang, Hong Zhu
    An Approximation Algorithm for Weighted Weak Vertex Cover Problem in Undirected Graphs. [Citation Graph (0, 0)][DBLP]
    COCOON, 2004, pp:143-150 [Conf]
  17. Qingning Huo, Hong Zhu, Sue Greenwood
    A Multi-Agent Software Environment for Testing Web-based Applications. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2003, pp:210-215 [Conf]
  18. Lijun Shan, Hong Zhu
    Consistency Check in Modelling Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2004, pp:114-119 [Conf]
  19. Ji Wang, Rui Shen, Hong Zhu
    Agent Oriented Programming Based on SLABS. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2005, pp:127-132 [Conf]
  20. Hong Zhu
    Cooperative Agent Approach to Quality Assurance and Testing Web Software. [Citation Graph (0, 0)][DBLP]
    COMPSAC Workshops, 2004, pp:110-113 [Conf]
  21. Lu Zhang, Hong Mei, Hong Zhu
    A Configuration Management System Supporting Component-Based Software Development. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:25-30 [Conf]
  22. Yanlong Zhang, Hong Zhu, Sue Greenwood
    Empirical Validation of Website Timeliness Measures. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2005, pp:313-318 [Conf]
  23. Hong Zhu, Xudong He
    An Observational Theory of Integration Testing for Component-Based Software Development. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:363-0 [Conf]
  24. Hong Zhu, Lingzi Jin
    Automating Scenario-Driven Structured Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2000, pp:311-0 [Conf]
  25. Hong Zhu, Yanlong Zhang, Qingning Huo, Sue Greenwood
    Application of Hazard Analysis to Software Quality Modelling. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:139-146 [Conf]
  26. Hong Zhu
    A Framework for Service-Oriented Testing of Web Services. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2006, pp:145-150 [Conf]
  27. Qian Zhang, Jian Wu, Hong Zhu
    Tool Support to Model-based Quality Analysis of Software Architecture. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2006, pp:121-128 [Conf]
  28. 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. [Citation Graph (0, 0)][DBLP]
    Databases in Telecommunications, 2001, pp:116-125 [Conf]
  29. Roshan Thomas, Hong Zhu, Tim Huck, Tommy Johnson
    NetBouncer: Client-legitimacy-based High-performance DDoS Filtering. [Citation Graph (0, 0)][DBLP]
    DISCEX (2), 2003, pp:111- [Conf]
  30. Hong Zhu, Patrick A. V. Hall, John H. R. May, T. Cockram
    Injecting Faults into Environment Simulators for Testing Safety Critical Software. [Citation Graph (0, 0)][DBLP]
    EDCC, 1994, pp:235-249 [Conf]
  31. Hong Zhu, Lingzi Jin
    A Knowledge-Based System to Synthesize FP Programs from Examples. [Citation Graph (0, 0)][DBLP]
    EPIA, 1989, pp:234-245 [Conf]
  32. Danny Z. Chen, Rudolf Fleischer, Jian Li, Haitao Wang, Hong Zhu
    Traversing the Machining Graph. [Citation Graph (0, 0)][DBLP]
    ESA, 2006, pp:220-231 [Conf]
  33. Yunlei Zhao, Xiaotie Deng, Chan H. Lee, Hong Zhu
    Resettable Zero-Knowledge in the Weak Public-Key Model. [Citation Graph (0, 0)][DBLP]
    EUROCRYPT, 2003, pp:123-139 [Conf]
  34. Hong Zhu
    Formal Specification of Agent Behaviour through Environment Scenarios. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:263-277 [Conf]
  35. Yingna Deng, Hong Zhu, Shu Li, Tao Wang
    Signature Verification Method Based on the Combination of Shape and Dynamic Feature. [Citation Graph (0, 0)][DBLP]
    FSKD (2), 2005, pp:285-288 [Conf]
  36. Yingjie Pan, Hong Zhu, Ruirui Ji
    3-D Head Pose Estimation for Monocular Image. [Citation Graph (0, 0)][DBLP]
    FSKD (2), 2005, pp:293-301 [Conf]
  37. Yanlong Zhang, Hong Zhu, Sue Greenwood, Qingning Huo
    Quality Modelling for Web-Based Information Systems. [Citation Graph (0, 0)][DBLP]
    FTDCS, 2001, pp:41-47 [Conf]
  38. Haibin Kan, Hong Shen, Hong Zhu
    The Closest Vector Problem on Some Lattices. [Citation Graph (0, 0)][DBLP]
    GCC (2), 2003, pp:446-449 [Conf]
  39. Lijun Shan, Hong Zhu
    Modelling Cooperative Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    GCC (2), 2003, pp:994-1001 [Conf]
  40. Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David A. Duce
    Agent-Oriented Formal Specification of Web Services. [Citation Graph (0, 0)][DBLP]
    GCC Workshops, 2004, pp:633-641 [Conf]
  41. Lijun Shan, Hong Zhu
    Modelling and Specifying Scenarios and Agent Behaviour. [Citation Graph (0, 0)][DBLP]
    IAT, 2003, pp:32-38 [Conf]
  42. Qi Yan, XinJun Mao, Lijun Shan, Zhi-Chang Qi, Hong Zhu
    Soft Gene, Role, Agent: MABS Learns from Sociology. [Citation Graph (0, 0)][DBLP]
    IAT, 2003, pp:450-453 [Conf]
  43. Ning Chen, Xiaotie Deng, Hong Zhu
    Double Auction in Two-Level Markets. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science, 2003, pp:34-45 [Conf]
  44. Jiantao Song, Chaofeng Sha, Hong Zhu
    Nash Equilibria in Parallel Downloading with Multiple Clients. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2004, pp:94-101 [Conf]
  45. Lingzi Jin, Hong Zhu
    Automatic Generation of Formal Specification from Requirements Definition. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:243-251 [Conf]
  46. Hong Zhu
    Formal Specification of Evolutionary Software Agents. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:249-261 [Conf]
  47. Wengang Zhou, Chunguang Zhou, Hong Zhu, Guixia Liu, Xiaoyu Chang
    Feature Selection for Microarray Data Analysis Using Mutual Information and Rough Set Theory. [Citation Graph (0, 0)][DBLP]
    ICIC (3), 2006, pp:424-432 [Conf]
  48. Hong Zhu, Joseph Robert Horgan, S. C. Cheung, J. Jenny Li
    The first international workshop on automation of software test. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:1028-1029 [Conf]
  49. J. Xu, Lingzi Jin, Hong Zhu
    Tool support of orderly transition from informal to formal descriptions in requirements engineering. [Citation Graph (0, 0)][DBLP]
    IFIP World Conference on IT Tools, 1996, pp:199-206 [Conf]
  50. Wengang Zhou, Chunguang Zhou, Guixia Liu, Hong Zhu
    Feature Selection for Microarray Data Analysis Using Mutual Information and Rough Set Theory. [Citation Graph (0, 0)][DBLP]
    AIAI, 2006, pp:492-499 [Conf]
  51. Zhiyun Chen, Huiqin Qu, Mingming Lu, Hong Zhu
    A Probabilistic Parameterized Algorithm for Vertex Cover in Sticker Model. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  52. Joseph Wun-Tat Chan, Francis Y. L. Chin, Deshi Ye, Yong Zhang, Hong Zhu
    Frequency Allocation Problems for Linear Cellular Networks. [Citation Graph (0, 0)][DBLP]
    ISAAC, 2006, pp:61-70 [Conf]
  53. Wun-Tat Chan, Yong Zhang, Stanley P. Y. Fung, Deshi Ye, Hong Zhu
    Efficient Algorithms for Finding a Longest Common Increasing Subsequence. [Citation Graph (0, 0)][DBLP]
    ISAAC, 2005, pp:665-674 [Conf]
  54. Danny Z. Chen, Rudolf Fleischer, Jian Li, Zhiyi Xie, Hong Zhu
    On Approximating the Maximum Simple Sharing Problem. [Citation Graph (0, 0)][DBLP]
    ISAAC, 2006, pp:547-556 [Conf]
  55. Xiaotie Deng, Haodi Feng, Pixing Zhang, Hong Zhu
    A Polynomial Time Approximation Scheme for Minimizing Total Completion Time of Unbounded Batch Scheduling. [Citation Graph (0, 0)][DBLP]
    ISAAC, 2001, pp:26-35 [Conf]
  56. Zhide Chen, Hong Zhu
    Quantum m-out-of-n oblivious transfer. [Citation Graph (0, 0)][DBLP]
    ISCC, 2004, pp:375-380 [Conf]
  57. Shouhuai Xu, Moti Yung, Gendu Zhang, Hong Zhu
    Money Conservation via Atomicity in Fair Off-Line E-Cash. [Citation Graph (0, 0)][DBLP]
    ISW, 1999, pp:14-31 [Conf]
  58. Hong Zhu, David E. Lightfoot
    Caste: A Step beyond Object Orientation. [Citation Graph (0, 0)][DBLP]
    JMLC, 2003, pp:59-62 [Conf]
  59. Jiantao Song, Yong Zhang, Chaofeng Sha, Hong Zhu
    Building Semantic Peer-to-Peer Networks upon CAN. [Citation Graph (0, 0)][DBLP]
    Networked Group Communication, 2003, pp:95-106 [Conf]
  60. Hong Zhu, Zhaolin Yin, Ying Ding
    Java Annotated Concurrency Based on the Concurrent Package. [Citation Graph (0, 0)][DBLP]
    PDCAT, 2006, pp:38-43 [Conf]
  61. Hong Zhu
    The Role of Castes in Formal Specification of MAS. [Citation Graph (0, 0)][DBLP]
    PRIMA, 2001, pp:1-15 [Conf]
  62. Hong Zhu
    A Note on Test Oracles and Semantics of Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:91-0 [Conf]
  63. Ji Wang, Rui Shen, Hong Zhu
    Caste-Centric Agent-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    QSIC, 2005, pp:431-438 [Conf]
  64. Yanlong Zhang, Hong Zhu, Sue Greenwood
    Website Complexity Metrics for Measuring Navigability. [Citation Graph (0, 0)][DBLP]
    QSIC, 2004, pp:172-179 [Conf]
  65. Xiaotie Deng, Chan H. Lee, Yunlei Zhao, Hong Zhu
    Reduction Zero-Knowledge. [Citation Graph (0, 0)][DBLP]
    SCN, 2002, pp:303-317 [Conf]
  66. Jiafu Xu, Hong Zhu
    Requirements Analysis and Specification as a Problem of Software Automation. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:457-464 [Conf]
  67. XinJun Mao, Zhiming Chang, Lijun Shang, Hong Zhu, Ji Wang
    The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:639-644 [Conf]
  68. Hong Zhu, Patrick A. V. Hall, John H. R. May
    Knowledge engineering helps testing protection software. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:116-123 [Conf]
  69. Hong Zhu
    Formal Reasoning about Emergent Behaviours of Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:280-285 [Conf]
  70. Lijun Shan, Hong Zhu
    Specifying Consistency Constraints for Modelling Languages. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:578-583 [Conf]
  71. Lijun Shan, Hong Zhu
    CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment. [Citation Graph (0, 0)][DBLP]
    SELMAS, 2004, pp:144-161 [Conf]
  72. Ning Chen, Xiaotie Deng, Hong Zhu
    Combinatorial auction across independent markets (extended abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Electronic Commerce, 2003, pp:206-207 [Conf]
  73. Ning Chen, Hong Zhu
    Fully Truthful Mechanisms. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2004, pp:373-384 [Conf]
  74. Jianxin Chen, Yuhang Yang, Hong Zhu, Peng Zeng
    A Bounded Item Bin Packing Problem over Discrete Distribution. [Citation Graph (0, 0)][DBLP]
    TAMC, 2006, pp:108-117 [Conf]
  75. Hong Zhu, Lijun Shan
    Agent-Oriented Modelling and Specification of Web Services. [Citation Graph (0, 0)][DBLP]
    WORDS, 2005, pp:152-159 [Conf]
  76. Xiaotie Deng, Haodi Feng, Pixing Zhang, Yuzhong Zhang, Hong Zhu
    Minimizing Mean Completion Time in a Batch Processing System. [Citation Graph (0, 0)][DBLP]
    Algorithmica, 2004, v:38, n:4, pp:513-528 [Journal]
  77. Ning Chen, Jie Meng, Jiawei Rong, Hong Zhu
    Approximation for Dominating Set Problem with Measure Functions. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 2004, v:23, n:1, pp:- [Journal]
  78. Roger Zimmermann, Moses Pawar, Dwipal A. Desai, Min Qin, Hong Zhu
    High resolution live streaming with the HYDRA architecture. [Citation Graph (0, 0)][DBLP]
    Computers in Entertainment, 2004, v:2, n:4, pp:16- [Journal]
  79. Zhide Chen, Hong Zhu
    Quantum m-out-of-n Oblivious Transfer [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  80. Zhide Chen, Tianming Bu, Hong Zhu
    Statistically Secure Quantum Oblivious Transfer [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  81. Hong Zhu, Patrick A. V. Hall, John H. R. May
    Software Unit Test Coverage and Adequacy. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1997, v:29, n:4, pp:366-427 [Journal]
  82. Yunlei Zhao, Xiaotie Deng, Chan H. Lee, Hong Zhu
    (2+f(n))-SAT and its properties. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 2004, v:136, n:1, pp:3-11 [Journal]
  83. Bangtao Chen, Jianmin Miao, Hong Zhu
    Analysis And Comparison Of Flexure Structures Used In 3-D Electrostatic Microactuators For Hard Disk Drives. [Citation Graph (0, 0)][DBLP]
    International Journal of Computational Engineering Science, 2003, v:4, n:2, pp:227-230 [Journal]
  84. 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. [Citation Graph (0, 0)][DBLP]
    International Journal of Computational Engineering Science, 2003, v:4, n:2, pp:431-434 [Journal]
  85. Jianbo Sun, Jianmin Miao, Tietun Sun, Hong Zhu
    Development And Comparison Of Micromachined Inductors For Rf Applications. [Citation Graph (0, 0)][DBLP]
    International Journal of Computational Engineering Science, 2003, v:4, n:2, pp:363-367 [Journal]
  86. Tietun Sun, Jianmin Miao, Hong Zhu, Ciprian Iliescu, Jianbo Sun
    Study On Feature Of Silicon Microtrenches With A Multiplexed Inductively Coupled Plasma Etcher. [Citation Graph (0, 0)][DBLP]
    International Journal of Computational Engineering Science, 2003, v:4, n:2, pp:319-322 [Journal]
  87. Hong Zhu, Jianmin Miao, Bangtao Chen, Zhihong Wang, Weiguan Zhu
    Micromachining Process Of Piezoelectric Microcantilever Using Pzt Thin Film. [Citation Graph (0, 0)][DBLP]
    International Journal of Computational Engineering Science, 2003, v:4, n:3, pp:509-512 [Journal]
  88. Hong Zhu
    SLABS: A Formal Specification Language for Agent-Based Systems. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2001, v:11, n:5, pp:529-558 [Journal]
  89. Hong Zhu, Xudong He
    A methodology of testing high-level Petri nets. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2002, v:44, n:8, pp:473-489 [Journal]
  90. Hong Zhu, David Chenho Kung
    Assuring quality of web-based applications. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2006, v:48, n:12, pp:1135-1136 [Journal]
  91. Lingzi Jin, Hong Zhu, Patrick A. V. Hall
    Adequate testing of hypertext applications. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1997, v:39, n:4, pp:225-234 [Journal]
  92. Joseph Wun-Tat Chan, Francis Y. L. Chin, Deshi Ye, Yong Zhang, Hong Zhu
    Greedy online frequency allocation in cellular networks. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2007, v:102, n:2-3, pp:55-61 [Journal]
  93. 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. [Citation Graph (0, 0)][DBLP]
    J. Comb. Optim., 2006, v:11, n:2, pp:177-187 [Journal]
  94. Jin-yi Cai, Hong Zhu
    Progress in Computational Complexity Theory. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2005, v:20, n:6, pp:735-750 [Journal]
  95. Qi Ge, Haitao Wang, Hong Zhu
    An Improved Algorithm for Finding the Closest Pair of Points. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2006, v:21, n:1, pp:27-31 [Journal]
  96. Yong Zhang, Hong Zhu
    Approximation Algorithm for Weighted Weak Vertex Cover. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2004, v:19, n:6, pp:782-786 [Journal]
  97. Hong Zhu
    How Powerful are Folding/Unfolding Transformations? [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1994, v:4, n:1, pp:89-112 [Journal]
  98. Luqi, Carl K. Chang, Hong Zhu
    Specifications in software prototyping. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1998, v:42, n:2, pp:125-140 [Journal]
  99. Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai
    Software requirements validation via task analysis. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2002, v:61, n:2, pp:145-169 [Journal]
  100. Hong Zhu, Lingzi Jin
    Scenario Analysis in an Automated Tool for Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2000, v:5, n:1, pp:2-22 [Journal]
  101. Shouhuai Xu, Gendu Zhang, Hong Zhu
    On the Properties of Cryptographic Protocols and the Weakness of the BAN-like Logics. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1997, v:31, n:4, pp:12-23 [Journal]
  102. Shouhuai Xu, Gendu Zhang, Hong Zhu
    On the Security of Three-Party Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1998, v:32, n:3, pp:7-20 [Journal]
  103. Hong Zhu
    A Formal Interpretation of Software Testing as Inductive Inference. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1996, v:6, n:1, pp:3-31 [Journal]
  104. Hong Zhu, Patrick A. V. Hall, John H. R. May
    Inductive Inference and Software Testing. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1992, v:2, n:2, pp:69-81 [Journal]
  105. Yong Zhang, Qi Ge, Rudolf Fleischer, Tao Jiang, Hong Zhu
    Approximating the minimum weight weak vertex cover. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:363, n:1, pp:99-105 [Journal]
  106. Hong Zhu
    A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:4, pp:248-255 [Journal]
  107. Rudolf Fleischer, Qi Ge, Jian Li, Hong Zhu
    Efficient Algorithms for k -Disjoint Paths Problems on DAGs. [Citation Graph (0, 0)][DBLP]
    AAIM, 2007, pp:134-143 [Conf]
  108. Francis Y. L. Chin, Yong Zhang, Hong Zhu
    Online OVSF Code Assignment with Resource Augmentation. [Citation Graph (0, 0)][DBLP]
    AAIM, 2007, pp:191-200 [Conf]
  109. Hong Zhu, Kevin Lü
    Fine-Grained Access Control for Database Management Systems. [Citation Graph (0, 0)][DBLP]
    BNCOD, 2007, pp:215-223 [Conf]
  110. Francis Y. L. Chin, Yong Zhang, Hong Zhu
    A 1-Local 13/9-Competitive Algorithm for Multicoloring Hexagonal Graphs. [Citation Graph (0, 0)][DBLP]
    COCOON, 2007, pp:526-536 [Conf]
  111. Liang Kong, Hong Zhu, Bin Zhou
    Automated Testing EJB Components Based on Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2007, pp:717-722 [Conf]
  112. Hong Zhu, W. Eric Wong, Amit Paradkar
    Automation of Software Test - Report on the Second Interional Workshop AST 2007. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:150-151 [Conf]
  113. Amitabh Chaudhary, Danny Z. Chen, Rudolf Fleischer, Xiaobo Sharon Hu, Jian Li, Michael T. Niemier, Zhiyi Xie, Hong Zhu
    Approximating the Maximum Sharing Problem. [Citation Graph (0, 0)][DBLP]
    WADS, 2007, pp:52-63 [Conf]
  114. Hong Zhu, Yang Liu
    MCD: A Joint Semantic Project on East Asian Languages. [Citation Graph (0, 0)][DBLP]
    IWIC, 2007, pp:159-169 [Conf]
  115. Wun-Tat Chan, Yong Zhang, Stanley P. Y. Fung, Deshi Ye, Hong Zhu
    Efficient algorithms for finding a longest common increasing subsequence. [Citation Graph (0, 0)][DBLP]
    J. Comb. Optim., 2007, v:13, n:3, pp:277-288 [Journal]
  116. Seon Ho Kim, Hong Zhu, Roger Zimmermann
    Zoned-RAID. [Citation Graph (0, 0)][DBLP]
    TOS, 2007, v:3, n:1, pp:- [Journal]

  117. On the Soundness Property for SQL Queries of Fine-grained Access Control in DBMSs. [Citation Graph (, )][DBLP]


  118. A Fast 2-Approximation Algorithm for the Minimum Manhattan Network Problem. [Citation Graph (, )][DBLP]


  119. The Closest Pair Problem under the Hamming Metric. [Citation Graph (, )][DBLP]


  120. Specifying Behavioural Features of Design Patterns in First Order Logic. [Citation Graph (, )][DBLP]


  121. Tool Support for Design Pattern Recognition at Model Level. [Citation Graph (, )][DBLP]


  122. Position Estimation Based Object Tracking across Multiple Cameras. [Citation Graph (, )][DBLP]


  123. Data Mutation Testing Applied to a Modelling Tool. [Citation Graph (, )][DBLP]


  124. Concept Acquisition from Corpora: Using an Automatic Clustering Method Based on Chinese Measure Words. [Citation Graph (, )][DBLP]


  125. Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks. [Citation Graph (, )][DBLP]


  126. Unsupervised Word Sense Discrimination Improves Construction of the Wordnets. [Citation Graph (, )][DBLP]


  127. A Formal Descriptive Semantics of UML. [Citation Graph (, )][DBLP]


  128. A Robust Damage Assessment Model for Corrupted Database Systems. [Citation Graph (, )][DBLP]


  129. Improved Dynamic Time Warping algorithm the research and application of query by humming. [Citation Graph (, )][DBLP]


  130. Advancing test automation technology to meet the challenges of model-driven software development: report on the 3rd workshop on automation of software test. [Citation Graph (, )][DBLP]


  131. Testing Software Modelling Tools Using Data Mutation. [Citation Graph (, )][DBLP]


  132. When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency. [Citation Graph (, )][DBLP]


  133. Dynamic data recovery for database systems based on fine grained transaction log. [Citation Graph (, )][DBLP]


  134. General Framework for Animal Food Safety Traceability Using GS1 and RFID. [Citation Graph (, )][DBLP]


  135. Greedy Construction of 2-Approximation Minimum Manhattan Network. [Citation Graph (, )][DBLP]


  136. Neural Networks Algorithm Based on Factor Analysis. [Citation Graph (, )][DBLP]


  137. On the Composition of Design Patterns. [Citation Graph (, )][DBLP]


  138. Average Transitive Trustworthy Degrees for Trustworthy Networks. [Citation Graph (, )][DBLP]


  139. A Virtual Machine for Distributed Agent-oriented Programming. [Citation Graph (, )][DBLP]


  140. Controlling Information Leakage of Fine-Grained Access Model in DBMSs. [Citation Graph (, )][DBLP]


  141. Ontology for Service Oriented Testing of Web Services. [Citation Graph (, )][DBLP]


  142. A Framework for Agent-Based Service-Oriented Modelling. [Citation Graph (, )][DBLP]


  143. Semantics of Metamodels in UML. [Citation Graph (, )][DBLP]


  144. An experimental study of the emergent behaviors of self-organized agent communities. [Citation Graph (, )][DBLP]


  145. On Construction of Almost-Ramanujan Graphs. [Citation Graph (, )][DBLP]


  146. Minimum Common String Partition Revisited. [Citation Graph (, )][DBLP]


  147. A flexible mandatory access control policy for XML databases. [Citation Graph (, )][DBLP]


  148. Testing Java Components based on Algebraic Specifications. [Citation Graph (, )][DBLP]


  149. Pre-Processing of X-Ray Medical Image Based on Improved Temporal Recursive Self-Adaptive Filter. [Citation Graph (, )][DBLP]


  150. Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care. [Citation Graph (, )][DBLP]


  151. An Efficient Semantic Web Services Matching Mechanism. [Citation Graph (, )][DBLP]


  152. An Experimental Evaluation of the Reliability of Adaptive Random Testing Methods. [Citation Graph (, )][DBLP]


  153. Approximation Strategy Based on Data Merging for Static Data Management in Networks. [Citation Graph (, )][DBLP]


  154. A 1-Local Asymptotic 13/9-Competitive Algorithm for Multicoloring Hexagonal Graphs. [Citation Graph (, )][DBLP]


  155. Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool. [Citation Graph (, )][DBLP]


  156. Guest Editorial to the Special Issue on Automation of Software Testing. [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.021secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002