![]() |
| 2002 | ||
|---|---|---|
| 3 | Kiyoharu Tagawa, Hiromasa Haneda, Koji Mizutani: An Imanishian Genetic Algorithm: An Application to the Module Placement Problem. GECCO Late Breaking Papers 2002: 427-434 | |
| 2000 | ||
| 2 | EE | Hidetomo Nabeshima, Katsumi Inoue, Hiromasa Haneda: Implementing an action language using a SAT solver. ICTAI 2000: 96-103 |
| 1992 | ||
| 1 | EE | Shinji Kimura, Shigemi Kashima, Hiromasa Haneda: Precise timing verification of logic circuits under combined delay model. ICCAD 1992: 526-529 |
| 1 | Katsumi Inoue | [2] |
| 2 | Shigemi Kashima | [1] |
| 3 | Shinji Kimura | [1] |
| 4 | Koji Mizutani | [3] |
| 5 | Hidetomo Nabeshima | [2] |
| 6 | Kiyoharu Tagawa | [3] |