default search action

combined dblp search
author search
venue search
publication search

ask others

Shin-ichi Minato

> Home > Persons

Person information

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/LimTKMI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/LimTKMI24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ieiceta/MatsuoM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieiceta/MatsuoM24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ieiceta/InoueYNNDM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieiceta/InoueYNNDM24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/MatsuoRYM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/MatsuoRYM24
Ryosuke Matsuo, Rudy Raymond, Shigeru Yamashita, Shin-ichi Minato:
Optimizing Decision Diagrams for Measurements of Quantum Circuits. ASPDAC 2024: 134-139
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/OobaKM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/OobaKM24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/BanbaraMOU24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/BanbaraMOU24
Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono, Ryuhei Uehara:
On the Computational Complexity of Generalized Common Shape Puzzles. SOFSEM 2024: 55-68
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/walcom/Minato24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/walcom/Minato24
Shin-ichi Minato:
Recent Research Activities on Algorithmic Foundations for Social Advancement. WALCOM 2024: 1-8
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-14670
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-14670
Hiromi Emoto, Yuni Iwamasa, Shin-ichi Minato:
On the sizes of BDDs and ZDDs representing matroids. CoRR abs/2404.14670 (2024)
2023
[j36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/FuchimotoMU23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/FuchimotoMU23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicetd/KasaharaKMM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicetd/KasaharaKMM23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/ItoKMOSSUUYY23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ItoKMOSSUUYY23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/NakamuraINYM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/NakamuraINYM23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/infocom/NakamuraINYM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infocom/NakamuraINYM23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wea/0001NYM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wea/0001NYM23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-10749
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-10749
Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono, Ryuhei Uehara:
On the Computational Complexity of Generalized Common Shape Puzzles. CoRR abs/2305.10749 (2023)
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-07381
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-07381
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]
- view
  authority control:
- export record
  dblp key:
  - conf/date/MatsuoM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/MatsuoM22
