Logistic Regression for Transductive Transfer Learning from Multiple Sources. - Yuhong Zhang 002; Xuegang Hu; Yucheng Fang (ADMA (2), 2010)

Modeling and analysis of the disruptor framework in CSP. - Yucheng Fang; Huibiao Zhu; Frank Zeyda; Yuan Fei (CCWC, 2018)

Modeling and Verifying MooseFS in CSP. - Yucheng Fang; Huibiao Zhu; Gang Lu; Lili Xiao; Wanling Xie (COMPSAC (1), 2018)

Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude. - Wanling Xie; Huibiao Zhu; Min Zhang 002; Gang Lu; Yucheng Fang (COMPSAC (1), 2018)

Modeling and Verifying Leader Election Algorithm in CSP (S). - Yucheng Fang; Huibiao Zhu; Huiwen Wang (SEKE, 2018)

Modeling and Verifying Spark on YARN Using Process Algebra. - Jiaqi Yin; Huibiao Zhu; Yuan Fei; Yucheng Fang (HASE, 2019)

Modeling and Verifying Storm Using CSP. - Hongyan Zhao; Huibiao Zhu; Yucheng Fang; Lili Xiao (HASE, 2019)

Verifying Opacity of a Modified PSTM. - Yucheng Fang; Huibiao Zhu; Jiaqi Yin (TASE, 2019)

Category-Aware Keypoint Masking to Address Biases in Semi-supervised 2D Pose Estimation. - Xiangrui Liu; Shushi hong; Yucheng Fang; Ruirui Li (PKAW, 2024)