| 2023 | SETTA | Reachability Based Uniform Controllability to Target Set with Evolution Function. | Jia Geng, Ruiqi Hu, Kairong Liu, Zhihui Li, Zhikun She |
| 2022 | MEMOCODE | Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances. | Ruiqi Hu, Kairong Liu, Zhikun She |
| 2021 | SETTA | $\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations. | Ruiqi Hu, Meilun Li, Zhikun She |
| 2016 | CAV | Under-Approximating Backward Reachable Sets by Polytopes. | Bai Xue, Zhikun She, Arvind Easwaran |
| 2015 | AAAI | Preference Planning for Markov Decision Processes. | Meilun Li, Zhikun She, Andrea Turrini, Lijun Zhang |
| 2015 | CASC | Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions. | Zhikun She, Dan Song, Meilun Li |
| 2012 | CASC | Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems. | Zhikun She, Haoyang Li |
| 2011 | CASC | Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems. | Zhikun She, Bai Xue |
| 2011 | ICINCO | Termination Analysis of Safety Verification for Non-linear Robust Hybrid Systems. | Zhikun She |
| 2011 | ISSAC | Algebraic analysis on asymptotic stability of continuous dynamical systems. | Zhikun She, Bai Xue, Zhiming Zheng |
| 2010 | CAV | Safety Verification for Probabilistic Hybrid Systems. | Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn |
| 2010 | SAC | Reparameterization based consistent graph-structured linear programs. | Hongbo Zhou, Qiang Cheng, Zhikun She |
| 2008 | ICINCO | Recursive and Backward Reasoning in the Verification on Hybrid Systems. | Stefan Ratschan, Zhikun She |
| 2007 | VMCAI | Language-Based Abstraction Refinement for Hybrid System Verification. | Felix Klaedtke, Stefan Ratschan, Zhikun She |
| 2006 | AISC | Constraints for Continuous Reachability in the Verification of Hybrid Systems. | Stefan Ratschan, Zhikun She |