Yong Li

李勇, 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

2004
4	EE	Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng: Duration-constrained regular expressions. Formal Asp. Comput. 16(2): 155-163 (2004)
2002
3	EE	Yong Li, Dang Van Hung: Checking Temporal Duration Properties of Timed Automata. J. Comput. Sci. Technol. 17(6): 689-698 (2002)
2	EE	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)
2001
1	EE	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

Coauthor Index

1	Dang Van Hung	[3]
2	Xuandong Li	[1] [2] [4]
3	Pei Yu	[1] [2]
4	Jianhua Zhao	[1] [2] [4]
5	Guoliang Zheng	[1] [2] [4]
6	Tao Zheng	[1] [2] [4]