| * | 2009 |
|---|
| 51 | EE | Zhiguo Wan,
Kui Ren,
Bo Zhu,
Bart Preneel,
Ming Gu:
Anonymous user communication for privacy protection in wireless metropolitan mesh networks.
ASIACCS 2009: 368-371 |
| 50 | EE | Rui Wang,
Ming Gu,
Xiaoyu Song,
Hai Wan:
Formal Specification and Code Generation of Programable Logic Controllers.
ICECCS 2009: 102-109 |
| 49 | EE | Hehua Zhang,
Stephan Merz,
Ming Gu:
Specifying and Verifying PLC Systems with TLA+.
TASE 2009: 293-294 |
| 48 | EE | Fei He,
Xiaoyu Song,
Ming Gu,
Jia-Guang Sun:
Heuristic-Guided Abstraction Refinement.
Comput. J. 52(3): 280-287 (2009) |
| 47 | EE | Bangyu Wu,
Chi-Hung Chi,
Zhe Chen,
Ming Gu,
Jiaguang Sun:
Workflow-based resource allocation to optimize overall performance of composite services.
Future Generation Comp. Syst. 25(3): 199-212 (2009) |
| 46 | EE | Zhiguo Wan,
Robert H. Deng,
Feng Bao,
Bart Preneel,
Ming Gu:
n PAKE+: A Tree-Based Group Password-Authenticated Key Exchange Protocol Using Different Passwords.
J. Comput. Sci. Technol. 24(1): 138-151 (2009) |
| 45 | EE | Bangyu Wu,
Chi-Hung Chi,
Shijie Xu,
Ming Gu,
Jia-Guang Sun:
QoS Requirement Generation and Algorithm Selection for Composite Service Based on Reference Vector.
J. Comput. Sci. Technol. 24(2): 357-372 (2009) |
| 2008 |
|---|
| 44 | EE | Hehua Zhang,
Ming Gu,
Xiaoyu Song:
Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets.
Annual Simulation Symposium 2008: 279-285 |
| 43 | EE | Li Li,
Xiaoyu Song,
Ming Gu,
Jianmin Wang:
A Maximum Weight Heuristic Method for Abstract State Computation.
COMPSAC 2008: 231-234 |
| 42 | EE | Haiqi Huang,
Ming Gu,
Hongyang Chao:
An Efficient Method of License Plate Location in Natural-Scene Image.
FSKD (4) 2008: 15-19 |
| 41 | EE | Jinyang Shi,
Zhiyang You,
Ming Gu,
Kwok-Yan Lam:
Biomapping: Privacy trustworthy biometrics using noninvertible and discriminable constructions.
ICPR 2008: 1-4 |
| 40 | EE | Hehua Zhang,
Ming Gu,
Xiaoyu Song:
Modeling and analysis of stage machinery control systems by timed colored Petri nets.
SIES 2008: 103-110 |
| 39 | EE | Rui Wang,
Ming Gu,
Xiaoyu Song,
Hehua Zhang:
Verifying programmable logic controllers with abstraction.
SIES 2008: 225-228 |
| 38 | EE | Li Li,
Ming Gu,
Xiaoyu Song,
Jianmin Wang:
Effective Predicate Abstraction for Program Verification.
TASE 2008: 129-132 |
| 37 | EE | Jiawang Nie,
James Demmel,
Ming Gu:
Global minimization of rational functions and the nearest GCDs.
J. Global Optimization 40(4): 697-718 (2008) |
| 2007 |
|---|
| 36 | EE | Fei He,
Xiaoyu Song,
Ming Gu,
Jiaguang Sun:
Effective heuristics for counterexample-guided abstraction refinement.
ACM Great Lakes Symposium on VLSI 2007: 393-398 |
| 35 | EE | Hongyu Zhang,
Xiuzhen Zhang,
Ming Gu:
Predicting Defective Software Components from Code Complexity Measures.
PRDC 2007: 93-96 |
| 2006 |
|---|
| 34 | EE | Fei He,
Xiaoyu Song,
Ming Gu,
Jia-Guang Sun:
A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.
ATVA 2006: 39-50 |
| 33 | EE | Anduo Wang,
Fei He,
Ming Gu,
Xiaoyu Song:
Verifying Java Programs By Theorem Prover HOL.
COMPSAC (1) 2006: 139-142 |
| 32 | EE | Xibin Zhao,
Kwok-Yan Lam,
Guimin Luo,
Siu Leung Chung,
Ming Gu:
Minimal Threshold Closure.
ESORICS 2006: 145-155 |
| 31 | EE | Hong-Wei Sun,
Kwok-Yan Lam,
Ming Gu,
Jia-Guang Sun:
An Efficient Algorithm for Fingercode-Based Biometric Identification.
OTM Workshops (1) 2006: 469-478 |
| 30 | EE | 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.
PARA 2006: 11-23 |
| 29 | EE | Charles H. Jepsen,
Ming Gu:
Dissections of p: q rectangles into 13 p: q rectangular elements.
Discrete Mathematics 306(8-9): 836-842 (2006) |
| 28 | EE | Ming Gu,
Fei He,
Lerong Cheng,
Xiaoyu Song,
Guowu Yang:
Congestion estimation for hexagonal routing.
Int. J. Comput. Math. 83(3): 263-272 (2006) |
| 2005 |
|---|
| 27 | EE | Zhiyun Xin,
Jizhong Zhao,
Ming Gu,
Jiaguang Sun:
Integrating Collaborate and Content-Based Filtering for Personalized Information Recommendation.
CIS (1) 2005: 476-482 |
| 26 | EE | 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.
ICCNMC 2005: 817-825 |
| 25 | EE | Kefei Ouyang,
Guobin Shen,
Shipeng Li,
Ming Gu:
Advanced Motion Search and Adaptation Techniques for Deinterlacing.
ICME 2005: 374-377 |
| 24 | EE | Fei He,
William N. N. Hung,
Xiaoyu Song,
Ming Gu,
Jiaguang Sun:
Segmented channel routing with pin rearrangements via satisfiability.
ISCAS (6) 2005: 6248-6251 |
| 23 | EE | Fei He,
Xiaoyu Song,
Lerong Cheng,
Guowu Yang,
Zhiwei Tang,
Ming Gu,
Jia-Guang Sun:
A Hierachical Method for Wiring and Congestion Prediction.
ISVLSI 2005: 307-308 |
| 22 | EE | Zhaofeng Ma,
Xibin Zhao,
Zhi Guo,
Ming Gu,
Jiaguang Sun:
Secure Anonymous Communication with Conditional Traceability.
NPC 2005: 405-408 |
| 21 | EE | Fei He,
Ming Gu,
Xiaoyu Song,
Zhiwei Tang,
Guowu Yang,
Lerong Cheng:
Probabilistic Estimation for Routing Space.
Comput. J. 48(6): 667-676 (2005) |
| 20 | EE | Ming Gu,
Guowu Yang,
Xiaoyu Song,
Jiaguang Sun:
On synthesis of 3 × 3 reversible logic functions.
Int. J. Comput. Math. 82(4): 385-390 (2005) |
| 19 | EE | Fei He,
Lerong Cheng,
Guowu Yang,
Xiaoyu Song,
Ming Gu,
Jia-Guang Sun:
On Theoretical Upper Bounds for Routing Estimation.
J. UCS 11(6): 916-925 (2005) |
| 18 | EE | Hongwei Sun,
Kwok-Yan Lam,
Siu Leung Chung,
Wei-Ming Dong,
Ming Gu,
Jia-Guang Sun:
Efficient vector quantization using genetic algorithm.
Neural Computing and Applications 14(3): 203-211 (2005) |
| 2004 |
|---|
| 17 | EE | Xibin Zhao,
Kwok-Yan Lam,
Siu Leung Chung,
Ming Gu,
Jia-Guang Sun:
Authorization Mechanisms for Virtual Organizations in Distributed Computing Systems.
ACISP 2004: 414-426 |
| 16 | EE | 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.
AWCC 2004: 182-193 |
| 15 | EE | Hong-Wei Sun,
Kwok-Yan Lam,
Siu Leung Chung,
Ming Gu,
Jia-Guang Sun:
Anomaly Detection in Grid Computing Based on Vector Quantization.
GCC 2004: 883-886 |
| 14 | EE | Ming Gu,
Fei He,
William N. N. Hung,
Xiaoyu Song:
A comparative study on search strategies for cell assignments.
Int. J. Comput. Math. 81(7): 901-908 (2004) |
| 13 | EE | Geoffrey J. Goodhill,
Ming Gu,
Jeffrey S. Urbach:
Predicting Axonal Response to Molecular Gradients with a Computational Model of Filopodial Dynamic.
Neural Computation 16(11): 2221-2243 (2004) |
| 12 | EE | Chun-Hui Mo,
Ming Gu,
Christof Koch:
A Learning Rule for Local Synaptic Interactions Between Excitation and Shunting Inhibition.
Neural Computation 16(12): 2507-2532 (2004) |
| 2003 |
|---|
| 11 | EE | 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.
ACNS 2003: 63-75 |
| 10 | EE | Kwok-Yan Lam,
Xibin Zhao,
Siu Leung Chung,
Ming Gu,
Jia-Guang Sun:
Enhancing Grid Security Infrastructure to Support Mobile Computing Nodes.
WISA 2003: 42-54 |
| 9 | EE | Kwok-Yan Lam,
Siu Leung Chung,
Ming Gu,
Jia-Guang Sun:
Lightweight security for mobile commerce transactions.
Computer Communications 26(18): 2052-2060 (2003) |
| 8 | EE | Kwok-Yan Lam,
Siu Leung Chung,
Ming Gu,
Jia-Guang Sun:
Security middleware for enhancing interoperability of Public Key Infrastructure.
Computers & Security 22(6): 535-546 (2003) |
| 2001 |
|---|
| 7 | | Hongyuan Zha,
Xiaofeng He,
Chris H. Q. Ding,
Ming Gu,
Horst D. Simon:
Bipartite Graph Partitioning and Data Clustering.
CIKM 2001: 25-32 |
| 6 | EE | Chris H. Q. Ding,
Xiaofeng He,
Hongyuan Zha,
Ming Gu,
Horst D. Simon:
A Min-max Cut Algorithm for Graph Partitioning and Data Clustering.
ICDM 2001: 107-114 |
| 5 | EE | Hongyuan Zha,
Xiaofeng He,
Chris H. Q. Ding,
Ming Gu,
Horst D. Simon:
Spectral Relaxation for K-means Clustering.
NIPS 2001: 1057-1064 |
| 4 | EE | Hongyuan Zha,
Xiaofeng He,
Chris H. Q. Ding,
Ming Gu,
Horst D. Simon:
Bipartite graph partitioning and data clustering
CoRR cs.IR/0108018: (2001) |
| 1995 |
|---|
| 3 | EE | Zhaojun Bai,
David Day,
James Demmel,
Jack Dongarra,
Ming Gu,
Axel Ruhe,
Henk A. van der Vorst:
Templates for Linear Algebra Problems.
Computer Science Today 1995: 115-140 |
| 2 | EE | Ming Gu:
Finding Well-Conditioned Similarities to Block-Diagonalize Nonsymmetric Matrices Is NP-Hard.
J. Complexity 11(3): 377-391 (1995) |
| 1994 |
|---|
| 1 | | Ming Gu,
Martin Farach,
Richard Beigel:
An Efficient Algorithm for Dynamic Text Indexing.
SODA 1994: 697-704 |
