Verification of Hybrid Chi Model for Cyber-physical Systems Using PHAVer. - Xinyu Cong; Huiqun Yu; Xin Xu 003 (IMIS, 2013)

A QoS-Constrained Resource Allocation Game in Federated Cloud. - Xin Xu 003; Huiqun Yu; Xinyu Cong (IMIS, 2013)

A count weighted Wilcoxon rank-sum test and application to medical data. - Xinyu Cong; Jed A. Hartings; Marepalli B. Rao; Roman A. Jandarov (Commun. Stat. Simul. Comput., 2025)