| 2026 | FUN | Computational Complexity of Swish Is Solved. | Takashi Horiyama, Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Akira Suzuki, Ryuhei Uehara, Yutaro Yamaguchi |
| 2026 | ICAART | An Efficient ZDD-Based Method for Enumerating All Cost-Bounded Solutions of Graph Problems: Applications to Weighted Vertex Cover and Hamiltonian s-t Path Problems. | Teruyuki Miyamoto, Jun Kawahara, Shin-ichi Minato |
| 2026 | WALCOM | Enumerating All Graph Colorings Using Zero-Suppressed Binary Decision Diagrams. | Ryohei Okuda, Jun Kawahara, Shin-ichi Minato |
| 2025 | ECAI | Multi-Objective Combinatorial Reconfiguration Considering Cost and Length by Answer Set Programming: Algorithms, Encodings, and Empirical Analysis. | Kazuki Takada, Mutsunori Banbara, Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Torsten Schaub, Ryuhei Uehara |
| 2024 | ASPDAC | Optimizing Decision Diagrams for Measurements of Quantum Circuits. | Ryosuke Matsuo, Rudy Raymond, Shigeru Yamashita, Shin-ichi Minato |
| 2024 | ICAART | Designing Algorithms for the Shortest Path Reconfiguration Problem Using Decision Diagram Operations. | Shou Ooba, Jun Kawahara, Shin-ichi Minato |
| 2024 | SOFSEM | On the Computational Complexity of Generalized Common Shape Puzzles. | Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono, Ryuhei Uehara |
| 2024 | WALCOM | Recent Research Activities on Algorithmic Foundations for Social Advancement. | Shin-ichi Minato |
| 2023 | INFOCOM | A Fast and Exact Evaluation Algorithm for the Expected Number of Connected Nodes: an Enhanced Network Reliability Measure. | Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato |
| 2022 | DATE | Space and Power Reduction in BDD-based Optical Logic Circuits Exploiting Dual Ports. | Ryosuke Matsuo, Shin-ichi Minato |
| 2022 | FUN | Sorting Balls and Water: Equivalence and Computational Complexity. | Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka |
| 2020 | WALCOM | Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration. | Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato |
| 2020 | WALCOM | Designing Survivable Networks with Zero-Suppressed Binary Decision Diagrams. | Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato |
| 2019 | SDM | A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic. | Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, Koji Kurihara |
| 2018 | AISTATS | Efficient Bandit Combinatorial Optimization Algorithm with Zero-suppressed Binary Decision Diagrams. | Shinsaku Sakaue, Masakazu Ishihata, Shin-ichi Minato |
| 2018 | COCOA | Exact Computation of Strongly Connected Reliability by Binary Decision Diagrams. | Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato |
| 2018 | INFOCOM | Optimizing Network Reliability via Best-First Search over Decision Diagrams. | Masaaki Nishino, Takeru Inoue, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata |
| 2017 | AAAI | Dancing with Decision Diagrams: A Combined Approach to Exact Cover. | Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata |
| 2017 | AAAI | Compiling Graph Substructures into Sentential Decision Diagrams. | Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata |
| 2017 | AAAI | BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems. | Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata |
| 2017 | KDD | Statistical Emerging Pattern Mining with Multiple Testing Correction. | Junpei Komiyama, Masakazu Ishihata, Hiroki Arimura, Takashi Nishibayashi, Shin-ichi Minato |
| 2017 | WALCOM | Generating All Patterns of Graph Partitions Within a Disparity Bound. | Jun Kawahara, Takashi Horiyama, Keisuke Hotta, Shin-ichi Minato |
| 2016 | AAAI | Zero-Suppressed Sentential Decision Diagrams. | Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata |
| 2016 | RC | Using \pi DDs for Nearest Neighbor Optimization of Quantum Circuits. | Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato |
| 2015 | AAAI | BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems. | Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata |
| 2015 | NAACL | A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization. | Masaaki Nishino, Norihito Yasuda, Tsutomu Hirao, Shin-ichi Minato, Masaaki Nagata |
| 2015 | RC | Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits. | Yuma Inoue, Shin-ichi Minato |
| 2015 | WALCOM | Enumerating Eulerian Trails via Hamiltonian Path Enumeration. | Hiroyuki Hanada, Shuhei Denzumi, Yuma Inoue, Hiroshi Aoki, Norihito Yasuda, Shogo Takeuchi, Shin-ichi Minato |
| 2015 | WALCOM | Superset Generation on Decision Diagrams. | Takahisa Toda, Shogo Takeuchi, Koji Tsuda, Shin-ichi Minato |
| 2014 | ICNP | Rethinking Packet Classification for Global Network View of Software-Defined Networking. | Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, Osamu Akashi |
| 2014 | ISAAC | An Efficient Method for Indexing All Topological Orders of a Directed Graph. | Yuma Inoue, Shin-ichi Minato |
| 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 |
| 2014 | PAKDD | On the Size of the Zero-Suppressed Binary Decision Diagram that Represents All the Subtrees in a Tree. | Norihito Yasuda, Masaaki Nishino, Shin-ichi Minato |
| 2014 | SDM | Accelerating Graph Adjacency Matrix Multiplications with Adjacency Forest. | Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata |
| 2013 | ESA | Z-Skip-Links for Fast Traversal of ZDDs Representing Large-Scale Sparse Datasets. | Shin-ichi Minato |
| 2013 | WALCOM | Shared-Memory Parallel Frontier-Based Search. | Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto, Shin-ichi Minato |
| 2012 | PAKDD | Incremental Set Recommendation Based on Class Differences. | Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, Shin-ichi Minato |
| 2012 | RC | Using | Mathias Soeken, Robert Wille, Shin-ichi Minato, Rolf Drechsler |
| 2011 | CoNEXT | Great east Japan earthquake viewed from a URL shortener. | Takeru Inoue, Fujio Toriumi, Yasuyuki Shirai, Shin-ichi Minato |
| 2011 | GRC | An efficient algorithm for constructing a Sequence Binary Decision Diagram representing a set of reversed sequences. | Hiroshi Aoki, Shigeru Yamashita, Shin-ichi Minato |
| 2011 | PRIMA | A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams. | Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shin-ichi Minato, Makoto Yokoo |
| 2011 | SAT | Untitled record | Shin-ichi Minato |
| 2010 | SDM | Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases. | Shin-ichi Minato, Takeaki Uno |
| 2010 | SPIRE | Fast Bit-Parallel Matching for Network and Regular Expressions. | Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura |
| 2008 | PAKDD | LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation. | Shin-ichi Minato, Takeaki Uno, Hiroki Arimura |
| 2007 | DIS | A Theoretical Study on Variable Ordering of Zero-Suppressed BDDs for Representing Frequent Itemsets. | Shin-ichi Minato |
| 2007 | IJCAI | Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. | Shin-ichi Minato, Ken Satoh, Taisuke Sato |
| 2006 | DIS | Symmetric Item Set Mining Based on Zero-Suppressed BDDs. | Shin-ichi Minato |
| 2001 | DATE | Streaming BDD manipulation for large-scale combinatorial problems. | Shin-ichi Minato, Shinya Ishihara |
| 1998 | ICCAD | Finding all simple disjunctive decompositions using irredundant sum-of-products forms. | Shin-ichi Minato, Giovanni De Micheli |
| 1996 | FMCAD | BDDs vs. Zero-Suppressed BDDs: for CTL Symbolic Model Checking of Petri Nets. | Tomohiro Yoneda, Hideyuki Hatori, Atsushi Takahara, Shin-ichi Minato |
| 1996 | ICCAD | Generation of BDDs from hardware algorithm descriptions. | Shin-ichi Minato |
| 1995 | ASPDAC | Manipulation of regular expressions under length constraints using zero-suppressed-BDDs. | Shinya Ishihara, Shin-ichi Minato |
| 1994 | DAC | Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs. | Shin-ichi Minato |
| 1993 | DAC | Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems. | Shin-ichi Minato |
| 1990 | DAC | Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation. | Shin-ichi Minato, Nagisa Ishiura, Shuzo Yajima |