Search the dblp DataBase
Ming Gu :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Ming Gu , Martin Farach , Richard Beigel An Efficient Algorithm for Dynamic Text Indexing. [Citation Graph (0, 0)][DBLP ] SODA, 1994, pp:697-704 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets. [Citation Graph (, )][DBLP ] On Array Theory of Bounded Elements. [Citation Graph (, )][DBLP ] Anonymous user communication for privacy protection in wireless metropolitan mesh networks. [Citation Graph (, )][DBLP ] A Maximum Weight Heuristic Method for Abstract State Computation. [Citation Graph (, )][DBLP ] Formalization and Verification of PLC Timers in Coq. [Citation Graph (, )][DBLP ] Translation-Based Model Checking for PLC Programs. [Citation Graph (, )][DBLP ] Data mining based decomposition for assume-guarantee reasoning. [Citation Graph (, )][DBLP ] An Efficient Method of License Plate Location in Natural-Scene Image. [Citation Graph (, )][DBLP ] Formal Specification and Code Generation of Programable Logic Controllers. [Citation Graph (, )][DBLP ] Advanced Motion Search and Adaptation Techniques for Deinterlacing. [Citation Graph (, )][DBLP ] Biomapping: Privacy trustworthy biometrics using noninvertible and discriminable constructions. [Citation Graph (, )][DBLP ] Enhanced Location Privacy Protection of Base Station in Wireless Sensor Networks. [Citation Graph (, )][DBLP ] Predicting Defective Software Components from Code Complexity Measures. [Citation Graph (, )][DBLP ] Evaluating Importance of Websites on News Topics. [Citation Graph (, )][DBLP ] Effective Predicate Abstraction for Program Verification. [Citation Graph (, )][DBLP ] Specifying and Verifying PLC Systems with TLA+. [Citation Graph (, )][DBLP ] Sparse Decoding of Low Density Parity Check Codes Using Margin Propagation. [Citation Graph (, )][DBLP ] Reusable Set Constructions Using Randomized Dissolvent Templates for Biometric Security. [Citation Graph (, )][DBLP ] Verifying programmable logic controllers with abstraction. [Citation Graph (, )][DBLP ] Modeling and analysis of stage machinery control systems by timed colored Petri nets. [Citation Graph (, )][DBLP ] Towards Energy-Efficient Secure Communications Using Biometric Key Distribution in Wireless Biomedical Healthcare Networks. [Citation Graph (, )][DBLP ] Heuristic-Guided Abstraction Refinement. [Citation Graph (, )][DBLP ] Search in 0.116secs, Finished in 0.120secs