Ryosuke Matsuo, Shin-ichi Minato:
Space and Power Reduction in BDD-based Optical Logic Circuits Exploiting Dual Ports. DATE 2022: 1071-1076
[c77]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fun/ItoKMOSSUUYY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fun/ItoKMOSSUUYY22
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-08118
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-08118
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-09495
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-09495
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jip/Minato21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jip/Minato21
Shin-ichi Minato:
Editor's Message to Special Issue of Young Researchers' Papers. J. Inf. Process. 29: 205 (2021)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/soco/SugieYMTTNTMYK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soco/SugieYMTTNTMYK21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/MatsuoM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/MatsuoM21
Ryosuke Matsuo, Shin-ichi Minato:
BDD Variable Ordering for Minimizing Power Consumption of Optical Logic Circuits. ISVLSI 2021: 96-101
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-05184
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-05184
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jip/SugayaNYM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jip/SugayaNYM20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jip/KatoM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jip/KatoM20
Go Kato, Shin-ichi Minato:
Enumeration of Associative Magic Squares of Order 7. J. Inf. Process. 28: 903-910 (2020)
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/walcom/NakahataKHM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/walcom/NakahataKHM20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/walcom/SuzukiIM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/walcom/SuzukiIM20
Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato:
Designing Survivable Networks with Zero-Suppressed Binary Decision Diagrams. WALCOM 2020: 273-285
[c73]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wea/NakahataNKM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wea/NakahataNKM20
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-08899
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-08899
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-03819
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-03819
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/sdm/MinatoKIMK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdm/MinatoKIMK19
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-09438
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-09438
Takashi Horiyama, Jun Kawahara, Shin-ichi Minato, Yu Nakahata:
Decomposing a Graph into Unigraphs. CoRR abs/1904.09438 (2019)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-07465
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-07465
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/algorithms/DenzumiKTAMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/algorithms/DenzumiKTAMS18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/comcom/InoueMMMA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comcom/InoueMMMA18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/SuzukiM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/SuzukiM18
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tsg/TakenobuYKMH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsg/TakenobuYKMH18
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]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aistats/SakaueIM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aistats/SakaueIM18
Shinsaku Sakaue, Masakazu Ishihata, Shin-ichi Minato:
Efficient Bandit Combinatorial Optimization Algorithm with Zero-suppressed Binary Decision Diagrams. AISTATS 2018: 585-594
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/cocoa/SuzukiIM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cocoa/SuzukiIM18
Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato:
Exact Computation of Strongly Connected Reliability by Binary Decision Diagrams. COCOA 2018: 281-295
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/infocom/NishinoIYMN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infocom/NishinoIYMN18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/reconfig/TakemotoMHSTNTM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/reconfig/TakemotoMHSTNTM18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tpnc/SugieYMTTNTMYK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tpnc/SugieYMTTNTMYK18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/MinodaM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/MinodaM17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/Minato17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/Minato17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/KawaharaIIM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/KawaharaIIM17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/TakeuchiNYAMN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/TakeuchiNYAMN17
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/NishinoYMN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/NishinoYMN17
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata:
Dancing with Decision Diagrams: A Combined Approach to Exact Cover. AAAI 2017: 868-874
[c65]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/NishinoYMN17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/NishinoYMN17a
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata:
Compiling Graph Substructures into Sentential Decision Diagrams. AAAI 2017: 1213-1221
[c64]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/TakeuchiNYAMN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/TakeuchiNYAMN17
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]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ambn/IshihataGM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ambn/IshihataGM17
Masakazu Ishihata, Shan Gao, Shin-ichi Minato:
Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation. AMBN 2017: 117-128
[c62]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ambn/YasudaSM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ambn/YasudaSM17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kdd/KomiyamaIANM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kdd/KomiyamaIANM17
Junpei Komiyama, Masakazu Ishihata, Hiroki Arimura, Takashi Nishibayashi, Shin-ichi Minato:
Statistical Emerging Pattern Mining with Multiple Testing Correction. KDD 2017: 897-906
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/peccs/MinodaM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/peccs/MinodaM17
Reona Minoda, Shin-ichi Minato:
Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking. PECCS 2017: 13-21
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/walcom/KawaharaHHM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/walcom/KawaharaHHM17
Jun Kawahara, Takashi Horiyama, Keisuke Hotta, Shin-ichi Minato:
Generating All Patterns of Graph Partitions Within a Disparity Bound. WALCOM 2017: 119-131
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SakaueIM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SakaueIM17
Shinsaku Sakaue, Masakazu Ishihata, Shin-ichi Minato:
Practical Adversarial Combinatorial Bandit Algorithm via Compression of Decision Sets. CoRR abs/1707.08300 (2017)
2016
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dam/DenzumiYAM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dam/DenzumiYAM16
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/InoueIKM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/InoueIKM16
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/NishinoYMN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/NishinoYMN16
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata:
Zero-Suppressed Sentential Decision Diagrams. AAAI 2016: 1058-1066
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/Minato16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/Minato16
Shin-ichi Minato:
Power of Enumeration - BDD/ZDD-Based Techniques for Discrete Structure Manipulation. ISMVL 2016: 143
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/pscc/TakenobuKHYM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pscc/TakenobuKHYM16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/WilleQIYM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/WilleQIYM16
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]
- view
  authority control:
- export record
  dblp key:
  - reference/algo/Minato16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/algo/Minato16
