dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Ming Gu Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu: Maxterm Covering for Satisfiability. IEEE Trans. Computers 61(3): 420-426 (2012)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Gu, Shantanu Chakrabartty: Synthesis of Bias-Scalable CMOS Analog Computational Circuits Using Margin Propagation. IEEE Trans. on Circuits and Systems 59-I(2): 243-254 (2012)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiguo Wan, Kui Ren, Ming Gu: USOR: An Unobservable Secure On-Demand Routing Protocol for Mobile Ad Hoc Networks. IEEE Transactions on Wireless Communications 11(5): 1922-1932 (2012)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLitian Xiao, Rui Wang, Ming Gu, Jiaguang Sun: Semantic characterization of programmable logic controller programs. Mathematical and Computer Modelling 55(5-6): 1819-1824 (2012)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHehua Zhang, Yu Jiang, William N. N. Hung, Guowu Yang, Ming Gu, Jiaguang Sun: New strategies for reliability analysis of Programmable Logic Controllers. Mathematical and Computer Modelling 55(7-8): 1916-1931 (2012)
2011
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Gu: Design and Realizing of Face Recognition Algorithm. CSISE (2) 2011: 263-268
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Gong, Kebin Liu, Yunhao Liu, Xibin Zhao, Ming Gu: Directional diagnosis for wireless sensor networks. DCOSS 2011: 1-8
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXuan Ding, Lan Zhang, Zhiguo Wan, Ming Gu: De-Anonymizing Dynamic Social Networks. GLOBECOM 2011: 1-6
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu: Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. ICFEM 2011: 115-130
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Gu, Shantanu Chakrabartty: An adaptive analog low-density parity-check decoder based on margin propagation. ISCAS 2011: 1315-1318
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun-e Liu, Zhiguo Wan, Ming Gu: Hierarchical Attribute-Set Based Encryption for Scalable, Flexible and Fine-Grained Access Control in Cloud Computing. ISPEC 2011: 98-107
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun: Proving Computational Geometry Algorithms in TLA+2. TASE 2011: 251-254
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMin Zhou, Fei He, Ming Gu: An Efficient Resolution Based Algorithm for SAT. TASE 2011: 60-67
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXuFei Mao, ShaoJie Tang, Xiang-Yang Li, Ming Gu: MENs: Multi-user Emergency Navigation System Using. Ad Hoc & Sensor Wireless Networks 12(1-2): 23-53 (2011)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRui Wang, Xiaoyu Song, Jianzhong Zhu, Ming Gu: Formal modeling and synthesis of programmable logic controllers. Computers in Industry 62(1): 23-31 (2011)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai Wan, Gang Chen, Xiaoyu Song, Ming Gu: Formalisation and verification of programmable logic controllers timers in Coq. IET Software 5(1): 32-42 (2011)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJinyang Shi, Kwok-Yan Lam, Ming Gu, Mingze Li, Siu Leung Chung: Energy-Efficient Key Distribution Using Electrocardiograph Biometric Set for Secure Communications in Wireless Body Healthcare Networks. J. Medical Systems 35(5): 745-753 (2011)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Gu, Shantanu Chakrabartty: A 100 pJ/bit, (32, 8) CMOS Analog Low-Density Parity-Check Decoder Based on Margin Propagation. J. Solid-State Circuits 46(6): 1433-1442 (2011)
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiyang You, Xibin Zhao, Hai Wan, William N. N. Hung, Yuke Wang, Ming Gu: A novel fault diagnosis mechanism for wireless sensor networks. Mathematical and Computer Modelling 54(1-2): 330-343 (2011)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi Li, Xiaoyu Song, Ming Gu, Xiangyu Luo: Competent predicate abstraction in model checking. SCIENCE CHINA Information Sciences 54(2): 258-267 (2011)
2010
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXuan Ding, Lan Zhang, Zhiguo Wan, Ming Gu: A Brief Survey on De-anonymization Attacks in Online Social Networks. CASoN 2010: 611-615
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMin Zhou, Fei He, Bow-Yaw Wang, Ming Gu: On Array Theory of Bounded Elements. CAV 2010: 570-584
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHehua Zhang, Ming Gu, Xiaoyu Song: Specifying Time-Sensitive Systems with TLA+. COMPSAC 2010: 425-430
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiu Yang, Chunping Li, Ming Gu: A Domain-related Authority Model for Web Pages based on Source and Related Information. ICSOFT (1) 2010: 245-253
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Gu, Yang Liu, Shantanu Chakrabartty: FAST: A simulation framework for solving large-scale probabilistic inverse problems in nano-biomolecular circuits. ISCAS 2010: 3160-3163
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShaoJie Tang, Jing Yuan, Xiang-Yang Li, Yunhao Liu, Guihai Chen, Ming Gu, Jizhong Zhao, Guojun Dai: DAWN: Energy efficient data aggregation in WSN with mobile sinks. IWQoS 2010: 1-9
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang: Symbolic Model Checking the Knowledge in Herbivore Protocol. MoChArt 2010: 112-129
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYajie Miao, Chunping Li, Liu Yang, Lili Zhao, Ming Gu: Evaluating Importance of Websites on News Topics. PRICAI 2010: 182-193
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai Wan, Xiaoyu Song, Gang Chen, Ming Gu: A Refinement-Based Validation Method for Programmable Logic Controllers. QSIC 2010: 361-364
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin Zhang, Wenzhu Zhang, Xinyu Mao, Jiantao Jiao, Shijie Zheng, Linglong Li, Yujie Liu, Teng Wang, Ming Gu: NOMAD: networked-observation and mobile-agent-based scene abstraction and determination. SenSys 2010: 415-416
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu: Compositional Abstraction Refinement for Timed Systems. TASE 2010: 168-176
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai Wan, Xiaoyu Song, Ming Gu: Parameterized Specification and Verification of PLC Systems in Coq. TASE 2010: 179-182
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHehua Zhang, Stephan Merz, Ming Gu: Specifying and verifying PLC systems with TLA+ : A case study. Computers & Mathematics with Applications 60(3): 695-705 (2010)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYunhao Liu, Guomo Zhou, Jizhong Zhao, Guojun Dai, Xiang-Yang Li, Ming Gu, Huadong Ma, Lufeng Mo, Yuan He, Jiliang Wang: Long-term large-scale sensing in the forest: recent advances and future directions of GreenOrbs. Frontiers of Computer Science in China 4(3): 334-338 (2010)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun: Integrating Evolutionary Computation with Abstraction Refinement for Model Checking. IEEE Trans. Computers 59(1): 116-126 (2010)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Liu, Qingping Tan, Gang Chen, Xiaoyu Song, Otmane Aït Mohamed, Ming Gu: Field programmable gate array prototyping of end-around carry parallel prefix tree architectures. IET Computers & Digital Techniques 4(4): 306-316 (2010)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Gong, Zhiyang You, Danning Chen, Xibin Zhao, Ming Gu, Kwok-Yan Lam: Trust Based Routing for Misbehavior Detection in Ad Hoc Networks. JNW 5(5): 551-558 (2010)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJinyang Shi, Kwok-Yan Lam, Ming Gu, Husheng Li: BodySec: synchronized key distribution using biometric slots for wireless body sensor networks. Mobile Computing and Communications Review 14(1): 22-24 (2010)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Gu, Xiaoye S. Li, Panayot S. Vassilevski: Direction-Preserving and Schur-Monotonic Semiseparable Approximations of Symmetric Positive Definite Matrices. SIAM J. Matrix Analysis Applications 31(5): 2650-2664 (2010)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianlin Xia, Ming Gu: Robust Approximate Cholesky Factorization of Rank-Structured Symmetric Positive Definite Matrices. SIAM J. Matrix Analysis Applications 31(5): 2899-2920 (2010)
2009
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiguo Wan, Kui Ren, Bo Zhu, Bart Preneel, Ming Gu: Anonymous user communication for privacy protection in wireless metropolitan mesh networks. ASIACCS 2009: 368-371
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJinyang Shi, Kwok-Yan Lam, Ming Gu, Mingze Li, Siu Leung Chung: Towards Energy-Efficient Secure Communications Using Biometric Key Distribution in Wireless Biomedical Healthcare Networks. BMEI 2009: 1-5
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeng Yu, Zheng Gong, Ming Gu, Yin Shi, Foster F. Dai: A 430MHz-2.15GHz fractional-N frequency synthesizer for DVB and ABS-S applications. CICC 2009: 247-250
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai Wan, Gang Chen, Xiaoyu Song, Ming Gu: Formalization and Verification of PLC Timers in Coq. COMPSAC (1) 2009: 315-323
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMin Zhou, Fei He, Ming Gu, Xiaoyu Song: Translation-Based Model Checking for PLC Programs. COMPSAC (1) 2009: 553-562
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiu Yang, Chunping Li, Ming Gu: Extracting Content from Web Pages Using the Sliding Window. CSA 2009: 1-6
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHe Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu: Data mining based decomposition for assume-guarantee reasoning. FMCAD 2009: 116-119
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJinyang Shi, Kwok-Yan Lam, Ming Gu, Husheng Li: Reusable Set Constructions Using Randomized Dissolvent Templates for Biometric Security. GLOBECOM 2009: 1-6
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Gu, Kiran Misra, Hayder Radha, Shantanu Chakrabartty: Sparse Decoding of Low Density Parity Check Codes Using Margin Propagation. GLOBECOM 2009: 1-6
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRui Wang, Ming Gu, Xiaoyu Song, Hai Wan: Formal Specification and Code Generation of Programable Logic Controllers. ICECCS 2009: 102-109
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu-fei Xia, Song-sheng Deng, Ming Gu, Guang-wei Jiao, Fu-lun Zhang, Sheng-peng Huang: Field Simulation of Liquid-Liquid Hydrocyclone Based on Large Eddy Theory. ICFIE 2009: 901-906
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinfeng Li, Xiaoyuan Wang, Nan Zheng, Zhiguo Wan, Ming Gu: Enhanced Location Privacy Protection of Base Station in Wireless Sensor Networks. MSN 2009: 457-464
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaoyuan Wang, Xinfeng Li, Zhiguo Wan, Ming Gu: CLEAR: A confidential and Lifetime-Aware Routing Protocol for wireless sensor network. PIMRC 2009: 2265-2269
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHehua Zhang, Stephan Merz, Ming Gu: Specifying and Verifying PLC Systems with TLA+. TASE 2009: 293-294
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun: Heuristic-Guided Abstraction Refinement. Comput. J. 52(3): 280-287 (2009)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBangyu 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)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaining Fan, Ming Gu, Jiaguang Sun, Kwok-Yan Lam: Obtaining More Karatsuba-Like Formulae over The Binary Field. IACR Cryptology ePrint Archive 2009: 636 (2009)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiguo 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)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBangyu 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)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHehua Zhang, Ming Gu: Modeling job shop scheduling with batches and setup times by timed Petri nets. Mathematical and Computer Modelling 49(1-2): 286-294 (2009)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianlin Xia, Shivkumar Chandrasekaran, Ming Gu, Xiaoye S. Li: Superfast Multifrontal Method for Large Structured Linear Systems of Equations. SIAM J. Matrix Analysis Applications 31(3): 1382-1411 (2009)
2008
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHehua Zhang, Ming Gu, Xiaoyu Song: Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets. Annual Simulation Symposium 2008: 279-285
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi Li, Xiaoyu Song, Ming Gu, Jianmin Wang: A Maximum Weight Heuristic Method for Abstract State Computation. COMPSAC 2008: 231-234
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaiqi Huang, Ming Gu, Hongyang Chao: An Efficient Method of License Plate Location in Natural-Scene Image. FSKD (4) 2008: 15-19
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJinyang Shi, Zhiyang You, Ming Gu, Kwok-Yan Lam: Biomapping: Privacy trustworthy biometrics using noninvertible and discriminable constructions. ICPR 2008: 1-4
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHehua Zhang, Ming Gu, Xiaoyu Song: Modeling and analysis of stage machinery control systems by timed colored Petri nets. SIES 2008: 103-110
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRui Wang, Ming Gu, Xiaoyu Song, Hehua Zhang: Verifying programmable logic controllers with abstraction. SIES 2008: 225-228
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi Li, Ming Gu, Xiaoyu Song, Jianmin Wang: Effective Predicate Abstraction for Program Verification. TASE 2008: 129-132
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJiawang Nie, James Demmel, Ming Gu: Global minimization of rational functions and the nearest GCDs. J. Global Optimization 40(4): 697-718 (2008)
2007
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFei He, Xiaoyu Song, Ming Gu, Jiaguang Sun: Effective heuristics for counterexample-guided abstraction refinement. ACM Great Lakes Symposium on VLSI 2007: 393-398
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongyu Zhang, Xiuzhen Zhang, Ming Gu: Predicting Defective Software Components from Code Complexity Measures. PRDC 2007: 93-96
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhi-wen Zhu, Ming Gu, Zheng-qing Chen: Wind Tunnel and CFD Study on Identification of Flutter Derivatives of a Long-Span Self-Anchored Suspension Bridge. Comp.-Aided Civil and Infrastruct. Engineering 22(8): 541-554 (2007)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaining Fan, Jiaguang Sun, Ming Gu, Kwok-Yan Lam: Overlap-free Karatsuba-Ofman Polynomial Multiplication Algorithms. IACR Cryptology ePrint Archive 2007: 393 (2007)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRui Wang, Xiaoyu Song, Ming Gu: Modelling and verification of program logic controllers using timed automata. IET Software 1(4): 127-131 (2007)
2006
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun: A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. ATVA 2006: 39-50
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnduo Wang, Fei He, Ming Gu, Xiaoyu Song: Verifying Java Programs By Theorem Prover HOL. COMPSAC (1) 2006: 139-142
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXibin Zhao, Kwok-Yan Lam, Guimin Luo, Siu Leung Chung, Ming Gu: Minimal Threshold Closure. ESORICS 2006: 145-155
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHong-Wei Sun, Kwok-Yan Lam, Ming Gu, Jia-Guang Sun: An Efficient Algorithm for Fingercode-Based Biometric Identification. OTM Workshops (1) 2006: 469-478
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFei He, Xiaoyu Song, Ming Gu, Lerong Cheng, Guowu Yang, Zhiwei Tang, Jiaguang Sun: A combinatorial congestion estimation approach with generalized detours. Computers & Mathematics with Applications 51(6-7): 1113-1126 (2006)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles H. Jepsen, Ming Gu: Dissections of p: q rectangles into 13 p: q rectangular elements. Discrete Mathematics 306(8-9): 836-842 (2006)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Gu, Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang: Congestion estimation for hexagonal routing. Int. J. Comput. Math. 83(3): 263-272 (2006)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Gu, Michael L. Overton: An Algorithm to Compute Sepλ. SIAM J. Matrix Analysis Applications 28(2): 348-359 (2006)
2005
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiyun Xin, Jizhong Zhao, Ming Gu, Jiaguang Sun: Integrating Collaborate and Content-Based Filtering for Personalized Information Recommendation. CIS (1) 2005: 476-482
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHong-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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKefei Ouyang, Guobin Shen, Shipeng Li, Ming Gu: Advanced Motion Search and Adaptation Techniques for Deinterlacing. ICME 2005: 374-377
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun: Segmented channel routing with pin rearrangements via satisfiability. ISCAS (6) 2005: 6248-6251
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFei 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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhaofeng Ma, Xibin Zhao, Zhi Guo, Ming Gu, Jiaguang Sun: Secure Anonymous Communication with Conditional Traceability. NPC 2005: 405-408
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFei He, Ming Gu, Xiaoyu Song, Zhiwei Tang, Guowu Yang, Lerong Cheng: Probabilistic Estimation for Routing Space. Comput. J. 48(6): 667-676 (2005)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Gu, Guowu Yang, Xiaoyu Song, Jiaguang Sun: On synthesis of 3 × 3 reversible logic functions. Int. J. Comput. Math. 82(4): 385-390 (2005)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFei 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)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Gu, Fei He, Xiaoyu Song, Jiaguang Sun: Multiterminal net assignments by scatter search. Mathematical and Computer Modelling 41(8-9): 997-1004 (2005)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongwei 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXibin 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJian-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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHong-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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing 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)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFei He, Ming Gu, Jiaguang Sun, Xiaoyu Song: A stochastic model for cellassignments in PCS networks. Mathematical and Computer Modelling 40(7-8): 745-755 (2004)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeoffrey 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)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChun-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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhi 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKwok-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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun: Lightweight security for mobile commerce transactions. Computer Communications 26(18): 2052-2060 (2003)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKwok-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)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Gu, Robert Guzzo, Xue-bin Chi, Xing-Qin Cao: A Stable Divide and Conquer Algorithm for the Unitary Eigenproblem. SIAM J. Matrix Analysis Applications 25(2): 385-404 (2003)
2001
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongyuan Zha, Xiaofeng He, Chris H. Q. Ding, Ming Gu, Horst D. Simon: Bipartite Graph Partitioning and Data Clustering. CIKM 2001: 25-32
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongyuan Zha, Xiaofeng He, Chris H. Q. Ding, Ming Gu, Horst D. Simon: Spectral Relaxation for K-means Clustering. NIPS 2001: 1057-1064
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongyuan Zha, Xiaofeng He, Chris H. Q. Ding, Ming Gu, Horst D. Simon: Bipartite graph partitioning and data clustering CoRR cs.IR/0108018: (2001)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Gu, Lang Tong: Domains of attraction of Shalvi-Weinstein receivers. IEEE Transactions on Signal Processing 49(7): 1397-1408 (2001)
2000
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Gu: Primal-Dual Interior-Point Methods for Semidefinite Programming in Finite Precision. SIAM Journal on Optimization 10(2): 462-502 (2000)
1995
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhaojun 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Gu: Finding Well-Conditioned Similarities to Block-Diagonalize Nonsymmetric Matrices Is NP-Hard. J. Complexity 11(3): 377-391 (1995)
1994
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Gu, Martin Farach, Richard Beigel: An Efficient Algorithm for Dynamic Text Indexing. SODA 1994: 697-704

