An approach to hierarchy model checking via evaluating CTL hierarchically. - Zuan Zhang (Asian Test Symposium, 1995)

Small-Signal Synchronization Stability of Sequence-Decomposed Grid-Forming IBRs. - Qian Liu; Yanchang Liang; Zuan Zhang; Miao Wang; Xiaowei Zhao 001 (IEEE Trans. Ind. Electron., 2025)