Shin-ichi Minato:
Counting by ZDD. Encyclopedia of Algorithms 2016: 454-458
2015
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tsg/InoueYKTMH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsg/InoueYKTMH15
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/NishinoYMN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/NishinoYMN15
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/jsai/GaoM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jsai/GaoM15
Shan Gao, Shin-ichi Minato:
Factorization of ZDDs for Representing Bayesian Networks Based on d-Separations. AMBN@JSAI-isAI 2015: 168-183
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/naacl/NishinoYHMN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/naacl/NishinoYHMN15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/InoueM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/InoueM15
Yuma Inoue, Shin-ichi Minato:
Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits. RC 2015: 186-199
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/walcom/HanadaDIAYTM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/walcom/HanadaDIAYTM15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/walcom/TodaTTM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/walcom/TodaTTM15
Takahisa Toda, Shogo Takeuchi, Koji Tsuda, Shin-ichi Minato:
Superset Generation on Decision Diagrams. WALCOM 2015: 317-322
2014
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/InoueTM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/InoueTM14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tsg/InoueTWKYKTMH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsg/InoueTWKYKTMH14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icnp/InoueMMMA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icnp/InoueMMMA14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isaac/InoueM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isaac/InoueM14
Yuma Inoue, Shin-ichi Minato:
An Efficient Method for Indexing All Topological Orders of a Directed Graph. ISAAC 2014: 103-114
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/pakdd/AokiTM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pakdd/AokiTM14
Hiroshi Aoki, Takahisa Toda, Shin-ichi Minato:
Three-way Indexing ZDDs for Large-Scale Sparse Datasets. PAKDD Workshops 2014: 457-469
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/pakdd/TakeuchiTM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pakdd/TakeuchiTM14
Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato:
A General Framework for Parallel Unary Operations on ZDDs. PAKDD Workshops 2014: 494-503
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/pakdd/YasudaNM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pakdd/YasudaNM14
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pkdd/MinatoUTTS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pkdd/MinatoUTTS14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sdm/NishinoYMN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdm/NishinoYMN14
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata:
Accelerating Graph Adjacency Matrix Multiplications with Adjacency Forest. SDM 2014: 1073-1081
[c41]
- view
  - electronic edition @ stringology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/stringology/KuraiYANM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stringology/KuraiYANM14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wea/DenzumiKTAMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wea/DenzumiKTAMS14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/2014
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/Minato13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/Minato13
Shin-ichi Minato:
Techniques of BDD/ZDD: Brief History and Recent Activity. IEICE Trans. Inf. Syst. 96-D(7): 1419-1429 (2013)
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/esa/Minato13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esa/Minato13
Shin-ichi Minato:
Z-Skip-Links for Fast Traversal of ZDDs Representing Large-Scale Sparse Datasets. ESA 2013: 731-742
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/TagueSMD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/TagueSMD13
Laura Tague, Mathias Soeken, Shin-ichi Minato, Rolf Drechsler:
Debugging of Reversible Circuits Using pDDs. ISMVL 2013: 316-321
[c37]
- view
  - electronic edition @ stringology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/stringology/DenzumiTAM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stringology/DenzumiTAM13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/walcom/TakeuchiKKM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/walcom/TakeuchiKKM13
Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto, Shin-ichi Minato:
Shared-Memory Parallel Frontier-Based Search. WALCOM 2013: 170-181
2012
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/algorithms/YoshinakaSKTIM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/algorithms/YoshinakaSKTIM12
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/KanetaYMAM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/KanetaYMAM12
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/InoueM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/InoueM12
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijoci/MinatoS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijoci/MinatoS12
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/YoshinakaKDAM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/YoshinakaKDAM12
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]
- view
  - electronic edition @ oldcitypublishing.com
  - no references & citations available
- export record
  dblp key:
  - journals/mvl/YamashitaMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mvl/YamashitaMM12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pakdd/ShiraiTSOM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pakdd/ShiraiTSOM12
Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, Shin-ichi Minato:
Incremental Set Recommendation Based on Class Differences. PAKDD (1) 2012: 183-194
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/SoekenWMD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/SoekenWMD12
Mathias Soeken, Robert Wille, Shin-ichi Minato, Rolf Drechsler:
Using πDDs in the Design of Reversible Circuits. RC 2012: 197-203
2011
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ngc/Minato11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ngc/Minato11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/IshihataSM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/IshihataSM11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/conext/InoueTSM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/conext/InoueTSM11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/DenzumiAM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/DenzumiAM11
Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato:
Implementation of sequence BDDs in Erlang. Erlang Workshop 2011: 90-91
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/grc/AokiYM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/grc/AokiYM11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/jsai/TsudaM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jsai/TsudaM11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/SakuraiUIMY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/SakuraiUIMY11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/Minato11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Minato11
Shin-ichi Minato:
πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space. SAT 2011: 90-104
[c26]
- view
  - electronic edition @ stringology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/stringology/DenzumiYAM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stringology/DenzumiYAM11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fpt/KanetaYMAM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpt/KanetaYMAM10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iscis/Minato10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscis/Minato10
Shin-ichi Minato:
Discrete Structure Manipulation for Discovery Science Problems. ISCIS 2010: 359-364
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sdm/MinatoU10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdm/MinatoU10
Shin-ichi Minato, Takeaki Uno:
Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases. SDM 2010: 339-349
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/spire/KanetaMA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spire/KanetaMA10
Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura:
Fast Bit-Parallel Matching for Network and Regular Expressions. SPIRE 2010: 372-384
[c21]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/jmlr/IshihataKSM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jmlr/IshihataKSM10
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/jsai/YamamotoHM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jsai/YamamotoHM09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pakdd/2008w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pakdd/2008w
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/YamashitaMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/YamashitaMM08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcit/Minato08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcit/Minato08
Shin-ichi Minato:
A fast algorithm for cofactor implication checking and its application for knowledge discovery. CIT 2008: 53-58
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcit/YamashitaMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcit/YamashitaMM08
Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller:
An efficient verification of quantum circuits under a practical restriction. CIT 2008: 873-879
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/pakdd/MinatoUA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pakdd/MinatoUA08
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]
- view
  authority control:
