Seraph: enabling cross-platform security analysis for EVM and WASM smart contracts. - Zhiqiang Yang; Han Liu 010; Yue Li 037; Huixuan Zheng; Lei Wang 031; Bangdao Chen (ICSE (Companion Volume), 2020)

BLOCKEYE: Hunting for DeFi Attacks on Blockchain. - Bin Wang; Han Liu 010; Chao Liu 032; Zhiqiang Yang; Qian Ren; Huixuan Zheng; Hong Lei 001 (ICSE (Companion Volume), 2021)

TMI: tokenomics made easy for web3 applications. - Han Liu 010; Xufei Wang; Bin Wang; Huixuan Zheng; Xuchao Liu (MoDELS (Companion), 2022)

An Improved Lightweight Linear K-value Transformer. - Anyan Xiao; Zhuo Yan; Zheng Li; Huangxin Xu; Huixuan Zheng; Yujie Ai; Xiaocong Zhang; Qixuan Sun; Changyu Zhao (TrustCom, 2023)

Mobility Patterns of Trailers Around International Container Terminals: A Case Study in Sendai Port, Japan. - Huixuan Zheng; Chenbo Zhao; Yoshiki Ogawa; Ryuichi Shibasaki; Naoya Fujiwara (IEEE Big Data, 2024)