Xiaoju Ning

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Top Venues

Publications

Xiaoju Ning, Jinping Zhang, Fengxian Lu, Yaochen Qin, Shuichuan Yang
Measurement the low-carbon level of residents' daily travel in Zhengzhou city. Geoinformatics (2013)
Rui Yang, Xiaoju Ning
Model Checking Cryptographic Protocols with Interval Temporal Logic. J. Convergence Inf. Technol. 5 (10) (2010)