The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ming Gu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Xi-Bin Zhao, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
    Authorization Mechanisms for Virtual Organizations in Distributed Computing Systems. [Citation Graph (0, 0)][DBLP]
    ACISP, 2004, pp:414-426 [Conf]
  2. Zhi Guo, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
    Efficient Presentation of Multivariate Audit Data for Intrusion Detection of Web-Based Internet Services. [Citation Graph (0, 0)][DBLP]
    ACNS, 2003, pp:63-75 [Conf]
  3. Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun
    A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:39-50 [Conf]
  4. Jian-Ping Yong, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
    Enhancing the Scalability of the Community Authorization Service for Virtual Organizations. [Citation Graph (0, 0)][DBLP]
    AWCC, 2004, pp:182-193 [Conf]
  5. Hongyuan Zha, Xiaofeng He, Chris H. Q. Ding, Ming Gu, Horst D. Simon
    Bipartite Graph Partitioning and Data Clustering. [Citation Graph (0, 0)][DBLP]
    CIKM, 2001, pp:25-32 [Conf]
  6. Zhiyun Xin, Jizhong Zhao, Ming Gu, Jiaguang Sun
    Integrating Collaborate and Content-Based Filtering for Personalized Information Recommendation. [Citation Graph (0, 0)][DBLP]
    CIS (1), 2005, pp:476-482 [Conf]
  7. Anduo Wang, Fei He, Ming Gu, Xiaoyu Song
    Verifying Java Programs By Theorem Prover HOL. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2006, pp:139-142 [Conf]
  8. Xi-Bin Zhao, Kwok-Yan Lam, Guimin Luo, Siu Leung Chung, Ming Gu
    Minimal Threshold Closure. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2006, pp:145-155 [Conf]
  9. Hong-Wei Sun, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
    Anomaly Detection in Grid Computing Based on Vector Quantization. [Citation Graph (0, 0)][DBLP]
    GCC, 2004, pp:883-886 [Conf]
  10. Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun
    Effective heuristics for counterexample-guided abstraction refinement. [Citation Graph (0, 0)][DBLP]
    ACM Great Lakes Symposium on VLSI, 2007, pp:393-398 [Conf]
  11. Hong-Wei Sun, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
    An Efficient Anomaly Detection Algorithm for Vector-Based Intrusion Detection Systems. [Citation Graph (0, 0)][DBLP]
    ICCNMC, 2005, pp:817-825 [Conf]
  12. Chris H. Q. Ding, Xiaofeng He, Hongyuan Zha, Ming Gu, Horst D. Simon
    A Min-max Cut Algorithm for Graph Partitioning and Data Clustering. [Citation Graph (0, 0)][DBLP]
    ICDM, 2001, pp:107-114 [Conf]
  13. Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun
    Segmented channel routing with pin rearrangements via satisfiability. [Citation Graph (0, 0)][DBLP]
    ISCAS (6), 2005, pp:6248-6251 [Conf]
  14. Fei He, Xiaoyu Song, Lerong Cheng, Guowu Yang, Zhiwei Tang, Ming Gu, Jia-Guang Sun
    A Hierachical Method for Wiring and Congestion Prediction. [Citation Graph (0, 0)][DBLP]
    ISVLSI, 2005, pp:307-308 [Conf]
  15. Hongyuan Zha, Xiaofeng He, Chris H. Q. Ding, Ming Gu, Horst D. Simon
    Spectral Relaxation for K-means Clustering. [Citation Graph (0, 0)][DBLP]
    NIPS, 2001, pp:1057-1064 [Conf]
  16. Zhaofeng Ma, Xibin Zhao, Guo Zhi, Ming Gu, Jiaguang Sun
    Secure Anonymous Communication with Conditional Traceability. [Citation Graph (0, 0)][DBLP]
    NPC, 2005, pp:405-408 [Conf]
  17. Hong-Wei Sun, Kwok-Yan Lam, Ming Gu, Jia-Guang Sun
    An Efficient Algorithm for Fingercode-Based Biometric Identification. [Citation Graph (0, 0)][DBLP]
    OTM Workshops (1), 2006, pp:469-478 [Conf]
  18. Ming Gu, Martin Farach, Richard Beigel
    An Efficient Algorithm for Dynamic Text Indexing. [Citation Graph (0, 0)][DBLP]
    SODA, 1994, pp:697-704 [Conf]
  19. Kwok-Yan Lam, Xi-Bin Zhao, Siu Leung Chung, Ming Gu, Jia-Guang Sun
    Enhancing Grid Security Infrastructure to Support Mobile Computing Nodes. [Citation Graph (0, 0)][DBLP]
    WISA, 2003, pp:42-54 [Conf]
  20. Fei He, Ming Gu, Xiaoyu Song, Zhiwei Tang, Guowu Yang, Lerong Cheng
    Probabilistic Estimation for Routing Space. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2005, v:48, n:6, pp:667-676 [Journal]
  21. Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
    Lightweight security for mobile commerce transactions. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2003, v:26, n:18, pp:2052-2060 [Journal]
  22. Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
    Security middleware for enhancing interoperability of Public Key Infrastructure. [Citation Graph (0, 0)][DBLP]
    Computers & Security, 2003, v:22, n:6, pp:535-546 [Journal]
  23. Hongyuan Zha, Xiaofeng He, Chris H. Q. Ding, Ming Gu, Horst D. Simon
    Bipartite graph partitioning and data clustering [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  24. Charles H. Jepsen, Ming Gu
    Dissections of p: q rectangles into 13 p: q rectangular elements. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 2006, v:306, n:8-9, pp:836-842 [Journal]
  25. Ming Gu, Fei He, William N. N. Hung, Xiaoyu Song
    A comparative study on search strategies for cell assignments. [Citation Graph (0, 0)][DBLP]
    Int. J. Comput. Math., 2004, v:81, n:7, pp:901-908 [Journal]
  26. Ming Gu, Guowu Yang, Xiaoyu Song, Jiaguang Sun
    On synthesis of 3 × 3 reversible logic functions. [Citation Graph (0, 0)][DBLP]
    Int. J. Comput. Math., 2005, v:82, n:4, pp:385-390 [Journal]
  27. Ming Gu, Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang
    Congestion estimation for hexagonal routing. [Citation Graph (0, 0)][DBLP]
    Int. J. Comput. Math., 2006, v:83, n:3, pp:263-272 [Journal]
  28. Ming Gu
    Finding Well-Conditioned Similarities to Block-Diagonalize Nonsymmetric Matrices Is NP-Hard. [Citation Graph (0, 0)][DBLP]
    J. Complexity, 1995, v:11, n:3, pp:377-391 [Journal]
  29. Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jia-Guang Sun
    On Theoretical Upper Bounds for Routing Estimation. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:6, pp:916-925 [Journal]
  30. Hongwei Sun, Kwok-Yan Lam, Siu Leung Chung, Wei-Ming Dong, Ming Gu, Jia-Guang Sun
    Efficient vector quantization using genetic algorithm. [Citation Graph (0, 0)][DBLP]
    Neural Computing and Applications, 2005, v:14, n:3, pp:203-211 [Journal]
  31. Geoffrey J. Goodhill, Ming Gu, Jeffrey S. Urbach
    Predicting Axonal Response to Molecular Gradients with a Computational Model of Filopodial Dynamic. [Citation Graph (0, 0)][DBLP]
    Neural Computation, 2004, v:16, n:11, pp:2221-2243 [Journal]
  32. Chun-Hui Mo, Ming Gu, Christof Koch
    A Learning Rule for Local Synaptic Interactions Between Excitation and Shunting Inhibition. [Citation Graph (0, 0)][DBLP]
    Neural Computation, 2004, v:16, n:12, pp:2507-2532 [Journal]
  33. James Demmel, Jack Dongarra, Beresford N. Parlett, William Kahan, Ming Gu, David Bindel, Yozo Hida, Xiaoye S. Li, Osni Marques, E. Jason Riedy, Christof Vömel, Julien Langou, Piotr Luszczek, Jakub Kurzak, Alfredo Buttari, Julie Langou, Stanimire Tomov
    Prospectus for the Next LAPACK and ScaLAPACK Libraries. [Citation Graph (0, 0)][DBLP]
    PARA, 2006, pp:11-23 [Conf]

  34. Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets. [Citation Graph (, )][DBLP]


  35. On Array Theory of Bounded Elements. [Citation Graph (, )][DBLP]


  36. Anonymous user communication for privacy protection in wireless metropolitan mesh networks. [Citation Graph (, )][DBLP]


  37. A Maximum Weight Heuristic Method for Abstract State Computation. [Citation Graph (, )][DBLP]


  38. Formalization and Verification of PLC Timers in Coq. [Citation Graph (, )][DBLP]


  39. Translation-Based Model Checking for PLC Programs. [Citation Graph (, )][DBLP]


  40. Data mining based decomposition for assume-guarantee reasoning. [Citation Graph (, )][DBLP]


  41. An Efficient Method of License Plate Location in Natural-Scene Image. [Citation Graph (, )][DBLP]


  42. Formal Specification and Code Generation of Programable Logic Controllers. [Citation Graph (, )][DBLP]


  43. Advanced Motion Search and Adaptation Techniques for Deinterlacing. [Citation Graph (, )][DBLP]


  44. Biomapping: Privacy trustworthy biometrics using noninvertible and discriminable constructions. [Citation Graph (, )][DBLP]


  45. Enhanced Location Privacy Protection of Base Station in Wireless Sensor Networks. [Citation Graph (, )][DBLP]


  46. Predicting Defective Software Components from Code Complexity Measures. [Citation Graph (, )][DBLP]


  47. Evaluating Importance of Websites on News Topics. [Citation Graph (, )][DBLP]


  48. Effective Predicate Abstraction for Program Verification. [Citation Graph (, )][DBLP]


  49. Specifying and Verifying PLC Systems with TLA+. [Citation Graph (, )][DBLP]


  50. Sparse Decoding of Low Density Parity Check Codes Using Margin Propagation. [Citation Graph (, )][DBLP]


  51. Reusable Set Constructions Using Randomized Dissolvent Templates for Biometric Security. [Citation Graph (, )][DBLP]


  52. Verifying programmable logic controllers with abstraction. [Citation Graph (, )][DBLP]


  53. Modeling and analysis of stage machinery control systems by timed colored Petri nets. [Citation Graph (, )][DBLP]


  54. Towards Energy-Efficient Secure Communications Using Biometric Key Distribution in Wireless Biomedical Healthcare Networks. [Citation Graph (, )][DBLP]


  55. Heuristic-Guided Abstraction Refinement. [Citation Graph (, )][DBLP]


Search in 0.116secs, Finished in 0.120secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002