Continuity of the eigenvalues for a vibrating beam. - Xin Jiang; Kairong Liu; Gang Meng; Zhikun She (Appl. Math. Lett., 2017)

Reachability Estimation of Stochastic Dynamical Systems by Semi-definite Programming. - Kairong Liu; Meilun Li; Zhikun She (CDC, 2019)

Identifying Cell Type Specific TF Combinatorial Regulation via a Two-Stage Statistical Method. - Kairong Liu; Andrew Hutchins; Yong Wang (BigComp, 2020)

Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming. - Kairong Liu; Meilun Li; Zhikun She (SIAM J. Control. Optim., 2021)

Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances. - Ruiqi Hu; Kairong Liu; Zhikun She (MEMOCODE, 2022)

Reachability Based Uniform Controllability to Target Set with Evolution Function. - Jia Geng; Ruiqi Hu; Kairong Liu; Zhihui Li; Zhikun She (SETTA, 2023)

Navigating Robot Swarm Through a Virtual Tube with Flow-Adaptive Distribution Control. - Yongwei Zhang; Shuli Lv; Kairong Liu; Quanyi Liang; Quan Quan; Zhikun She (CoRR, 2025)

Evolution Function Based Reach-Avoid Verification for Time-varying Systems with Disturbances. - Ruiqi Hu; Kairong Liu; Zhikun She (ACM Trans. Embed. Comput. Syst., 2025)