GuMing

发表

Dependable Model-driven Development of CPS

SongHoubing, ShaLui, SunJiaguang, 2018 .

Long-term large-scale sensing in the forest

MaHuadong, LiXiang-Yang, LiuYunhao, 2010 .

Workflow-based resource allocation to optimize overall performance of composite services

ChiChi-Hung, ChenZhe, GuMing, 2009 .

Integrating Evolutionary Computation with Abstraction Refinement for Model Checking

HeFei, SunJiaguang, N N HungWilliam, 2010 .

Factors of Success in China——Veteran investigates the forces that are shaping major economic sectors

GuMing, 2003 .

An object-oriented approach for model integration within virtual human

GuMing, 2002 .

Efficient algorithms for computing a strong rank-revealing QR factorization

GuMing, C EisenstatStanley, 1996 .