dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Shin-ichi Minato Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, Shin-ichi Minato: Incremental Set Recommendation Based on Class Differences. PAKDD (1) 2012: 183-194
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRyo 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)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShigeru Yamashita, Shin-ichi Minato, D. Michael Miller: Synthesis of Semi-Classical Quantum Circuits. Multiple-Valued Logic and Soft Computing 18(1): 99-114 (2012)
2011
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasakazu Ishihata, Taisuke Sato, Shin-ichi Minato: Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs. Australasian Conference on Artificial Intelligence 2011: 203-212
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShuhei Denzumi, Hiroki Arimura, Shin-ichi Minato: Implementation of sequence BDDs in Erlang. Erlang Workshop 2011: 90-91
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHiroshi 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuko 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato: πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space. SAT 2011: 90-104
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-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)
2010
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYusaku 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
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato: Discrete Structure Manipulation for Discovery Science Problems. ISCIS 2010: 359-364
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato, Takeaki Uno: Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases. SDM 2010: 339-349
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYusaku Kaneta, Shin-ichi Minato, Hiroki Arimura: Fast Bit-Parallel Matching for Network and Regular Expressions. SPIRE 2010: 372-384
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasakazu 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)
2009
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanjay 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 Springer 2009
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAkihiro Yamamoto, Kouichi Hirata, Shin-ichi Minato: The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009). JSAI-isAI Workshops 2009: 315-316
2008
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato: A fast algorithm for cofactor implication checking and its application for knowledge discovery. CIT 2008: 53-58
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShigeru Yamashita, Shin-ichi Minato, D. Michael Miller: An efficient verification of quantum circuits under a practical restriction. CIT 2008: 873-879
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShigeru 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)
2007
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato: A Theoretical Study on Variable Ordering of Zero-Suppressed BDDs for Representing Frequent Itemsets. Discovery Science 2007: 139-150
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato, Ken Satoh, Taisuke Sato: Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. IJCAI 2007: 2550-2555
2006
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato: Symmetric Item Set Mining Based on Zero-Suppressed BDDs. Discovery Science 2006: 321-326
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRyutaro Kurai, Shin-ichi Minato, Thomas Zeugmann: N-Gram Analysis Based on Zero-Suppressed BDDs. JSAI 2006: 289-300
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato, Hiroki Arimura: Frequent Pattern Mining and Knowledge Indexing Based on Zero-Suppressed BDDs. KDID 2006: 152-169
2005
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato: VSOP (Valued-Sum-of-Products) Calculator for Knowledge Processing Based on Zero-Suppressed BDDs. Federation over the Web 2005: 40-58
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato: Efficient Database Analysis Using VSOP Calculator Based on Zero-Suppressed BDDs. JSAI Workshops 2005: 169-181
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato, Hiroki Arimura: Efficient Method of Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs. WIRI 2005: 4-11
2002
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato: Streaming BDD Manipulation. IEEE Trans. Computers 51(5): 474-485 (2002)
2001
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato, Shinya Ishihara: Streaming BDD manipulation for large-scale combinatorial problems. DATE 2001: 702-707
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato: Zero-suppressed BDDs and their applications. STTT 3(2): 156-170 (2001)
1998
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato, Giovanni De Micheli: Finding all simple disjunctive decompositions using irredundant sum-of-products forms. ICCAD 1998: 111-117
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHiroshi G. Okuno, Shin-ichi Minato, Hideki Isozaki: On the Properties of Combination Set Operations. Inf. Process. Lett. 66(4): 195-199 (1998)
1997
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato, Fabio Somenzi: Arithmetic Boolean Expression Manipulator Using BDDs. Formal Methods in System Design 10(2/3): 221-242 (1997)
1996
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomohiro 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato: Generation of BDDs from hardware algorithm descriptions. ICCAD 1996: 644-649
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato: Fast factorization method for implicit cube set representation. IEEE Trans. on CAD of Integrated Circuits and Systems 15(4): 377-384 (1996)
1995
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShinya Ishihara, Shin-ichi Minato: Manipulation of regular expressions under length constraints using zero-suppressed-BDDs. ASP-DAC 1995
1994
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato: Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs. DAC 1994: 420-424
1993
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato: Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems. DAC 1993: 272-277
1990
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShin-ichi Minato, Nagisa Ishiura, Shuzo Yajima: Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation. DAC 1990: 52-57

Coauthor Index

1Hiroshi Aoki [36]
2Hiroki Arimura [14] [17] [23] [29] [32] [37]
3Sanjay Chawla [27]
4Shuhei Denzumi [37]
5Hideyuki Hatori [7]
6Kouichi Hirata [26]
7Akihiro Inokuchi [27]
8Shinya Ishihara [4] [12]
9Masakazu Ishihata [28] [38]
10Nagisa Ishiura [1]
11Hideki Isozaki [9]
12Atsushi Iwasaki [35]
13Hiroaki Iwashita [40]
14Yoshitaka Kameya [28]
15Yusaku Kaneta [29] [32]
16Jun Kawahara [40]
17Ryutaro Kurai [18]
18Giovanni De Micheli [10]
19D. Michael Miller [22] [24] [39]
20Yoshikazu Miyanaga [32]
21Hiroshi G. Okuno [9]
22Takashi Onoda [27]
23Satoshi Oyama [41]
24Toshiki Saitoh [40]
25Yuko Sakurai [35] [41]
26Taisuke Sato [20] [28] [38]
27Ken Satoh [20]
28Yasuyuki Shirai [41]
29Fabio Somenzi [8]
30Atsushi Takahara [7]
31Shusaku Tsumoto [27]
32Koji Tsuruma [40] [41]
33Suguru Ueda [35]
34Takeaki Uno [23] [30]
35Takashi Washio [27]
36Shuzo Yajima [1]
37Seiji Yamada [27]
38Akihiro Yamamoto [26]
39Shigeru Yamashita [22] [24] [36] [39]
40Makoto Yokoo [35]
41Tomohiro Yoneda [7]
42Ryo Yoshinaka [40]
43Shingo Yoshizawa [32]
44Thomas Zeugmann [18]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page