Hiroaki Iwashita

According to our database, Hiroaki Iwashita authored at least 14 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Continuous Tensor Relaxation for Finding Diverse Solutions in Combinatorial Optimization Problems.

Yuma Ichikawa, Hiroaki Iwashita

CoRR, 2024

2023

Rule Mining for Correcting Classification Models.

Hirofumi Suzuki, Hiroaki Iwashita, Takuya Takagi, Yuta Fujishige, Satoshi Hara

Proceedings of the IEEE International Conference on Data Mining, 2023

2022

Explainable and Local Correction of Classification Models Using Decision Trees.

Hirofumi Suzuki, Hiroaki Iwashita, Takuya Takagi, Keisuke Goto, Yuta Fujishige, Satoshi Hara

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2020

Efficient Constrained Pattern Mining Using Dynamic Item Ordering for Explainable Classification.

Hiroaki Iwashita, Takuya Takagi, Hirofumi Suzuki, Keisuke Goto, Kotaro Ohori, Hiroki Arimura

CoRR, 2020

2017

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

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

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

Proceedings of the Winter Simulation Conference, 2016

Simplifying Urban Network Security Games with Cut-Based Graph Contraction.

Hiroaki Iwashita, Kotaro Ohori, Hirokazu Anai, Atsushi Iwasaki

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2012

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

2000

Dataflow Analysis for Resource Contention and Register Leakage Properties.

Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata

Proceedings of the 13th International Conference on VLSI Design (VLSI Design 2000), 2000

Formal verification based on assume and guarantee approach - a case study (short paper).

Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata

Proceedings of ASP-DAC 2000, 2000

1997

Forward model checking techniques oriented to buggy designs.

Hiroaki Iwashita, Tsuneo Nakata

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

1996

CTL model checking based on forward state traversal.

Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose

Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996

1994

Automatic test program generation for pipelined processors.

Hiroaki Iwashita, Satoshi Kowatari, Tsuneo Nakata, Fumiyasu Hirose

Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, 1994