| |
| 2005 | ||
|---|---|---|
| 4 | EE | Yosuke Mutsuda, Takaaki Kato, Satoshi Yamane: Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata. ICESS 2005: 346-360 |
| 3 | EE | Yosuke Mutsuda, Takaaki Kato, Satoshi Yamane: Symbolic Reachability Analysis of Probabilistic Linear Hybrid Automata. IEICE Transactions 88-A(11): 2972-2981 (2005) |
| 1992 | ||
| 2 | Takaaki Kato, Koji Suginuma, Nader Bagherzadeh: On Design and Performance Analysis of a Superscalar Architecture. ICPP (1) 1992: 171-178 | |
| 1 | EE | Takaaki Kato, Toshihisa Ono, Nader Bagherzadeh: Performance analysis and design methodology for a scalable superscalar architecture. MICRO 1992: 246-255 |
| 1 | Nader Bagherzadeh | [1] [2] |
| 2 | Yosuke Mutsuda | [3] [4] |
| 3 | Toshihisa Ono | [1] |
| 4 | Koji Suginuma | [2] |
| 5 | Satoshi Yamane | [3] [4] |