Modular Reasoning for Message-Passing Programs von Lei, Jinjiang, Qiu, Zongyan

Volltext

Rely-Guarantee Based Reasoning for Message-Passing Programs1 von Lei, Jinjiang, Qiu, Zongyan

Volltext

Rely-Guarantee Based Reasoning for Message-Passing Programs von J. Lei, Z. Qiu

Volltext

Verification of Scalable Synchronous Queue von Lei, Jinjiang, Qiu, Zongyan

Volltext

Structures, kinematics, thermochronology and tectonic evolution of the Ramba gneiss dome in the northern Himalaya von Guo, Lei, Zhang, Jinjiang, Zhang, Bo

Volltext

Structural features and deformational ages of the northern Dabashan thrust belt von Li, Pengyuan, Zhang, Jinjiang, Guo, Lei, Yang, Xiongying

Volltext

Light portable track beam foundation bolt positioning device von LEI JINJIANG, LI JIAHUAN, XIAO JIANZHONG, SHI QINGXIN, LU XINGSONG, WANG JINGBIAO, SUN YUTAO, LIU YIHAN, YU JUN, ZHU ZHENGUO, WANG JINLONG, WANG BOTAO, GUO LEI, YAN YUTAO, ZENG YAJUN, ZHANG SHUO, WEN LURUI

Volltext bestellen

Mesozoic thrusts and extensional structures in the Daqingshan orogen, Inner Mongolia, and their temporal and spatial relationship von Guowei, Qi, Jinjiang, Zhang, Xinshe, Wang, Lei, Guo

Volltext

Structural feature and its significance of the northernmost segment of the Tertiary Biluoxueshan-Chongshan shear zone, east of the Eastern Himalayan Syntaxis von Zhang, Bo, Zhang, JinJiang, Zhong, DaLai, Wang, XiaoXian, Qu, JunFeng, Guo, Lei

Volltext

Pattern and kinematic polarity of late Mesozoic extension in continental NE Asia: Perspectives from metamorphic core complexes von Wang, Tao, Zheng, Yadong, Zhang, Jinjiang, Zeng, Lingsen, Donskaya, Tatiana, Guo, Lei, Li, Jianbo

Volltext

Tectonic conversion on the northern margin of the North China Craton in the Early Triassic: Constraints from geochronology and petrogenesis of the Datan plutonic complex, middle of... von Wang, Haibin, Zhang, Jinjiang, Fan, Yunsong, Guo, Lei

Volltext

Late Miocene tectonic forcing of climate transition in the northeastern Tibetan Plateau von Luan, Tianxiang, Zhang, Bo, Zhang, Jinjiang, Guo, Lei, Pei, Junling

Volltext

The Himalayan Collisional Orogeny: A Metamorphic Perspective von WANG, Jiamin, WU, Fuyuan, ZHANG, Jinjiang, KHANAL, Gautam, YANG, Lei

Volltext

Tectonics of the northern Himalaya since the India–Asia collision von Zhang, Jinjiang, Santosh, M., Wang, Xiaoxian, Guo, Lei, Yang, Xiongying, Zhang, Bo

Volltext

Study on the design and control method of a wire-driven waist rehabilitation training parallel robot von Yuqi, Wang, Jinjiang, Cao, Ranran, Geng, Lei, Zhou, Lei, Wang

Volltext

Comparative Study of Experiments and Calculations on the Guest Molecules’ Escaping Mechanism of CL-20-Based Host–Guest Energetic Materials von Jin, Dengyu, Xu, Jinjiang, Zhang, Haobin, Lei, Ming, Sun, Jie

Volltext

Andean-type orogeny in the Himalayas of south Tibet: Implications for early Paleozoic tectonics along the Indian margin of Gondwana von Wang, Xiaoxian, Zhang, Jinjiang, Santosh, M., Liu, Jiang, Yan, Shuyu, Guo, Lei

Volltext

Experimental and Theoretical Study on the Stability of CL-20-Based Host–Guest Energetic Materials von Ding, Ruiqin, Xu, Jinjiang, Tao, Yuting, Sun, Jie, Lei, Ming

Volltext

First evidence of eclogites overprinted by ultrahigh temperature metamorphism in Everest East, Himalaya: Implications for collisional tectonics on early Earth von Wang, Jia-Min, Lanari, Pierre, Wu, Fu-Yuan, Zhang, Jin-Jiang, Khanal, Gautam Prashad, Yang, Lei

Volltext

Developing a new hydrate saturation calculation model for hydrate-bearing sediments von Dong, Huaimin, Sun, Jianmeng, Zhu, Jinjiang, Liu, Lei, Lin, Zhenzhou, Golsanami, Naser, Cui, Likai, Yan, Weichao

Volltext