| 2023 | CPAIOR | ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems. | Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda |
| 2023 | ICTAI | Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability. | Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama |
| 2022 | SSBSE | Applying Combinatorial Testing to Verification-Based Fairness Testing. | Takashi Kitamura, Zhenjiang Zhao, Takahisa Toda |
| 2022 | SSBSE | Efficient Fairness Testing Through Hash-Based Sampling. | Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura |
| 2018 | IDEAL | Extended Min-Hash Focusing on Intersection Cardinality. | Hisashi Koga, Satoshi Suzuki, Taiki Itabashi, Gibran Fuentes-Pineda, Takahisa Toda |
| 2017 | IBPRIA | Improved Compression-Based Pattern Recognition Exploiting New Useful Features. | Taichi Uchino, Hisashi Koga, Takahisa Toda |
| 2016 | ISITA | Effective construction of compression-based feature space. | Hisashi Koga, Yuji Nakajima, Takahisa Toda |
| 2015 | SAC | BDD construction for all solutions SAT and efficient caching mechanism. | Takahisa Toda, Koji Tsuda |
| 2015 | WALCOM | Superset Generation on Decision Diagrams. | Takahisa Toda, Shogo Takeuchi, Koji Tsuda, Shin-ichi Minato |
| 2014 | ISAIM | Dualization of Boolean functions Using Ternary Decision Diagrams. | Takahisa Toda |
| 2014 | PAKDD | Three-way Indexing ZDDs for Large-Scale Sparse Datasets. | Hiroshi Aoki, Takahisa Toda, Shin-ichi Minato |
| 2014 | PAKDD | A General Framework for Parallel Unary Operations on ZDDs. | Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato |
| 2013 | DIS | Fast Compression of Large-Scale Hypergraphs for Solving Combinatorial Problems. | Takahisa Toda |