( en | de | ru )

 

Disambiguation of "Gu, Ming"

Author of the publication

copydeleteadd this publication to your clipboard
Data mining based decomposition for assume-guarantee reasoning.

, , , , and . FMCAD, page 116-119. IEEE, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xuewu Gu

Xiaogang Gu

Wei Gu

Hyosong Gu

Jie Gu

 

Other publications of authors with the same name

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques., , , , , , and . IEEE Trans. Ind. Electron., 62 (2): 1270-1278 (2015)Predicting Axonal Response to Molecular Gradients with a Computational Model of Filopodial Dynamic., , and . Neural Comput., 16 (11): 2221-2243 (2004)Global minimization of rational functions and the nearest GCDs., , and . J. Glob. Optim., 40 (4): 697-718 (2008)An Algorithm to Compute Sepλ., and . SIAM J. Matrix Anal. Appl., 28 (2): 348-359 (2006)The Degenerate Bounded Errors-in-Variables Model., , , and . SIAM J. Matrix Anal. Appl., 23 (1): 138-166 (2001)Randomized Complete Pivoting for Solving Symmetric Indefinite Linear Systems., , and . SIAM J. Matrix Anal. Appl., 39 (4): 1616-1641 (2018)Finding Well-Conditioned Similarities to Block-Diagonalize Nonsymmetric Matrices Is NP-Hard.. J. Complex., 11 (3): 377-391 (1995)Field Measurement of Wind Characteristics of Typhoon Muifa on the Shanghai World Financial Center., , and . Int. J. Distributed Sens. Networks, (2012)Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation., , , , , , , and . ACM Trans. Cyber Phys. Syst., 3 (1): 12:1-12:31 (2019)Modeling job shop scheduling with batches and setup times by timed Petri nets., and . Math. Comput. Model., 49 (1-2): 286-294 (2009)