Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Shin-ichi Minato
2010 – today
- 2013
[c35]Laura Tague, Mathias Soeken, Shin-ichi Minato, Rolf Drechsler: Debugging of Reversible Circuits Using pDDs. ISMVL 2013: 316-321- [c34]Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto, Shin-ichi Minato: Shared-Memory Parallel Frontier-Based Search. WALCOM 2013: 170-181
- 2012
- [j13]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)
- [j12]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 Transactions 95-D(7): 1847-1857 (2012)
- [j11]Takeru Inoue, Shin-ichi Minato: On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake. IEICE Transactions 95-B(7): 2210-2221 (2012)
- [j10]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)
- [j9]Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller: Synthesis of Semi-Classical Quantum Circuits. Multiple-Valued Logic and Soft Computing 18(1): 99-114 (2012)
- [c33]Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, Shin-ichi Minato: Incremental Set Recommendation Based on Class Differences. PAKDD (1) 2012: 183-194
- [c32]Mathias Soeken, Robert Wille, Shin-ichi Minato, Rolf Drechsler: Using πDDs in the Design of Reversible Circuits. RC 2012: 197-203
- 2011
- [j8]Shin-ichi Minato: Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering. New Generation Comput. 29(2): 223-238 (2011)
- [c31]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
- [c30]Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato: Implementation of sequence BDDs in Erlang. Erlang Workshop 2011: 90-91
- [c29]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
- [c28]Koji Tsuda, Shin-ichi Minato: Second Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP). JSAI-isAI Workshops 2011: 184-185
- [c27]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
- [c26]Shin-ichi Minato: πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space. SAT 2011: 90-104
- [c25]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
- [j7]Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato: An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models. Journal of Machine Learning Research - Proceedings Track 13: 161-176 (2010)
- [c24]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
- [c23]Shin-ichi Minato: Discrete Structure Manipulation for Discovery Science Problems. ISCIS 2010: 359-364
- [c22]Shin-ichi Minato, Takeaki Uno: Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases. SDM 2010: 339-349
- [c21]Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura: Fast Bit-Parallel Matching for Network and Regular Expressions. SPIRE 2010: 372-384
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 (Eds.): 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
- 2008
- [j6]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 Transactions 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
- [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]
- 2001
- [j4]
- [c8]Shin-ichi Minato, Shinya Ishihara: Streaming BDD manipulation for large-scale combinatorial problems. DATE 2001: 702-707
1990 – 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 in System Design 10(2/3): 221-242 (1997)
- 1996
- [j1]Shin-ichi Minato: Fast factorization method for implicit cube set representation. IEEE Trans. on CAD of Integrated Circuits and Systems 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]
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-13 23:07 CEST by the dblp team