Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic. - Donghuo Chen; Jinzhao Wu (SVV@ICFEM, 2005)

Symmetry in event structures. - Jianmin Jiang; Jinzhao Wu; Donghuo Chen (SAC, 2006)

Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic. - Donghuo Chen; Jinzhao Wu (SOFSEM, 2006)

QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems. - Donghuo Chen; Guangquan Zhang 002; Jinzhao Wu (TASE, 2007)

A kernel based true online Sarsa(λ) for continuous space control problems. - Fei Zhu 003; Haijun Zhu; Yuchen Fu; Donghuo Chen; Xiaoke Zhou (Comput. Sci. Inf. Syst., 2017)

Event-Based Mobility Modeling and Analysis. - Jianmin Jiang; Huibiao Zhu; Qin Li 002; Yongxin Zhao; Lin Zhao; Shi Zhang; Ping Gong 004; Zhong Hong; Donghuo Chen (ACM Trans. Cyber Phys. Syst., 2017)