Using Algebraic Specification in Floyd-Hoare Assertions. - Hantao Zhang 001; Angshuman Guha; Xin Hua (AMAST, 1991)

FRI: Failure-Resistant Induction in RRL. - Xin Hua; Hantao Zhang 001 (CADE, 1992)

Proving the Chinese Remainder Theorem by the Cover Set Induction. - Hantao Zhang 001; Xin Hua (CADE, 1992)

Axiomatic semantics of a hardware specification language. - Xin Hua; Hantao Zhang 001 (Great Lakes Symposium on VLSI, 1992)

Formal Semantics of VHDL for Verification of Circuit Designs. - Xin Hua; Hantao Zhang 001 (ICCD, 1993)

Proposed Shift Quality Metrics and Experimentation on AMT Shift Quality Evaluation. - Jianguo Zhang; Yulong Lei; Xin Hua; Jian Wang; Anlin Ge (ICNC (2), 2007)

Wind turbine bionic blade design and performance analysis. - Xin Hua; Chunhua Zhang; Jinda Wei; Xingjun Hu; Hongliang Wei (J. Vis. Commun. Image Represent., 2019)

WSC-Trans: A 3D network model for automatic multi-structural segmentation of temporal bone CT. - Xin Hua; Zhijiang Du; Hongjian Yu; Jixin Ma 001; Fanjun Zheng; Cheng Zhang; Qiaohui Lu; Hui Zhao (CoRR, 2022)

Optoelectronic Neuromorphic Accelerator at 523.27 GOPS Based on Coherent Optical Devices. - Ying Zhu; Xu Zhang 006; Xin Hua; Lu Xu; Xiao Hu; Ming Luo 008; Xi Xiao; Shaohua Yu (OFC, 2023)

Convolutional neural network based on sparse graph attention mechanism for MRI super-resolution. - Xin Hua; Zhijiang Du; Hongjian Yu; Jixin Ma 001 (CoRR, 2023)

The Dynamic Vectors-Based Attention Model for Chinese Mathematical Term Extraction. - Maosheng Zhong; Jiangling Kuang; GanLin Liu; Xin Hua; Jiahua Wu (IEEE Intell. Syst., 2023)

MRI Super-Resolution via Hybrid Information Enhancement Network based on Multi-Attention and Adaptive Convolution. - Jixin Ma 001; Hongjian Yu; Zhijiang Du; Xin Hua; Zibo Li; Hui Zhao (BIBM, 2024)

WSC-Trans: A CNN-Transformer Structure-Based 3D Multi-Structural Automatic Segmentation Model for Temporal Bone CT. - Xin Hua; Jixin Ma 001; Hongjian Yu; Zhijiang Du; Fanjun Zheng; Chen Zhang; Qiaohui Lu; Hui Zhao (BIBM, 2024)

Multi kernel cross sparse graph attention convolutional neural network for brain magnetic resonance imaging super-resolution. - Xin Hua; Zhijiang Du; Jixin Ma 001; Hongjian Yu (Biomed. Signal Process. Control., 2024)

A lightweight multi-scale multi-angle dynamic interactive transformer-CNN fusion model for 3D medical image segmentation. - Xin Hua; Zhijiang Du; Hongjian Yu; Jixin Ma 001; Fanjun Zheng; Chen Zhang; Qiaohui Lu; Hui Zhao (Neurocomputing, 2024)

Research on intelligent forecasts of flight actions based on the implemented bi-LSTM. - Xin Hua; Xuejie Yang (PeerJ Comput. Sci., 2024)

Versatile silicon integrated photonic processor: a reconfigurable solution for netx-generation AI clusters. - Ying Zhu; Yifan Liu; Xinyu Yang; Kailai Liu; Xin Hua; Ming Luo; Jia Liu; Siyao Chang; Shengxiang Zhang; Miao Wu; Zhicheng Wang; Hongguang Zhang; et al. (CoRR, 2025)