Author

Yunqing Wen

Institutions: Chinese Academy of Sciences, Center for Excellence in Brain Science and Intelligence Technology, State Key Laboratory of Neuroscience

Observed institutions: Shanghai Jiao Tong University, Chinese Academy of Sciences, Center for Excellence in Brain Science and Intelligence Technology, State Key Laboratory of Neuroscience

OpenAlex ID: A5043627992

On Reachability Analysis of Updatable Timed Automata with One Updatable Clock

2016 · Yunqing Wen, Guoqiang Li, et al. · Lecture notes in computer science · 2

An Over-Approximation Forward Analysis for Nested Timed Automata

2015 · Yunqing Wen, Guoqiang Li, et al. · Lecture notes in computer science · 2

Updatable timed automata with one updatable clock

2017 · Guoqiang Li, Yunqing Wen, et al. · Science China Information Sciences · 1

Concurrent anodal tDCS enhances motor learning and increases cortical TrkB phosphorylation in mice

2026 · Ying Wang, Qingping Yu, et al. · bioRxiv (Cold Spring Harbor Laboratory)

Quantal PCR: A Calibrator-Free Method for Determining the Unit for Nucleic Acid Quantification

2026 · Xiangrong Tang, Yunqing Wen, et al. · National Science Review

Nested Timed Automata with Diagonal Constraints

2017 · Yuwei Wang, Yunqing Wen, et al. · Lecture notes in computer science

Works count: 6

Citation count: 5

H-index: 2

I10-index: