Ferproof: A Constant Cost Range Proof Suitable for Floating-Point Numbers. - Yicong Li 006; Kuanjiu Zhou; Lin Xu; Meiying Wang; Nan Liu (ICA3PP (3), 2021)

EHSTM: a formal model of embedded software and research on several key issues. - Masahiko Watanabe; Kuanjiu Zhou; Yicong Li 006; Zizhong Wang; Junyu Li (CCF Trans. High Perform. Comput., 2021)

Online Prediction Method for Power System Frequency Response Analysis Based on Swarm Intelligence Fusion Model. - Lin Xu; Li Li; Meiying Wang; Xiangxu Wang; Yicong Li 006; Weidong Li; Kuanjiu Zhou (IEEE Access, 2023)

Enhancing Concept Completeness for Graph Neural Networks via Side-Channel. - Yicong Li 006; Kuanjiu Zhou; Mingyu Fan; Shaozhao Zhai; Muhammad Usman Arshad (ICHMS, 2024)

Factor Graph-based Interpretable Neural Networks. - Yicong Li 006; Kuanjiu Zhou; Shuo Yu 001; Qiang Zhang 008; Renqiang Luo; Xiaodong Li; Feng Xia 001 (ICLR, 2025)