A Simple and Efficient Input Selection Function for Networks-on-Chip. - Xinyu Wang; Zhigang Yu; Huazhen Xu (ICDCN, 2012)

Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover. - Huazhen Xu; Zhen You; Jinyun Xue (SNPD, 2016)

Plant disease detection technology based on hybrid convolutional attention mechanism. - Siqi Chen; Wenzhen Zhang; Xinye Chen; Yuchao Ji; Xinyu Liu; Fan Yu; Huazhen Xu (GAIIS, 2025)