Donghuo Chen

According to our database, Donghuo Chen authored at least 6 papers between 2005 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Event-Based Mobility Modeling and Analysis.

Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong, Donghuo Chen

ACM Trans. Cyber Phys. Syst., 2017

A kernel based true online Sarsa(λ) for continuous space control problems.

Fei Zhu, Haijun Zhu, Yuchen Fu, Donghuo Chen, Xiaoke Zhou

Comput. Sci. Inf. Syst., 2017

2007

QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems.

Donghuo Chen, Guangquan Zhang, Jinzhao Wu

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2006

Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic.

Donghuo Chen, Jinzhao Wu

Proceedings of the SOFSEM 2006: Theory and Practice of Computer Science, 2006

Symmetry in event structures.

Jianmin Jiang, Jinzhao Wu, Donghuo Chen

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

2005

Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic.

Donghuo Chen, Jinzhao Wu

Proceedings of the Third International Workshop on Software Verification and Validation, 2005