Automatic test program generation for pipelined processors. - Hiroaki Iwashita; Satoshi Kowatari; Tsuneo Nakata; Fumiyasu Hirose (ICCAD, 1994)

CTL model checking based on forward state traversal. - Hiroaki Iwashita; Tsuneo Nakata; Fumiyasu Hirose (ICCAD, 1996)

Forward model checking techniques oriented to buggy designs. - Hiroaki Iwashita; Tsuneo Nakata (ICCAD, 1997)

Formal verification based on assume and guarantee approach - a case study (short paper). - Subir K. Roy; Hiroaki Iwashita; Tsuneo Nakata (ASP-DAC, 2000)

Dataflow Analysis for Resource Contention and Register Leakage Properties. - Subir K. Roy; Hiroaki Iwashita; Tsuneo Nakata (VLSI Design, 2000)

Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs. - Ryo Yoshinaka; Toshiki Saitoh; Jun Kawahara; Koji Tsuruma; Hiroaki Iwashita; Shin-ichi Minato (Algorithms, 2012)

Simplifying Urban Network Security Games with Cut-Based Graph Contraction. - Hiroaki Iwashita; Kotaro Ohori; Hirokazu Anai; Atsushi Iwasaki (AAMAS, 2016)

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 (WSC, 2016)

Graphillion: software library for very large sets of labeled graphs. - Takeru Inoue; Hiroaki Iwashita; Jun Kawahara; Shin-ichi Minato (Int. J. Softw. Tools Technol. Transf., 2016)

Frontier-Based Search for Enumerating All Constrained Subgraphs with Compressed Representation. - Jun Kawahara; Takeru Inoue; Hiroaki Iwashita; Shin-ichi Minato (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2017)

Efficient Constrained Pattern Mining Using Dynamic Item Ordering for Explainable Classification. - Hiroaki Iwashita; Takuya Takagi; Hirofumi Suzuki; Keisuke Goto 001; Kotaro Ohori; Hiroki Arimura (CoRR, 2020)

Explainable and Local Correction of Classification Models Using Decision Trees. - Hirofumi Suzuki; Hiroaki Iwashita; Takuya Takagi; Keisuke Goto 001; Yuta Fujishige; Satoshi Hara 001 (AAAI, 2022)

Rule Mining for Correcting Classification Models. - Hirofumi Suzuki; Hiroaki Iwashita; Takuya Takagi; Yuta Fujishige; Satoshi Hara 001 (ICDM, 2023)

Continuous Tensor Relaxation for Finding Diverse Solutions in Combinatorial Optimization Problems. - Yuma Ichikawa; Hiroaki Iwashita (CoRR, 2024)

Continuous Parallel Relaxation for Finding Diverse Solutions in Combinatorial Optimization Problems. - Yuma Ichikawa; Hiroaki Iwashita (Trans. Mach. Learn. Res., 2025)