| 2023 | ICDM | Rule Mining for Correcting Classification Models. | Hirofumi Suzuki, Hiroaki Iwashita, Takuya Takagi, Yuta Fujishige, Satoshi Hara |
| 2022 | AAAI | Explainable and Local Correction of Classification Models Using Decision Trees. | Hirofumi Suzuki, Hiroaki Iwashita, Takuya Takagi, Keisuke Goto, Yuta Fujishige, Satoshi Hara |
| 2016 | WSC | Agent-based simulation analysis for security planning based on structures of urban road networks. | Akinobu Goto, Shingo Takahashi, Kotaro Ohori, Shohei Yamane, Hiroaki Iwashita, Hirokazu Anai |
| 2000 | ASPDAC | Formal verification based on assume and guarantee approach - a case study (short paper). | Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata |
| 2000 | VLSID | Dataflow Analysis for Resource Contention and Register Leakage Properties. | Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata |
| 1997 | ICCAD | Forward model checking techniques oriented to buggy designs. | Hiroaki Iwashita, Tsuneo Nakata |
| 1996 | ICCAD | CTL model checking based on forward state traversal. | Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose |
| 1994 | ICCAD | Automatic test program generation for pipelined processors. | Hiroaki Iwashita, Satoshi Kowatari, Tsuneo Nakata, Fumiyasu Hirose |