- export record
  dblp key:
  - journals/imt/MinatoI07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/imt/MinatoI07
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]
- view
  authority control:
- export record
  dblp key:
  - journals/imt/MinatoA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/imt/MinatoA07
Shin-ichi Minato, Hiroki Arimura:
Frequent Closed Item Set Mining Based on Zero-suppressed BDDs. Inf. Media Technol. 2(1): 309-316 (2007)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/dis/Minato07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dis/Minato07
Shin-ichi Minato:
A Theoretical Study on Variable Ordering of Zero-Suppressed BDDs for Representing Frequent Itemsets. Discovery Science 2007: 139-150
[c15]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/MinatoSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/MinatoSS07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dis/Minato06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dis/Minato06
Shin-ichi Minato:
Symmetric Item Set Mining Based on Zero-Suppressed BDDs. Discovery Science 2006: 321-326
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/jsai/KuraiMZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jsai/KuraiMZ06
Ryutaro Kurai, Shin-ichi Minato, Thomas Zeugmann:
N-Gram Analysis Based on Zero-Suppressed BDDs. JSAI 2006: 289-300
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/kdid/MinatoA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kdid/MinatoA06
Shin-ichi Minato, Hiroki Arimura:
Frequent Pattern Mining and Knowledge Indexing Based on Zero-Suppressed BDDs. KDID 2006: 152-169
2005
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/Minato05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Minato05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/jsai/Minato05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jsai/Minato05
Shin-ichi Minato:
Efficient Database Analysis Using VSOP Calculator Based on Zero-Suppressed BDDs. JSAI Workshops 2005: 169-181
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/wiri/MinatoA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wiri/MinatoA05
Shin-ichi Minato, Hiroki Arimura:
Efficient Method of Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs. WIRI 2005: 4-11
2002
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/Minato02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/Minato02
Shin-ichi Minato:
Streaming BDD Manipulation. IEEE Trans. Computers 51(5): 474-485 (2002)
2001
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Minato01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Minato01
Shin-ichi Minato:
Zero-suppressed BDDs and their applications. Int. J. Softw. Tools Technol. Transf. 3(2): 156-170 (2001)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/date/MinatoI01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/MinatoI01
Shin-ichi Minato, Shinya Ishihara:
Streaming BDD manipulation for large-scale combinatorial problems. DATE 2001: 702-707

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/vlsi/MinatoM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/vlsi/MinatoM99
Shin-ichi Minato, Saburo Muroga:
Binary Decision Diagrams. The VLSI Handbook 1999
1998
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/OkunoMI98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/OkunoMI98
Hiroshi G. Okuno, Shin-ichi Minato, Hideki Isozaki:
On the Properties of Combination Set Operations. Inf. Process. Lett. 66(4): 195-199 (1998)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/MinatoM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/MinatoM98
Shin-ichi Minato, Giovanni De Micheli:
Finding all simple disjunctive decompositions using irredundant sum-of-products forms. ICCAD 1998: 111-117
1997
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/MinatoS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MinatoS97
Shin-ichi Minato, Fabio Somenzi:
Arithmetic Boolean Expression Manipulator Using BDDs. Formal Methods Syst. Des. 10(2/3): 221-242 (1997)
1996
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/Minato96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/Minato96
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/YonedaHTM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/YonedaHTM96
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/Minato96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/Minato96
Shin-ichi Minato:
Generation of BDDs from hardware algorithm descriptions. ICCAD 1996: 644-649
1995
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/IshiharaM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/IshiharaM95
Shinya Ishihara, Shin-ichi Minato:
Manipulation of regular expressions under length constraints using zero-suppressed-BDDs. ASP-DAC 1995
1994
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/Minato94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/Minato94
Shin-ichi Minato:
Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs. DAC 1994: 420-424
1993
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/Minato93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/Minato93
Shin-ichi Minato:
Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems. DAC 1993: 272-277
1990
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/MinatoIY90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/MinatoIY90
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

see FAQ

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.