Towards Building Virtual Vocabularies in the Semantic Web. - Yunqing Wen; Xiang Zhang; Kai Shen; Peng Wang 004 (ADMA (1), 2013)

An Over-Approximation Forward Analysis for Nested Timed Automata. - Yunqing Wen; Guoqiang Li 001; Shoji Yuen (SOFL+MSVL, 2014)

On Reachability Analysis of Updatable Timed Automata with One Updatable Clock. - Yunqing Wen; Guoqiang Li 001; Shoji Yuen (SOFL+MSVL, 2015)

Nested Timed Automata with Diagonal Constraints. - Yuwei Wang; Yunqing Wen; Guoqiang Li 001; Shoji Yuen (ICFEM, 2017)

Updatable timed automata with one updatable clock. - Guoqiang Li 001; Yunqing Wen; Shoji Yuen (Sci. China Inf. Sci., 2018)