Shin-ichi Minato

143 papers A* 11A 10B 20C 9Misc 5Journal 52Unranked 33
YearRankTypeTitle / Venue / Authors
2026 — conf
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.
ICAART (3)
Teruyuki Miyamoto, Jun Kawahara, Shin-ichi Minato
2026 J jnl
Computational Complexity of Swish.
CoRR
Takashi Horiyama, Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Akira Suzuki, Ryuhei Uehara, Yutaro Yamaguchi
2026 B conf
Enumerating All Graph Colorings Using Zero-Suppressed Binary Decision Diagrams.
WALCOM
Ryohei Okuda, Jun Kawahara, Shin-ichi Minato
2026 J jnl
On the sizes of BDDs and ZDDs representing matroids.
Theor. Comput. Sci.
Hiromi Emoto, Yuni Iwamasa, Shin-ichi Minato
2025 A conf
Multi-Objective Combinatorial Reconfiguration Considering Cost and Length by Answer Set Programming: Algorithms, Encodings, and Empirical Analysis.
ECAI
Kazuki Takada, Mutsunori Banbara, Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Torsten Schaub, Ryuhei Uehara
2024 J jnl
A Complete Library of Cross-Bar Gate Logic with Three Control Inputs.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Ryosuke Matsuo, Shin-ichi Minato
2024 J jnl
A Recursive Framework for Evaluating Moments Using Zero-Suppressed Binary Decision Diagrams.
IEEE Access
Brian Godwin S. Lim, Renzo Roel P. Tan, Jun Kawahara, Shin-ichi Minato, Kazushi Ikeda
2024 — conf
Designing Algorithms for the Shortest Path Reconfiguration Problem Using Decision Diagram Operations.
ICAART (3)
Shou Ooba, Jun Kawahara, Shin-ichi Minato
2024 J jnl
International Competition on Graph Counting Algorithms 2023.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Takeru Inoue, Norihito Yasuda, Hidetomo Nabeshima, Masaaki Nishino, Shuhei Denzumi, Shin-ichi Minato
2024 B conf
On the Computational Complexity of Generalized Common Shape Puzzles.
SOFSEM
Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono, Ryuhei Uehara
2024 J jnl
On the sizes of BDDs and ZDDs representing matroids.
CoRR
Hiromi Emoto, Yuni Iwamasa, Shin-ichi Minato
2024 B conf
Optimizing Decision Diagrams for Measurements of Quantum Circuits.
ASPDAC
Ryosuke Matsuo, Rudy Raymond, Shigeru Yamashita, Shin-ichi Minato
2024 B conf
Recent Research Activities on Algorithmic Foundations for Social Advancement.
WALCOM
Shin-ichi Minato
2023 A* conf
A Fast and Exact Evaluation Algorithm for the Expected Number of Connected Nodes: an Enhanced Network Reliability Measure.
INFOCOM
Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato
2023 J jnl
Automated Parallel Test Forms Assembly using Zero-suppressed Binary Decision Diagrams.
IEEE Access
Kazuma Fuchimoto, Shin-ichi Minato, Maomi Ueno
2023 B conf
CompDP: A Framework for Simultaneous Subgraph Counting Under Connectivity Constraints.
SEA
Kengo Nakamura, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato
2023 J jnl
DAG-Pathwidth: Graph Algorithmic Analyses of DAG-Type Blockchain Networks.
IEICE Trans. Inf. Syst.
Shoji Kasahara, Jun Kawahara, Shin-ichi Minato, Jumpei Mori
2023 — conf
Exact and Efficient Network Reliability Evaluation per Outage Scale.
ICC
Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato
2023 J jnl
International Competition on Graph Counting Algorithms 2023.
CoRR
Takeru Inoue, Norihito Yasuda, Hidetomo Nabeshima, Masaaki Nishino, Shuhei Denzumi, Shin-ichi Minato
2023 J jnl
On the Computational Complexity of Generalized Common Shape Puzzles.
CoRR
Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono, Ryuhei Uehara
2023 J jnl
Sorting balls and water: Equivalence and computational complexity.
Theor. Comput. Sci.
Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka
2022 J jnl
Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions.
CoRR
Shin-ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi
2022 Misc conf
Sorting Balls and Water: Equivalence and Computational Complexity.
FUN
Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka
2022 J jnl
Sorting Balls and Water: Equivalence and Computational Complexity.
CoRR
Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka
2022 A conf
Space and Power Reduction in BDD-based Optical Logic Circuits Exploiting Dual Ports.
DATE
Ryosuke Matsuo, Shin-ichi Minato
2021 — conf
BDD Variable Ordering for Minimizing Power Consumption of Optical Logic Circuits.
ISVLSI
Ryosuke Matsuo, Shin-ichi Minato
2021 J jnl
Editor's Message to Special Issue of Young Researchers' Papers.
J. Inf. Process.
Shin-ichi Minato
2021 J jnl
Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes.
Soft Comput.
Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki
2021 J jnl
Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions.
CoRR
Mutsunori Banbara, Kenji Hashimoto, Takashi Horiyama, Shin-ichi Minato, Kakeru Nakamura, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno, Norihito Yasuda
2020 J jnl
Compiling Crossing-free Geometric Graphs with Connectivity Constraint for Fast Enumeration, Random Sampling, and Optimization.
CoRR
Yu Nakahata, Takashi Horiyama, Shin-ichi Minato, Katsuhisa Yamanaka
2020 B conf
Designing Survivable Networks with Zero-Suppressed Binary Decision Diagrams.
WALCOM
Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato
2020 B conf
Enumerating All Subgraphs Under Given Constraints Using Zero-Suppressed Sentential Decision Diagrams.
SEA
Yu Nakahata, Masaaki Nishino, Jun Kawahara, Shin-ichi Minato
2020 J jnl
Enumeration of Associative Magic Squares of Order 7.
J. Inf. Process.
Go Kato, Shin-ichi Minato
2020 B conf
Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration.
WALCOM
Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato
2020 J jnl
Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes.
CoRR
Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki
2020 J jnl
Tree Decomposition-based Approach for Compiling Independent Sets.
J. Inf. Process.
Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato
2019 A conf
A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic.
SDM
Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, Koji Kurihara
2019 J jnl
Decomposing a Graph into Unigraphs.
CoRR
Takashi Horiyama, Jun Kawahara, Shin-ichi Minato, Yu Nakahata
2019 J jnl
Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration.
CoRR
Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato
2018 J jnl
DenseZDD: A Compact and Fast Index for Families of Sets.
Algorithms
Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, Kunihiko Sadakane
2018 A conf
Efficient Bandit Combinatorial Optimization Algorithm with Zero-suppressed Binary Decision Diagrams.
AISTATS
Shinsaku Sakaue, Masakazu Ishihata, Shin-ichi Minato
2018 J jnl
Evaluation of Annual Energy Loss Reduction Based on Reconfiguration Scheduling.
IEEE Trans. Smart Grid
Yuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Shin-ichi Minato, Yasuhiro Hayashi
2018 C conf
Exact Computation of Strongly Connected Reliability by Binary Decision Diagrams.
COCOA
Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato
2018 — conf
FPGA-Based QBoost with Large-Scale Annealing Processor and Accelerated Hyperparameter Search.
ReConFig
Takashi Takemoto, Normann Mertig, Masato Hayashi, Saki Susa-Tanaka, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki, Masanao Yamaoka
2018 J jnl
Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Hirofumi Suzuki, Shin-ichi Minato
2018 J jnl
Fast packet classification algorithm for network-wide forwarding behaviors.
Comput. Commun.
Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, Osamu Akashi
2018 — conf
Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity.
TPNC
Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki
2018 A* conf
Optimizing Network Reliability via Best-First Search over Decision Diagrams.
INFOCOM
Masaaki Nishino, Takeru Inoue, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata
2017 J jnl
BDD-Constrained A
IEICE Trans. Inf. Syst.
Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata
2017 — conf
BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems.
AAAI Workshops
Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata
2017 A* conf
Compiling Graph Substructures into Sentential Decision Diagrams.
AAAI
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata
2017 A* conf
Dancing with Decision Diagrams: A Combined Approach to Exact Cover.
AAAI
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata
2017 — conf
Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking.
PECCS
Reona Minoda, Shin-ichi Minato
2017 — conf
Fast Compilation of s-t Paths on a Graph for Counting and Enumeration.
AMBN
Norihito Yasuda, Teruji Sugaya, Shin-ichi Minato
2017 — conf
Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation.
AMBN
Masakazu Ishihata, Shan Gao, Shin-ichi Minato
2017 J jnl
Frontier-Based Search for Enumerating All Constrained Subgraphs with Compressed Representation.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin-ichi Minato
2017 B conf
Generating All Patterns of Graph Partitions Within a Disparity Bound.
WALCOM
Jun Kawahara, Takashi Horiyama, Keisuke Hotta, Shin-ichi Minato
2017 J jnl
Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation.
IEICE Trans. Inf. Syst.
Shin-ichi Minato
2017 J jnl
Practical Adversarial Combinatorial Bandit Algorithm via Compression of Decision Sets.
CoRR
Shinsaku Sakaue, Masakazu Ishihata, Shin-ichi Minato
2017 A* conf
Statistical Emerging Pattern Mining with Multiple Testing Correction.
KDD
Junpei Komiyama, Masakazu Ishihata, Hiroki Arimura, Takashi Nishibayashi, Shin-ichi Minato
2017 J jnl
Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages.
IEICE Trans. Inf. Syst.
Reona Minoda, Shin-ichi Minato
2016 — ch.
Counting by ZDD.
Encyclopedia of Algorithms
Shin-ichi Minato
2016 J jnl
Graphillion: software library for very large sets of labeled graphs.
Int. J. Softw. Tools Technol. Transf.
Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato
2016 — conf
Maximizing hosting capacity of distributed generation by network reconfiguration in distribution system.
PSCC
Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, Shin-ichi Minato
2016 — conf
Power of Enumeration - BDD/ZDD-Based Techniques for Discrete Structure Manipulation.
ISMVL
Shin-ichi Minato
2016 J jnl
Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations.
Discret. Appl. Math.
Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato
2016 C conf
Using \pi DDs for Nearest Neighbor Optimization of Quantum Circuits.
RC
Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato
2016 A* conf
Zero-Suppressed Sentential Decision Diagrams.
AAAI
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata
2015 — conf
A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization.
HLT-NAACL
Masaaki Nishino, Norihito Yasuda, Tsutomu Hirao, Shin-ichi Minato, Masaaki Nagata
2015 A* conf
BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems.
AAAI
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata
2015 J jnl
Distribution Network Verification for Secure Restoration by Enumerating All Critical Failures.
IEEE Trans. Smart Grid
Takeru Inoue, Norihito Yasuda, Shunsuke Kawano, Yuji Takenobu, Shin-ichi Minato, Yasuhiro Hayashitakeru
2015 B conf
Enumerating Eulerian Trails via Hamiltonian Path Enumeration.
WALCOM
Hiroyuki Hanada, Shuhei Denzumi, Yuma Inoue, Hiroshi Aoki, Norihito Yasuda, Shogo Takeuchi, Shin-ichi Minato
2015 — conf
Factorization of ZDDs for Representing Bayesian Networks Based on d-Separations.
AMBN@JSAI-isAI
Shan Gao, Shin-ichi Minato
2015 C conf
Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits.
RC
Yuma Inoue, Shin-ichi Minato
2015 B conf
Superset Generation on Decision Diagrams.
WALCOM
Takahisa Toda, Shogo Takeuchi, Koji Tsuda, Shin-ichi Minato
2014 — conf
A Fast Method of Statistical Assessment for Combinatorial Hypotheses Based on Frequent Itemset Enumeration.
ECML/PKDD (2)
Shin-ichi Minato, Takeaki Uno, Koji Tsuda, Aika Terada, Jun Sese
2014 — conf
A General Framework for Parallel Unary Operations on ZDDs.
PAKDD Workshops
Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato
2014 A conf
Accelerating Graph Adjacency Matrix Multiplications with Adjacency Forest.
SDM
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata
2014 B conf
An Efficient Method for Indexing All Topological Orders of a Directed Graph.
ISAAC
Yuma Inoue, Shin-ichi Minato
2014 B conf
DenseZDD: A Compact and Fast Index for Families of Sets.
SEA
Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, Kunihiko Sadakane
2014 J jnl
Distribution Loss Minimization With Guaranteed Error Bound.
IEEE Trans. Smart Grid
Takeru Inoue, Keiji Takano, Takayuki Watanabe, Jun Kawahara, Ryo Yoshinaka, Akihiro Kishimoto, Koji Tsuda, Shin-ichi Minato, Yasuhiro Hayashi
2014 Misc conf
Fast Regular Expression Matching Based On Dual Glushkov NFA.
PSC
Ryutaro Kurai, Norihito Yasuda, Hiroki Arimura, Shinobu Nagayama, Shin-ichi Minato
2014 J jnl
Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yuma Inoue, Takahisa Toda, Shin-ichi Minato
2014 — conf
On the Size of the Zero-Suppressed Binary Decision Diagram that Represents All the Subtrees in a Tree.
PAKDD Workshops
Norihito Yasuda, Masaaki Nishino, Shin-ichi Minato
2014 B conf
Rethinking Packet Classification for Global Network View of Software-Defined Networking.
ICNP
Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, Osamu Akashi
2014 C ed.
Reversible Computation - 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
RC
Shigeru Yamashita, Shin-ichi Minato
2014 — conf
Three-way Indexing ZDDs for Large-Scale Sparse Datasets.
PAKDD Workshops
Hiroshi Aoki, Takahisa Toda, Shin-ichi Minato
2013 Misc conf
Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams .
PSC
Shuhei Denzumi, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato
2013 — conf
Debugging of Reversible Circuits Using pDDs.
ISMVL
Laura Tague, Mathias Soeken, Shin-ichi Minato, Rolf Drechsler
2013 B conf
Shared-Memory Parallel Frontier-Based Search.
WALCOM
Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto, Shin-ichi Minato
2013 J jnl
Techniques of BDD/ZDD: Brief History and Recent Activity.
IEICE Trans. Inf. Syst.
Shin-ichi Minato
2013 A conf
Z-Skip-Links for Fast Traversal of ZDDs Representing Large-Scale Sparse Datasets.
ESA
Shin-ichi Minato
2012 J jnl
A Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions.
IEICE Trans. Inf. Syst.
Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga
2012 J jnl
BDD-Based Combinatorial Keyword Query Processing under a Taxonomy Model.
Int. J. Organ. Collect. Intell.
Shin-ichi Minato, Nicolas Spyratos
2012 J jnl
Counterexamples to the long-standing conjecture on the complexity of BDD binary operations.
Inf. Process. Lett.
Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato
2012 J jnl
Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs.
Algorithms
Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, Shin-ichi Minato
2012 — conf
Incremental Set Recommendation Based on Class Differences.
PAKDD (1)
Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, Shin-ichi Minato
2012 J jnl
On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake.
IEICE Trans. Commun.
Takeru Inoue, Shin-ichi Minato
2012 J jnl
Synthesis of Semi-Classical Quantum Circuits.
J. Multiple Valued Log. Soft Comput.
Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller
2012 C conf
Using
RC
Mathias Soeken, Robert Wille, Shin-ichi Minato, Rolf Drechsler
2011 B conf
A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams.
PRIMA
Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shin-ichi Minato, Makoto Yokoo
2011 Misc conf
An efficient algorithm for constructing a Sequence Binary Decision Diagram representing a set of reversed sequences.
GrC
Hiroshi Aoki, Shigeru Yamashita, Shin-ichi Minato
2011 — conf
Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs.
Australasian Conference on Artificial Intelligence
Masakazu Ishihata, Taisuke Sato, Shin-ichi Minato
2011 — conf
Great east Japan earthquake viewed from a URL shortener.
SWID@CoNEXT
Takeru Inoue, Fujio Toriumi, Yasuyuki Shirai, Shin-ichi Minato
2011 — conf
Implementation of sequence BDDs in Erlang.
Erlang Workshop
Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato
2011 Misc conf
Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations.
PSC
Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato
2011 J jnl
Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering.
New Gener. Comput.
Shin-ichi Minato
2011 — conf
Second Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP).
JSAI-isAI Workshops
Koji Tsuda, Shin-ichi Minato
2010 C conf
An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models.
ACML
Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato
2010 — conf
Discrete Structure Manipulation for Discovery Science Problems.
ISCIS
Shin-ichi Minato
2010 — conf
Dynamic reconfigurable bit-parallel architecture for large-scale regular expression matching.
FPT
Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga
2010 C conf
Fast Bit-Parallel Matching for Network and Regular Expressions.
SPIRE
Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura
2010 A conf
Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases.
SDM
Shin-ichi Minato, Takeaki Uno
2009 — ed.
New Frontiers in Applied Data Mining, PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008. Revised Selected Papers
PAKDD Workshops
Sanjay Chawla, Takashi Washio, Shin-ichi Minato, Shusaku Tsumoto, Takashi Onoda, Seiji Yamada, Akihiro Inokuchi
2009 — conf
The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009).
JSAI-isAI Workshops
Akihiro Yamamoto, Kouichi Hirata, Shin-ichi Minato
2008 C conf
A fast algorithm for cofactor implication checking and its application for knowledge discovery.
CIT
Shin-ichi Minato
2008 C conf
An efficient verification of quantum circuits under a practical restriction.
CIT
Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller
2008 J jnl
DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller
2008 B conf
LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation.
PAKDD
Shin-ichi Minato, Takeaki Uno, Hiroki Arimura
2007 B conf
A Theoretical Study on Variable Ordering of Zero-Suppressed BDDs for Representing Frequent Itemsets.
Discovery Science
Shin-ichi Minato
2007 A* conf
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs.
IJCAI
Shin-ichi Minato, Ken Satoh, Taisuke Sato
2007 J jnl
Frequent Closed Item Set Mining Based on Zero-suppressed BDDs.
Inf. Media Technol.
Shin-ichi Minato, Hiroki Arimura
2007 J jnl
Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data.
Inf. Media Technol.
Shin-ichi Minato, Kimihito Ito
2006 — conf
Frequent Pattern Mining and Knowledge Indexing Based on Zero-Suppressed BDDs.
KDID
Shin-ichi Minato, Hiroki Arimura
2006 — conf
N-Gram Analysis Based on Zero-Suppressed BDDs.
JSAI
Ryutaro Kurai, Shin-ichi Minato, Thomas Zeugmann
2006 B conf
Symmetric Item Set Mining Based on Zero-Suppressed BDDs.
Discovery Science
Shin-ichi Minato
2005 — conf
Efficient Database Analysis Using VSOP Calculator Based on Zero-Suppressed BDDs.
JSAI Workshops
Shin-ichi Minato
2005 — conf
Efficient Method of Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs.
WIRI
Shin-ichi Minato, Hiroki Arimura
2005 — conf
VSOP (Valued-Sum-of-Products) Calculator for Knowledge Processing Based on Zero-Suppressed BDDs.
Federation over the Web
Shin-ichi Minato
2002 J jnl
Streaming BDD Manipulation.
IEEE Trans. Computers
Shin-ichi Minato
2001 A conf
Streaming BDD manipulation for large-scale combinatorial problems.
DATE
Shin-ichi Minato, Shinya Ishihara
2001 J jnl
Zero-suppressed BDDs and their applications.
Int. J. Softw. Tools Technol. Transf.
Shin-ichi Minato
1999 — ch.
Binary Decision Diagrams.
The VLSI Handbook
Shin-ichi Minato, Saburo Muroga
1998 A conf
Finding all simple disjunctive decompositions using irredundant sum-of-products forms.
ICCAD
Shin-ichi Minato, Giovanni De Micheli
1998 J jnl
On the Properties of Combination Set Operations.
Inf. Process. Lett.
Hiroshi G. Okuno, Shin-ichi Minato, Hideki Isozaki
1997 J jnl
Arithmetic Boolean Expression Manipulator Using BDDs.
Formal Methods Syst. Des.
Shin-ichi Minato, Fabio Somenzi
1996 B conf
BDDs vs. Zero-Suppressed BDDs: for CTL Symbolic Model Checking of Petri Nets.
FMCAD
Tomohiro Yoneda, Hideyuki Hatori, Atsushi Takahara, Shin-ichi Minato
1996 J jnl
Fast factorization method for implicit cube set representation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Shin-ichi Minato
1996 A conf
Generation of BDDs from hardware algorithm descriptions.
ICCAD
Shin-ichi Minato
1995 — conf
Manipulation of regular expressions under length constraints using zero-suppressed-BDDs.
ASP-DAC
Shinya Ishihara, Shin-ichi Minato
1994 A* conf
Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs.
DAC
Shin-ichi Minato
1993 A* conf
Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems.
DAC
Shin-ichi Minato
1990 A* conf
Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation.
DAC
Shin-ichi Minato, Nagisa Ishiura, Shuzo Yajima