Shiyuan Ding

	1993
4		Shiyuan Ding, Takuya Katayama: Specifying Reactive Systems with Attributed Finite State Machines. IWSSD 1993: 90-99
3		Shiyuan Ding, Takuya Katayama: Attributed State Machines For Behavior Specification of Reactive Systems. SEKE 1993: 695-702
	1987
2		Bogong Su, Shiyuan Ding, Jian Wang, Jinshi Xia: Microcode compaction with timing constraints. MICRO 1987: 59-68
1		Bogong Su, Shiyuan Ding, Jian Wang, Jinshi Xia: GURPR - a method for global software pipelining. MICRO 1987: 88-96

Coauthor Index

1	Takuya Katayama	[3] [4]
2	Bogong Su	[1] [2]
3	Jian Wang	[1] [2]
4	Jinshi Xia	[1] [2]

Colors in the list of coauthors