Yong Li (Selection)

李勇, State Key Laboratory of Novel Software Technology, Nanjing, China

other persons with the same name:

• Yong Li
• Yong Li - Toyama University, Toyama-shi, Japan
• Yong Li - Zhejiang University, Hangzhou, China
• Yong Li - 李勇, Beijing Jiaotong University, China

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

4		Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng: Duration-constrained regular expressions. Formal Asp. Comput. 16(2): 155-163 (2004)
2		Xuandong Li, Jianhua Zhao, Pei Yu, Yong Li, Tao Zheng, Guoliang Zheng: Positive loop-closed automata: a decidable class of hybrid systems. J. Log. Algebr. Program. 52-53: 79-108 (2002)
1		Xuandong Li, Pei Yu, Jianhua Zhao, Yong Li, Tao Zheng, Guoliang Zheng: Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. CHARME 2001: 465-480

Selection of 3 from 4 records - Yong Li has 6 coauthors