Yunqing Wen

According to our database, Yunqing Wen authored at least 5 papers between 2013 and 2018.

Collaborative distances:

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

2018

Updatable timed automata with one updatable clock.

Guoqiang Li, Yunqing Wen, Shoji Yuen

Sci. China Inf. Sci., 2018

2017

Nested Timed Automata with Diagonal Constraints.

Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen

Proceedings of the Formal Methods and Software Engineering, 2017

2015

On Reachability Analysis of Updatable Timed Automata with One Updatable Clock.

Yunqing Wen, Guoqiang Li, Shoji Yuen

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

2014

An Over-Approximation Forward Analysis for Nested Timed Automata.

Yunqing Wen, Guoqiang Li, Shoji Yuen

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

2013

Towards Building Virtual Vocabularies in the Semantic Web.

Yunqing Wen, Xiang Zhang, Kai Shen, Peng Wang

Proceedings of the Advanced Data Mining and Applications, 9th International Conference, 2013