Model Checking Cryptographic Protocols with Interval Temporal Logic. - Rui Yang; Xiaoju Ning (J. Convergence Inf. Technol., 2010)

Measurement the low-carbon level of residents' daily travel in Zhengzhou city. - Xiaoju Ning; Jinping Zhang; Fengxian Lu; Yaochen Qin; Shuichuan Yang (Geoinformatics, 2013)