| |
| 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 | EE | Bogong Su, Shiyuan Ding, Jian Wang, Jinshi Xia: Microcode compaction with timing constraints. MICRO 1987: 59-68 |
| 1 | EE | Bogong Su, Shiyuan Ding, Jian Wang, Jinshi Xia: GURPR - a method for global software pipelining. MICRO 1987: 88-96 |
| 1 | Takuya Katayama | [3] [4] |
| 2 | Bogong Su | [1] [2] |
| 3 | Jian Wang | [1] [2] |
| 4 | Jinshi Xia | [1] [2] |