Verification and diagnosis of testing equivalence and reduction relation. - Zhongping Tao; Gregor von Bochmann; Rachida Dssouli (ICNP, 1995)

A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks. - Zhongping Tao; Gregor von Bochmann; Rachida Dssouli (Mob. Networks Appl., 1997)

Differential Contribution of Bilateral Supplementary Motor Area to the Effective Connectivity Networks Induced by Task Conditions Using Dynamic Causal Modeling. - Qing Gao; Zhongping Tao; Mu Zhang 009; Huafu Chen (Brain Connect., 2014)