default search action

combined dblp search
author search
venue search
publication search

ask others

Donghuo Chen

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2017
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/comsis/ZhuZFCZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsis/ZhuZFCZ17
Fei Zhu, Haijun Zhu, Yuchen Fu, Donghuo Chen, Xiaoke Zhou:
A kernel based true online Sarsa(λ) for continuous space control problems. Comput. Sci. Inf. Syst. 14(3): 789-804 (2017)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tcps/JiangZLZZZGHC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcps/JiangZLZZZGHC17
Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong, Donghuo Chen:
Event-Based Mobility Modeling and Analysis. ACM Trans. Cyber Phys. Syst. 1(2): 9:1-9:32 (2017)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2007
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/ChenZW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/ChenZW07
Donghuo Chen, Guangquan Zhang, Jinzhao Wu:
QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems. TASE 2007: 241-250
2006
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/JiangWC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/JiangWC06
Jianmin Jiang, Jinzhao Wu, Donghuo Chen:
Symmetry in event structures. SAC 2006: 1850-1851
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/ChenW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/ChenW06
Donghuo Chen, Jinzhao Wu:
Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic. SOFSEM 2006: 207-217
2005
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ChenW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ChenW06
Donghuo Chen, Jinzhao Wu:
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic. SVV@ICFEM 2005: 23-38

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.