default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShin-ichi Minato
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j39]Brian Godwin S. Lim
, Renzo Roel P. Tan, Jun Kawahara, Shin-ichi Minato, Kazushi Ikeda:
A Recursive Framework for Evaluating Moments Using Zero-Suppressed Binary Decision Diagrams. IEEE Access 12: 91886-91895 (2024)- [j38]Ryosuke Matsuo, Shin-ichi Minato:
A Complete Library of Cross-Bar Gate Logic with Three Control Inputs. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 107(3): 566-574 (2024) - [j37]Takeru Inoue, Norihito Yasuda, Hidetomo Nabeshima, Masaaki Nishino, Shuhei Denzumi, Shin-ichi Minato:
International Competition on Graph Counting Algorithms 2023. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 107(9): 1441-1451 (2024) - [c85]Ryosuke Matsuo, Rudy Raymond, Shigeru Yamashita, Shin-ichi Minato:
Optimizing Decision Diagrams for Measurements of Quantum Circuits. ASPDAC 2024: 134-139 - [c84]Shou Ooba, Jun Kawahara, Shin-ichi Minato:
Designing Algorithms for the Shortest Path Reconfiguration Problem Using Decision Diagram Operations. ICAART (3) 2024: 641-648 - [c83]Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono, Ryuhei Uehara:
On the Computational Complexity of Generalized Common Shape Puzzles. SOFSEM 2024: 55-68 - [c82]Shin-ichi Minato:
Recent Research Activities on Algorithmic Foundations for Social Advancement. WALCOM 2024: 1-8 - [i11]Hiromi Emoto, Yuni Iwamasa, Shin-ichi Minato:
On the sizes of BDDs and ZDDs representing matroids. CoRR abs/2404.14670 (2024) - 2023
- [j36]Kazuma Fuchimoto, Shin-ichi Minato, Maomi Ueno:
Automated Parallel Test Forms Assembly using Zero-suppressed Binary Decision Diagrams. IEEE Access 11: 112804-112813 (2023) - [j35]Shoji Kasahara, Jun Kawahara, Shin-ichi Minato, Jumpei Mori:
DAG-Pathwidth: Graph Algorithmic Analyses of DAG-Type Blockchain Networks. IEICE Trans. Inf. Syst. 106(3): 272-283 (2023) - [j34]Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka:
Sorting balls and water: Equivalence and computational complexity. Theor. Comput. Sci. 978: 114158 (2023) - [c81]Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato:
Exact and Efficient Network Reliability Evaluation per Outage Scale. ICC 2023: 4564-4570 - [c80]Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato:
A Fast and Exact Evaluation Algorithm for the Expected Number of Connected Nodes: an Enhanced Network Reliability Measure. INFOCOM 2023: 1-10 - [c79]Kengo Nakamura, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato:
CompDP: A Framework for Simultaneous Subgraph Counting Under Connectivity Constraints. SEA 2023: 11:1-11:20 - [i10]Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono, Ryuhei Uehara:
On the Computational Complexity of Generalized Common Shape Puzzles. CoRR abs/2305.10749 (2023) - [i9]Takeru Inoue, Norihito Yasuda, Hidetomo Nabeshima, Masaaki Nishino, Shuhei Denzumi, Shin-ichi Minato:
International Competition on Graph Counting Algorithms 2023. CoRR abs/2309.07381 (2023) - 2022
- [c78]Ryosuke Matsuo, Shin-ichi Minato:
Space and Power Reduction in BDD-based Optical Logic Circuits Exploiting Dual Ports. DATE 2022: 1071-1076 - [c77]Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka:
Sorting Balls and Water: Equivalence and Computational Complexity. FUN 2022: 16:1-16:17 - [i8]Shin-ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi:
Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions. CoRR abs/2201.08118 (2022) - [i7]Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka:
Sorting Balls and Water: Equivalence and Computational Complexity. CoRR abs/2202.09495 (2022) - 2021
- [j33]Shin-ichi Minato:
Editor's Message to Special Issue of Young Researchers' Papers. J. Inf. Process. 29: 205 (2021) - [j32]Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki:
Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes. Soft Comput. 25(3): 1731-1749 (2021) - [c76]Ryosuke Matsuo, Shin-ichi Minato:
BDD Variable Ordering for Minimizing Power Consumption of Optical Logic Circuits. ISVLSI 2021: 96-101 - [i6]Mutsunori Banbara, Kenji Hashimoto, Takashi Horiyama, Shin-ichi Minato, Kakeru Nakamura, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno, Norihito Yasuda:
Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions. CoRR abs/2110.05184 (2021) - 2020
- [j31]Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato:
Tree Decomposition-based Approach for Compiling Independent Sets. J. Inf. Process. 28: 354-368 (2020) - [j30]Go Kato, Shin-ichi Minato:
Enumeration of Associative Magic Squares of Order 7. J. Inf. Process. 28: 903-910 (2020) - [c75]Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato:
Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration. WALCOM 2020: 211-222 - [c74]Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato:
Designing Survivable Networks with Zero-Suppressed Binary Decision Diagrams. WALCOM 2020: 273-285 - [c73]Yu Nakahata, Masaaki Nishino, Jun Kawahara, Shin-ichi Minato:
Enumerating All Subgraphs Under Given Constraints Using Zero-Suppressed Sentential Decision Diagrams. SEA 2020: 9:1-9:14 - [i5]Yu Nakahata, Takashi Horiyama, Shin-ichi Minato, Katsuhisa Yamanaka:
Compiling Crossing-free Geometric Graphs with Connectivity Constraint for Fast Enumeration, Random Sampling, and Optimization. CoRR abs/2001.08899 (2020) - [i4]Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki:
Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes. CoRR abs/2004.03819 (2020)
2010 – 2019
- 2019
- [c72]Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, Koji Kurihara:
A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic. SDM 2019: 91-99 - [i3]Takashi Horiyama, Jun Kawahara, Shin-ichi Minato, Yu Nakahata:
Decomposing a Graph into Unigraphs. CoRR abs/1904.09438 (2019) - [i2]Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato:
Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration. CoRR abs/1911.07465 (2019) - 2018
- [j29]Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, Kunihiko Sadakane:
DenseZDD: A Compact and Fast Index for Families of Sets. Algorithms 11(8): 128 (2018) - [j28]Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, Osamu Akashi:
Fast packet classification algorithm for network-wide forwarding behaviors. Comput. Commun. 116: 101-117 (2018) - [j27]Hirofumi Suzuki, Shin-ichi Minato:
Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 101-A(9): 1375-1382 (2018) - [j26]Yuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Shin-ichi Minato, Yasuhiro Hayashi:
Evaluation of Annual Energy Loss Reduction Based on Reconfiguration Scheduling. IEEE Trans. Smart Grid 9(3): 1986-1996 (2018) - [c71]Shinsaku Sakaue, Masakazu Ishihata, Shin-ichi Minato:
Efficient Bandit Combinatorial Optimization Algorithm with Zero-suppressed Binary Decision Diagrams. AISTATS 2018: 585-594 - [c70]Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato:
Exact Computation of Strongly Connected Reliability by Binary Decision Diagrams. COCOA 2018: 281-295 - [c69]Masaaki Nishino, Takeru Inoue, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata:
Optimizing Network Reliability via Best-First Search over Decision Diagrams. INFOCOM 2018: 1817-1825 - [c68]Takashi Takemoto, Normann Mertig, Masato Hayashi, Saki Susa-Tanaka, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki, Masanao Yamaoka:
FPGA-Based QBoost with Large-Scale Annealing Processor and Accelerated Hyperparameter Search. ReConFig 2018: 1-8 - [c67]Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki:
Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity. TPNC 2018: 111-123 - 2017
- [j25]Reona Minoda, Shin-ichi Minato:
Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages. IEICE Trans. Inf. Syst. 100-D(6): 1172-1181 (2017) - [j24]Shin-ichi Minato:
Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation. IEICE Trans. Inf. Syst. 100-D(8): 1556-1562 (2017) - [j23]Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin-ichi Minato:
Frontier-Based Search for Enumerating All Constrained Subgraphs with Compressed Representation. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 100-A(9): 1773-1784 (2017) - [j22]Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata:
BDD-Constrained A* Search: A Fast Method for Solving Constrained Shortest-Path Problems. IEICE Trans. Inf. Syst. 100-D(12): 2945-2952 (2017) - [c66]Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata:
Dancing with Decision Diagrams: A Combined Approach to Exact Cover. AAAI 2017: 868-874 - [c65]Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata:
Compiling Graph Substructures into Sentential Decision Diagrams. AAAI 2017: 1213-1221 - [c64]Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata:
BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems. AAAI Workshops 2017 - [c63]Masakazu Ishihata, Shan Gao, Shin-ichi Minato:
Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation. AMBN 2017: 117-128 - [c62]Norihito Yasuda, Teruji Sugaya, Shin-ichi Minato:
Fast Compilation of s-t Paths on a Graph for Counting and Enumeration. AMBN 2017: 129-140 - [c61]Junpei Komiyama, Masakazu Ishihata, Hiroki Arimura, Takashi Nishibayashi, Shin-ichi Minato:
Statistical Emerging Pattern Mining with Multiple Testing Correction. KDD 2017: 897-906 - [c60]Reona Minoda, Shin-ichi Minato:
Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking. PECCS 2017: 13-21 - [c59]Jun Kawahara, Takashi Horiyama, Keisuke Hotta, Shin-ichi Minato:
Generating All Patterns of Graph Partitions Within a Disparity Bound. WALCOM 2017: 119-131 - [i1]Shinsaku Sakaue, Masakazu Ishihata, Shin-ichi Minato:
Practical Adversarial Combinatorial Bandit Algorithm via Compression of Decision Sets. CoRR abs/1707.08300 (2017) - 2016
- [j21]Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato:
Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations. Discret. Appl. Math. 212: 61-80 (2016) - [j20]Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato:
Graphillion: software library for very large sets of labeled graphs. Int. J. Softw. Tools Technol. Transf. 18(1): 57-66 (2016) - [c58]Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata:
Zero-Suppressed Sentential Decision Diagrams. AAAI 2016: 1058-1066 - [c57]Shin-ichi Minato:
Power of Enumeration - BDD/ZDD-Based Techniques for Discrete Structure Manipulation. ISMVL 2016: 143 - [c56]Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, Shin-ichi Minato:
Maximizing hosting capacity of distributed generation by network reconfiguration in distribution system. PSCC 2016: 1-7 - [c55]Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato:
Using \pi DDs for Nearest Neighbor Optimization of Quantum Circuits. RC 2016: 181-196 - [r2]Shin-ichi Minato:
Counting by ZDD. Encyclopedia of Algorithms 2016: 454-458 - 2015
- [j19]Takeru Inoue, Norihito Yasuda, Shunsuke Kawano, Yuji Takenobu, Shin-ichi Minato, Yasuhiro Hayashitakeru:
Distribution Network Verification for Secure Restoration by Enumerating All Critical Failures. IEEE Trans. Smart Grid 6(2): 843-852 (2015) - [c54]Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata:
BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems. AAAI 2015: 1219-1225 - [c53]Shan Gao, Shin-ichi Minato:
Factorization of ZDDs for Representing Bayesian Networks Based on d-Separations. AMBN@JSAI-isAI 2015: 168-183 - [c52]Masaaki Nishino, Norihito Yasuda, Tsutomu Hirao, Shin-ichi Minato, Masaaki Nagata:
A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization. HLT-NAACL 2015: 462-471 - [c51]Yuma Inoue, Shin-ichi Minato:
Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits. RC 2015: 186-199 - [c50]Hiroyuki Hanada, Shuhei Denzumi, Yuma Inoue, Hiroshi Aoki, Norihito Yasuda, Shogo Takeuchi, Shin-ichi Minato:
Enumerating Eulerian Trails via Hamiltonian Path Enumeration. WALCOM 2015: 161-174 - [c49]Takahisa Toda, Shogo Takeuchi, Koji Tsuda, Shin-ichi Minato:
Superset Generation on Decision Diagrams. WALCOM 2015: 317-322 - 2014
- [j18]Yuma Inoue, Takahisa Toda, Shin-ichi Minato:
Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 97-A(6): 1171-1179 (2014) - [j17]Takeru Inoue, Keiji Takano, Takayuki Watanabe, Jun Kawahara, Ryo Yoshinaka, Akihiro Kishimoto, Koji Tsuda, Shin-ichi Minato, Yasuhiro Hayashi:
Distribution Loss Minimization With Guaranteed Error Bound. IEEE Trans. Smart Grid 5(1): 102-111 (2014) - [c48]Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, Osamu Akashi:
Rethinking Packet Classification for Global Network View of Software-Defined Networking. ICNP 2014: 296-307 - [c47]Yuma Inoue, Shin-ichi Minato:
An Efficient Method for Indexing All Topological Orders of a Directed Graph. ISAAC 2014: 103-114 - [c46]Hiroshi Aoki, Takahisa Toda, Shin-ichi Minato:
Three-way Indexing ZDDs for Large-Scale Sparse Datasets. PAKDD Workshops 2014: 457-469 - [c45]Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato:
A General Framework for Parallel Unary Operations on ZDDs. PAKDD Workshops 2014: 494-503 - [c44]Norihito Yasuda, Masaaki Nishino, Shin-ichi Minato:
On the Size of the Zero-Suppressed Binary Decision Diagram that Represents All the Subtrees in a Tree. PAKDD Workshops 2014: 504-510 - [c43]Shin-ichi Minato, Takeaki Uno, Koji Tsuda, Aika Terada, Jun Sese:
A Fast Method of Statistical Assessment for Combinatorial Hypotheses Based on Frequent Itemset Enumeration. ECML/PKDD (2) 2014: 422-436 - [c42]Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata:
Accelerating Graph Adjacency Matrix Multiplications with Adjacency Forest. SDM 2014: 1073-1081 - [c41]Ryutaro Kurai, Norihito Yasuda, Hiroki Arimura, Shinobu Nagayama, Shin-ichi Minato:
Fast Regular Expression Matching Based On Dual Glushkov NFA. Stringology 2014: 3-16 - [c40]Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, Kunihiko Sadakane:
DenseZDD: A Compact and Fast Index for Families of Sets. SEA 2014: 187-198 - [e2]Shigeru Yamashita, Shin-ichi Minato:
Reversible Computation - 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings. Lecture Notes in Computer Science 8507, Springer 2014, ISBN 978-3-319-08493-0 [contents] - 2013
- [j16]Shin-ichi Minato:
Techniques of BDD/ZDD: Brief History and Recent Activity. IEICE Trans. Inf. Syst. 96-D(7): 1419-1429 (2013) - [c39]Shin-ichi Minato:
Z-Skip-Links for Fast Traversal of ZDDs Representing Large-Scale Sparse Datasets. ESA 2013: 731-742 - [c38]Laura Tague, Mathias Soeken, Shin-ichi Minato, Rolf Drechsler:
Debugging of Reversible Circuits Using pDDs. ISMVL 2013: 316-321 - [c37]Shuhei Denzumi, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato:
Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams . Stringology 2013: 157-167 - [c36]Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto, Shin-ichi Minato:
Shared-Memory Parallel Frontier-Based Search. WALCOM 2013: 170-181 - 2012
- [j15]Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, Shin-ichi Minato:
Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs. Algorithms 5(2): 176-213 (2012) - [j14]Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga:
A Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions. IEICE Trans. Inf. Syst. 95-D(7): 1847-1857 (2012) - [j13]Takeru Inoue, Shin-ichi Minato:
On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake. IEICE Trans. Commun. 95-B(7): 2210-2221 (2012) - [j12]Shin-ichi Minato, Nicolas Spyratos:
BDD-Based Combinatorial Keyword Query Processing under a Taxonomy Model. Int. J. Organ. Collect. Intell. 3(4): 52-62 (2012) - [j11]Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato:
Counterexamples to the long-standing conjecture on the complexity of BDD binary operations. Inf. Process. Lett. 112(16): 636-640 (2012) - [j10]Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller:
Synthesis of Semi-Classical Quantum Circuits. J. Multiple Valued Log. Soft Comput. 18(1): 99-114 (2012) - [c35]Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, Shin-ichi Minato:
Incremental Set Recommendation Based on Class Differences. PAKDD (1) 2012: 183-194 - [c34]Mathias Soeken, Robert Wille, Shin-ichi Minato, Rolf Drechsler:
Using πDDs in the Design of Reversible Circuits. RC 2012: 197-203 - 2011
- [j9]Shin-ichi Minato:
Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering. New Gener. Comput. 29(2): 223-238 (2011) - [c33]Masakazu Ishihata, Taisuke Sato, Shin-ichi Minato:
Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs. Australasian Conference on Artificial Intelligence 2011: 203-212 - [c32]Takeru Inoue, Fujio Toriumi, Yasuyuki Shirai, Shin-ichi Minato:
Great east Japan earthquake viewed from a URL shortener. SWID@CoNEXT 2011: 8:1-8:8 - [c31]Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato:
Implementation of sequence BDDs in Erlang. Erlang Workshop 2011: 90-91 - [c30]Hiroshi Aoki, Shigeru Yamashita, Shin-ichi Minato:
An efficient algorithm for constructing a Sequence Binary Decision Diagram representing a set of reversed sequences. GrC 2011: 54-59 - [c29]Koji Tsuda, Shin-ichi Minato:
Second Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP). JSAI-isAI Workshops 2011: 184-185 - [c28]Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shin-ichi Minato, Makoto Yokoo:
A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams. PRIMA 2011: 4-18 - [c27]Shin-ichi Minato:
πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space. SAT 2011: 90-104 - [c26]Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato:
Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations. Stringology 2011: 147-161 - 2010
- [c25]Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga:
Dynamic reconfigurable bit-parallel architecture for large-scale regular expression matching. FPT 2010: 21-28 - [c24]Shin-ichi Minato:
Discrete Structure Manipulation for Discovery Science Problems. ISCIS 2010: 359-364 - [c23]Shin-ichi Minato, Takeaki Uno:
Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases. SDM 2010: 339-349 - [c22]Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura:
Fast Bit-Parallel Matching for Network and Regular Expressions. SPIRE 2010: 372-384 - [c21]Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato:
An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models. ACML 2010: 161-176
2000 – 2009
- 2009
- [c20]Akihiro Yamamoto, Kouichi Hirata, Shin-ichi Minato:
The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009). JSAI-isAI Workshops 2009: 315-316 - [e1]Sanjay Chawla, Takashi Washio, Shin-ichi Minato, Shusaku Tsumoto, Takashi Onoda, Seiji Yamada, Akihiro Inokuchi:
New Frontiers in Applied Data Mining, PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008. Revised Selected Papers. Lecture Notes in Computer Science 5433, Springer 2009, ISBN 978-3-642-00398-1 [contents] - 2008
- [j8]Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller:
DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 91-A(12): 3793-3802 (2008) - [c19]Shin-ichi Minato:
A fast algorithm for cofactor implication checking and its application for knowledge discovery. CIT 2008: 53-58 - [c18]Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller:
An efficient verification of quantum circuits under a practical restriction. CIT 2008: 873-879 - [c17]Shin-ichi Minato, Takeaki Uno, Hiroki Arimura:
LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation. PAKDD 2008: 234-246 - 2007
- [j7]Shin-ichi Minato, Kimihito Ito:
Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data. Inf. Media Technol. 2(1): 300-308 (2007) - [j6]Shin-ichi Minato, Hiroki Arimura:
Frequent Closed Item Set Mining Based on Zero-suppressed BDDs. Inf. Media Technol. 2(1): 309-316 (2007) - [c16]Shin-ichi Minato:
A Theoretical Study on Variable Ordering of Zero-Suppressed BDDs for Representing Frequent Itemsets. Discovery Science 2007: 139-150 - [c15]Shin-ichi Minato, Ken Satoh, Taisuke Sato:
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. IJCAI 2007: 2550-2555 - 2006
- [c14]Shin-ichi Minato:
Symmetric Item Set Mining Based on Zero-Suppressed BDDs. Discovery Science 2006: 321-326 - [c13]Ryutaro Kurai, Shin-ichi Minato, Thomas Zeugmann:
N-Gram Analysis Based on Zero-Suppressed BDDs. JSAI 2006: 289-300 - [c12]Shin-ichi Minato, Hiroki Arimura:
Frequent Pattern Mining and Knowledge Indexing Based on Zero-Suppressed BDDs. KDID 2006: 152-169 - 2005
- [c11]Shin-ichi Minato:
VSOP (Valued-Sum-of-Products) Calculator for Knowledge Processing Based on Zero-Suppressed BDDs. Federation over the Web 2005: 40-58 - [c10]Shin-ichi Minato:
Efficient Database Analysis Using VSOP Calculator Based on Zero-Suppressed BDDs. JSAI Workshops 2005: 169-181 - [c9]Shin-ichi Minato, Hiroki Arimura:
Efficient Method of Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs. WIRI 2005: 4-11 - 2002
- [j5]Shin-ichi Minato:
Streaming BDD Manipulation. IEEE Trans. Computers 51(5): 474-485 (2002) - 2001
- [j4]Shin-ichi Minato:
Zero-suppressed BDDs and their applications. Int. J. Softw. Tools Technol. Transf. 3(2): 156-170 (2001) - [c8]Shin-ichi Minato, Shinya Ishihara:
Streaming BDD manipulation for large-scale combinatorial problems. DATE 2001: 702-707
1990 – 1999
- 1999
- [r1]Shin-ichi Minato, Saburo Muroga:
Binary Decision Diagrams. The VLSI Handbook 1999 - 1998
- [j3]Hiroshi G. Okuno, Shin-ichi Minato, Hideki Isozaki:
On the Properties of Combination Set Operations. Inf. Process. Lett. 66(4): 195-199 (1998) - [c7]Shin-ichi Minato, Giovanni De Micheli:
Finding all simple disjunctive decompositions using irredundant sum-of-products forms. ICCAD 1998: 111-117 - 1997
- [j2]Shin-ichi Minato, Fabio Somenzi:
Arithmetic Boolean Expression Manipulator Using BDDs. Formal Methods Syst. Des. 10(2/3): 221-242 (1997) - 1996
- [j1]Shin-ichi Minato:
Fast factorization method for implicit cube set representation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(4): 377-384 (1996) - [c6]Tomohiro Yoneda, Hideyuki Hatori, Atsushi Takahara, Shin-ichi Minato:
BDDs vs. Zero-Suppressed BDDs: for CTL Symbolic Model Checking of Petri Nets. FMCAD 1996: 435-449 - [c5]Shin-ichi Minato:
Generation of BDDs from hardware algorithm descriptions. ICCAD 1996: 644-649 - 1995
- [c4]Shinya Ishihara, Shin-ichi Minato:
Manipulation of regular expressions under length constraints using zero-suppressed-BDDs. ASP-DAC 1995 - 1994
- [c3]Shin-ichi Minato:
Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs. DAC 1994: 420-424 - 1993
- [c2]Shin-ichi Minato:
Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems. DAC 1993: 272-277 - 1990
- [c1]Shin-ichi Minato, Nagisa Ishiura, Shuzo Yajima:
Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation. DAC 1990: 52-57
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
