Ming Zha

A formal software development approach based on COOZ and refinement calculus

Guoliang Zheng, Bixin Li, Jun Pang, 1999, Proceedings Technology of Object-Oriented Languages and Systems (Cat. No.PR00393).

A formal software development approach using refinement calculus

Guoliang Zheng, Jun Pang, Zhaohui Yang, 2008, Journal of Computer Science and Technology.

A Research on Construction of SOAs for Enterprises in China

Xin Liu, Wei Fan, Tingjie Lu, 2007, CONFENIS.

A method of CO2 flooding range monitoring based on AVO attributes

Jinfeng Ma, Ming Zha, Zhang Yunyin, 2017 .

Pore type and pore size distribution of tight reservoirs in the Permian Lucaogou Formation of the Jimsar Sag, Junggar Basin, NW China

Ming Zha, Stefan Iglauer, S. Iglauer, 2018 .

Supercritical Methane Diffusion in Shale Nanopores: Effects of Pressure, Mineral Types, and Moisture Content

Farzam Javadpour, Qihong Feng, Ming Zha, 2017 .

Organic matter, mineral composition, pore size, and gas sorption capacity of lacustrine mudstones: Implications for the shale oil and gas exploration in the Dongying depression, eastern China

Ming Zha, Linye Zhang, Zhonghong Chen, 2018, AAPG Bulletin.