arrow
返回
W

Weidong Cui

university of california irvine

40H指数
134论文数
5.6K被引数
收录论文 40
发表时间
AUTOVERUS: Automated Proof Generation for Rust CodeAUTOVERUS:Rust代码的自动化证明生成
err2025-10-01
err0
PREAI
errYang, Chenyuan; Li, Xuheng; Misu, Md Rakib Hossain; Yao, Jianan; Cui, Weidong; Gong, Yeyun; Hawblitzel, Chris; Lahiri, Shuvendu; Lorch, Jacob R.; Lu, Shuai; Yang, Fan; Zhou, Ziqiao; Lu, Shan
err分享
err收藏
Experimental investigation of enhanced de-NOx efficiency by Na/K combined additives on the urea-based SNCR processNa/K组合添加剂提高尿素基SNCR工艺脱硝效率的实验研究
errFUEL
IF7.5
err2025-01-01
err1
PREAI
errZhang, Su; Shi, Zhaochen; Shu, Yixiang; Zhang, Yili; Ma, Chuangang; Song, Qianjin; Cui, Weidong; Zhang, Lan; Wang, Xuebin
err分享
err收藏
Co-pyrolysis behavior of municipal solid waste and food waste residue: A thermogravimetric study to discern synergistic effect
err2024-09-01
err2
PREAI
errEmbaye, Tedla Medhane; Ahmed, Muhammed Bilal; Deng, Nan; Cui, Weidong; Bukhsh, Khuda; Zhang, Lan; Zhu, Lihua; Wang, Xuebin
err分享
err收藏
Mapping conformational changes on bispecific antigen-binding biotherapeutic by covalent labeling and mass spectrometry
err2024-08-01
err0
errOAAI
errShah, Arnik; Batabyal, Dipanwita; Qiu, Dayong; Cui, Weidong; Harrahy, John; Ivanov, Alexander R.
err分享
err收藏
Experimental study on co-combustion of domestic garbage and sewage sludge: Evaluation of synergistic effect and thermo-kinetic behavior
err2024-06-01
err4
PREAI
errAhmad, Muhammad Bilal; Embaye, Tedla Medhane; Meng, Zilan; Wang, Fengqin; Cui, Weidong; Bukhsh, Khuda; Deng, Shuanghui; Bai, Zongqing; Ruan, Renhui; Wang, Xuebin
err分享
err收藏
Intelligence Sparse Sensor Network for Automatic Early Evaluation of General Movements in Infants
err2024-03-06
err3
errOAAI
errBao, Benkun; Zhang, Senhao; Li, Honghua; Cui, Weidong; Guo, Kai; Zhang, Yingying; Yang, Kerong; Liu, Shuai; Tong, Yao; Zhu, Jia; Lin, Yuan; Xu, Huanlan; Yang, Hongbo; Cheng, Xiankai; Cheng, Huanyu
err分享
err收藏
Classification and Analysis of Human Body Movement Characteristics Associated with Acrophobia Induced by Virtual Reality Scenes of Heights
errSENSORS
IF3.5
err2023-06-10
err1
errOAAI
errCheng, Xiankai; Bao, Benkun; Cui, Weidong; Liu, Shuai; Zhong, Jun; Cai, Liming; Yang, Hongbo
err分享
err收藏
err分享
err收藏
Gated Recurrent Unit Network for Psychological Stress Classification Using Electrocardiograms from Wearable Devices
errSENSORS
IF3.5
err2022-11-10
err4
errOAAI
errZhong, Jun; Liu, Yongfeng; Cheng, Xiankai; Cai, Liming; Cui, Weidong; Hai, Dong
err分享
err收藏
err分享
err收藏
Footprinting Mass Spectrometry of Membrane Proteins: Ferroportin Reconstituted in Saposin A Picodiscs
err2021-08-12
err9
errOAAI
errZhou, Fengbo; Yang, Yihu; Chemuru, Saketh; Cui, Weidong; Liu, Shixuan; Gross, Michael; Li, Weikai
err分享
err收藏
The catalytic mechanism of vitamin K epoxide reduction in a cellular environment
err2021-01-01
err11
errOAAI
errShen, Guomin; Cui, Weidong; Cao, Qing; Gao, Meng; Liu, Hongli; Su, Gaigai; Gross, Michael L.; Li, Weikai
err分享
err收藏
err分享
err收藏
Three dimensional approach to investigating biological effects along energetic ion beam pathways
err2017-03-15
err0
errOAAI
errLi, Xinglin; Sun, Shuguang; Wang, Shanying; Li, Wenjian; Qu, Ying; Cui, Weidong; Sun, Tianren; Zhang, Jian; Wang, Jufang; Zhou, Guangming; Man, Shuli; Chen, Yi; Lu, Fuping; Wei, Zengquan; Jin, Genming
err分享
err收藏
Incorporation of a Reporter Peptide in FPOP Compensates for Adventitious Scavengers and Permits Time-Dependent Measurements
err2016-12-06
err37
errOAAI
errNiu, Ben; Mackness, Brian C.; Rempel, Don. L.; Zhang, Hao; Cui, Weidong; Matthews, C. Robert; Zitzewitz, Jill A.; Gross, Michael L.
err分享
err收藏
Warfarin traps human vitamin K epoxide reductase in an intermediate state during electron transfer
err2016-12-05
err62
errOAAI
errShen, Guomin; Cui, Weidong; Zhang, Hao; Zhou, Fengbo; Huang, Wei; Liu, Qian; Yang, Yihu; Li, Shuang; Bowman, Gregory R.; Sadler, J. Evan; Gross, Michael L.; Li, Weikai
err分享
err收藏