Recurrent context-aware multi-stage network for single image deraining. - Yuetong Liu; Rui Zhang 072; Yunfeng Zhang 001; Xiao Pan; Xunxiang Yao; Zhaorui Ni; Huijian Han (Comput. Vis. Image Underst., 2023)

An Efficient and Scalable Clocking Assignment Algorithm for Multi-Threaded Multi-Phase Single Flux Quantum Circuits. - Robert S. Aviles; Xi Li; Lei Lu; Zhaorui Ni; Peter A. Beerel (ISVLSI, 2024)

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast. - Marilyn Rego; Wen Fan; Xin Hu; Sanya Dod; Zhaorui Ni; Danning Xie; Jenna DiVincenzo; Lin Tan 001 (CoRR, 2024)

Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast. - Marilyn Rego; Wen Fan; Xin Hu; Sanya Dod; Zhaorui Ni; Danning Xie; Jenna DiVincenzo; Lin Tan 001 (Forge@ICSE, 2025)