Coauthor Index

1Zhaojun Bai [3]
2Feng Bao [58]
3Richard Beigel [1]
4David Bindel [37]
5Alfredo Buttari [37]
6Xing-Qin Cao [10]
7Shantanu Chakrabartty [67] [91] [98] [106] [114]
8Shivkumar Chandrasekaran [55]
9Hongyang Chao [52]
10Danning Chen [79]
11Gang Chen [72] [80] [87] [100]
12Guihai Chen [90]
13Zhe Chen [60]
14Zheng-qing Chen [44]
15Lerong Cheng [24] [26] [28] [34] [36]
16Chi-Hung Chi [57] [60]
17Xue-bin Chi [10]
18Siu Leung Chung [11] [12] [13] [14] [19] [20] [21] [22] [31] [39] [74] [99]
19Foster F. Dai (Fa Foster Dai) [73]
20Guojun Dai [82] [90]
21David Day [3]
22James Demmel [3] [37] [47]
23Robert H. Deng (Robert Huijie Deng) [58]
24Song-sheng Deng [65]
25Chris H. Q. Ding (Hong Q. Ding) [6] [7] [8] [9]
26Xuan Ding [95] [108]
27Wei-Ming Dong [22]
28Jack Dongarra (Jack J. Dongarra) [3] [37]
29Haining Fan [43] [59]
30Martin Farach-Colton (Martin Farach) [1]
31Wei Gong [79] [109]
32Zheng Gong [73]
33Geoffrey J. Goodhill [16]
34Zhi Guo [14] [27]
35Robert Guzzo [10]
36Fei He [17] [18] [23] [24] [26] [28] [29] [34] [36] [40] [41] [46] [61] [69] [71] [81] [85] [94] [103] [115]
37Xiaofeng He [6] [7] [8] [9]
38Yuan He [82]
39Yozo Hida [37]
40Haiqi Huang [52]
41Sheng-peng Huang [65]
42William N. N. Hung [18] [29] [69] [81] [85] [97] [107] [111] [115]
43Charles H. Jepsen [35]
44Yu Jiang [107] [111]
45Guang-wei Jiao [65]
46Jiantao Jiao [86]
47William Kahan [37]
48Christof Koch [15]
49Hui Kong [104]
50Jakub Kurzak [37]
51Kwok-Yan Lam [11] [12] [13] [14] [19] [20] [21] [22] [31] [38] [39] [43] [51] [59] [68] [74] [78] [79] [99]
52Julie Langou [37]
53Julien Langou [37]
54Chunping Li [70] [88] [92]
55Husheng Li [68] [78]
56Li Li [48] [53] [96]
57Linglong Li [86]
58Mingze Li [74] [99]
59Shipeng Li [30]
60Xiang-Yang Li [82] [90] [102]
61Xiaoye S. Li (Xiaoye Sherry Li) [37] [55] [77]
62Xinfeng Li [63] [64]
63Feng Liu [80]
64Jun-e Liu [105]
65Kebin Liu [109]
66Yang Liu [91]
67Yujie Liu [86]
68Yunhao Liu [82] [90] [109]
69Guimin Luo [39]
70Xiangyu Luo [89] [96]
71Piotr Luszczek [37]
72Huadong Ma [82]
73Zhaofeng Ma [27]
74Xinyu Mao [86]
75XuFei Mao [102]
76Osni Marques [37]
77Stephan Merz [62] [83]
78Yajie Miao [88]
79Kiran Misra [67]
80Chun-Hui Mo [15]
81Lufeng Mo [82]
82Otmane Aït Mohamed [80]
83Jiawang Nie [47]
84Kefei Ouyang [30]
85Michael L. Overton [33]
86Beresford N. Parlett [37]
87Bart Preneel [58] [75]
88Hayder Radha [67]
89Kui Ren [75] [113]
90E. Jason Riedy [37]
91Axel Ruhe [3]
92Guobin Shen (Jacky Shen) [30]
93Jinyang Shi [51] [68] [74] [78] [99]
94Yin Shi [73]
95Horst D. Simon [6] [7] [8] [9]
96Xiaoyu Song [17] [18] [23] [24] [25] [26] [28] [29] [34] [36] [40] [41] [42] [46] [48] [49] [50] [53] [54] [61] [66] [69] [71] [72] [80] [81] [84] [85] [87] [93] [96] [100] [101] [104] [107] [115]
97Kaile Su [89]
98Hong-Wei Sun [19] [31] [38]
99Hongwei Sun [22]
100Jia-Guang Sun (Jiaguang Sun) [11] [12] [13] [14] [17] [19] [20] [21] [22] [23] [24] [25] [27] [28] [29] [31] [32] [36] [38] [41] [43] [46] [57] [59] [60] [61] [81] [104] [111] [112]
101QingPing Tan (Qingping Tan) [80]
102ShaoJie Tang [90] [102]
103Zhiwei Tang [26] [28] [36]
104Stanimire Tomov [37]
105Lang Tong [5]
106Jeffrey S. Urbach [16]
107Panayot S. Vassilevski [77]
108Christof Vömel [37]
109Henk A. van der Vorst [3]
110Hai Wan [66] [72] [84] [87] [97] [100]
111Zhiguo Wan [58] [63] [64] [75] [95] [105] [108] [113]
112Anduo Wang [40]
113Bow-Yaw Wang [94]
114Jiliang Wang [82]
115Rui Wang [42] [49] [66] [101] [112]
116Teng Wang [86]
117Xiaoyuan Wang [63] [64]
118Yuke Wang [97]
119Jianmin Wang [48] [53]
120Bangyu Wu [57] [60]
121Lijun Wu [89]
122Jianlin Xia [55] [76]
123Yu-fei Xia [65]
124Litian Xiao [112]
125Zhiyun Xin [32]
126Shijie Xu [57]
127Guowu Yang [24] [25] [26] [28] [34] [36] [111]
128Jinji Yang [89]
129Liu Yang [70] [88] [92]
130Liangze Yin [115]
131Jian-Ping Yong [20]
132Zhiyang You [51] [79] [97]
133Peng Yu [73]
134Jing Yuan [90]
135Hongyuan Zha [6] [7] [8] [9]
136Fu-lun Zhang [65]
137Hehua Zhang [49] [50] [54] [56] [62] [83] [93] [104] [107] [111]
138Hongyu Zhang [45]
139Lan Zhang [95] [108]
140Lin Zhang [86]
141Wenzhu Zhang [86]
142Xiuzhen Zhang [45]
143Jizhong Zhao [32] [82] [90]
144Lili Zhao [88]
145Xibin Zhao [13] [21] [27] [39] [79] [97] [109]
146Nan Zheng [64]
147Shijie Zheng [86]
148Guomo Zhou [82]
149Min Zhou [71] [94] [103]
150Bo Zhu [75]
151He Zhu [69] [85]
152Jianzhong Zhu [101]
153Zhi-wen Zhu [44]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page