A syntactic approach to foundational proof-carrying code von Hamid, N.A., Zhong Shao, Trifonov, V., Monnier, S., Zhaozhong Ni

Volltext

Using XCAP to Certify Realistic Systems Code: Machine Context Management von Ni, Zhaozhong, Yu, Dachuan, Shao, Zhong

Volltext

A Syntactic Approach to Foundational Proof-Carrying Code von Hamid, Nadeem A., Shao, Zhong, Trifonov, Valery, Monnier, Stefan, Ni, Zhaozhong

Volltext

Modular Machine Code Verification von Ni, Zhaozhong

Volltext bestellen

Modular verification of assembly code with stack-based control abstractions von Feng, Xinyu, Shao, Zhong, Vaynberg, Alexander, Xiang, Sen, Ni, Zhaozhong

Volltext

Certified assembly programming with embedded code pointers von Ni, Zhaozhong, Shao, Zhong

Volltext

A Representation of Fω in LF von Schürmann, Carsten, Yu, Dachuan, Ni, Zhaozhong

Volltext

STORAGE UNIT PERFORMANCE ADJUSTMENT von NAZARI SIAMAK, CAMERON DOUG, NI ZHAOZHONG

Volltext bestellen

PERFORMANCE RULES AND STORAGE UNITS von MA, MING, NI, ZHAOZHONG, CAMERON, DOUG, NAZARI, SIAMAK

Volltext bestellen

A Syntactic Approach to Foundational Proof-Carrying Code von Hamid, Nadeem A, Shao, Zhong, Trifonov, Valery, Monnier, Stefan, Ni, Zhaozhong

Volltext bestellen

PERFORMANCE RULES AND STORAGE UNITS von MA, MING, NI, ZHAOZHONG, CAMERON, DOUG, NAZARI, SIAMAK

Volltext bestellen

PERFORMANCE RULES AND STORAGE UNITS von MA MING, NAZARI SIAMAK, CAMERON DOUG, NI ZHAOZHONG

Volltext bestellen

Performance rules and storage units von MA MING, NAZARI SIAMAK, CAMERON DOUG, NI ZHAOZHONG

Volltext bestellen

PERFORMANCE RULES AND STORAGE UNITS von MA, MING, NI, ZHAOZHONG, CAMERON, DOUG, NAZARI, SIAMAK

Volltext bestellen

Structural and chemical stability of Sr-, Nb- and Zr-doped calcium manganite as oxygen-storage materials von Ni, Chengsheng, Ni, Jiupai, Zhou, Zhaozhong, Jin, Miao

Volltext

Surface Proteins and Adhesion Properties of Lacticaseibacillus paracasei K56 von WU Fan, MA Guowen, ZENG Zhaozhong, HUNG Weilian, NI Dan, GUO Yuxing

Volltext

Orientation relationships between precipitates and matrix and their crystallographic transformation in a Cu–Cr–Zr alloy von Xia, Chengdong, Pang, Yong, Jia, Yanlin, Ni, Chengyuan, Sheng, Xiaofei, Wang, Sufen, Jiang, Xiaoying, Zhou, Zhaozhong

Volltext

Optimal time to use low molecular weight heparin on prethrombotic state of rat chronic obstructive pulmonary disease model von Wang, Yanqing, Sun, Nina, Cheng, Zhaozhong, Tong, Li

Volltext

Effect of wheel speed on the microstructure and nanohardness of rapidly solidified Ti–48Al–2Cr alloy von Zhu, Dongdong, Dong, Duo, Ni, Chenyuan, Zhang, Defeng, Zhou, Zhaozhong, Wang, Hongwei, Wei, Zunjie

Volltext

Improved Electrochemical Properties of Cu-dopped LaNi4.1−xCo0.6Mn0.3Cux (x= 0-0.45) Hydrogen Storage Alloys at 238 K von Ni, Chengyuan, Zhou, Zhaozhong, Zhu, Dongdong, Wang, Zhongmin, Zhang, Defeng, Zhang, Yuanxiang

Volltext