The SCEAS System
| |||||||

## 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**[Citation Graph (0, 0)][DBLP]*p*:*q*rectangles into 13*p*:*q*rectangular elements. 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 | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |