Yunqing Wen

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 2

Top Topics

Reachability Analysis

Top Venues

Sci. China Inf. Sci.

Publications

Guoqiang Li, Yunqing Wen, Shoji Yuen
Updatable timed automata with one updatable clock. Sci. China Inf. Sci. 61 (1) (2018)
Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen
Nested Timed Automata with Diagonal Constraints. ICFEM (2017)
Yunqing Wen, Guoqiang Li, Shoji Yuen
On Reachability Analysis of Updatable Timed Automata with One Updatable Clock. SOFL+MSVL (2015)
Yunqing Wen, Guoqiang Li, Shoji Yuen
An Over-Approximation Forward Analysis for Nested Timed Automata. SOFL+MSVL (2014)
Yunqing Wen, Xiang Zhang, Kai Shen, Peng Wang
Towards Building Virtual Vocabularies in the Semantic Web. ADMA (1) (2013)