| |
| 2004 | ||
|---|---|---|
| 7 | EE | Masahito Kurihara, Hisashi Kondo: Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification. IEA/AIE 2004: 827-837 |
| 1999 | ||
| 6 | Masahito Kurihara, Hisashi Kondo: Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains. Australian Joint Conference on Artificial Intelligence 1999: 353-364 | |
| 5 | Masahito Kurihara, Hisashi Kondo: Completion for Multiple Reduction Orderings. J. Autom. Reasoning 23(1): 25-42 (1999) | |
| 1996 | ||
| 4 | EE | Hisashi Kondo, Kwang-Ting Cheng: An Efficient Compact Test Generator for IDDQ Testing. Asian Test Symposium 1996: 177-182 |
| 3 | EE | Hisashi Kondo, Kwang-Ting Cheng: Driving toward higher IDDQ test quality for sequential circuits: a generalized fault model and its ATPG. ICCAD 1996: 228-232 |
| 1995 | ||
| 2 | Masahito Kurihara, Hisashi Kondo, Azuma Ohuchi: Completion for Multiple Reduction Orderings. RTA 1995: 71-85 | |
| 1992 | ||
| 1 | EE | Masahito Kurihara, Hisashi Kondo, Azuma Ohuchi: Using ATMS to Efficiently Verify the Termination of Rewrite Rule Programs. International Journal of Software Engineering and Knowledge Engineering 2(4): 547-565 (1992) |
| 1 | Kwang-Ting Cheng (Kwang-Ting (Tim) Cheng) | [3] [4] |
| 2 | Masahito Kurihara | [1] [2] [5] [6] [7] |
| 3 | Azuma Ohuchi | [1] [2] |