Publication List (selected ones written in English)

(to Japanese page)

Book

  1. Shin-ichi Minato: "Binary Decision Diagrams and Applications for VLSI CAD," Kluwer Academic Publishers, Nov. 1996. 

Book Chapters

  1. Shin-ichi Minato: "Graph-Based Representations of Discrete Functions," In T. Sasao, editor, "Representation of Discrete Functions," chapter 1, pp. 1-27, Kluwer Academic Publishers, May 1996.
  2. Shin-ichi Minato and Saburo Muroga: "Binary Decision Diagrams," In W.-K. Chen, editor, "The VLSI Handbook," chapter 26, pp. 26-1...14, CRC/IEEE Press, 2000.
  3. Shin-ichi Minato: "Data Mining  Using Binary Decision Diagrams," In T. Sasao and J. Butler, editor, "Progress in Representation of Discrete Functions (Synthesis Lectures on Digital Circuits and Systems)," chapter 5, pp. 97-109, Morgan & Claypool Publishers, May 2010.

Editorial Work

  1. S. Chawla, T. Washio, S. Minato, S. Tsumoto, T. Onoda, S. Yamada, A. Inokuchi, (Editors): "New Frontiers in Applied Data Mining," PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008, Revised Selected Papers, Lecture Notes in Artificial Intelligence, Vol. 5433, ISBN: 978-3-642-00398-1, Springer, Feb. 2009.

Doctoral Dissertation

  1. S. Minato: "Binary Decision Diagrams and Their Applications for VLSI CAD," Faculty of Engineering, Kyoto University, Jan. 1995.

Journal Papers

  1. S. Minato: "Minimum-Width Method of Variable Ordering for Binary Decision Diagrams," IEICE Trans. Fundamentals, Vol. E75-A, No. 3, pp. 392-399, March 1992.
  2. S. Minato: "Fast Generation of Prime-Irredundant Covers from Binary Decision Diagrams," IEICE Trans. Fundamentals, Vol. E76-A, No. 6, pp. 967-973, June 1993.
  3. S. Minato: "BEM-II: An Arithmetic Boolean Expression Manipulator Using BDDs," IEICE Trans. Fundamentals, Vol. E76-A, No. 10, pp. 1721-1729, Oct. 1993.
  4. S. Minato: "Fast Factorization Method for Implicit Cube Set Representation," IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, VOL. 15, No. 4, pp. 377-384, Apr. 1996.
  5. S. Minato: "Arithmetic Boolean Expression Manipulator Using BDDs," Formal Methods in System Design, No. 10, pp. 221-242, Kluwer Academic Publishers, Oct. 1997.
  6. D. Rotter, K. Hamaguchi, S. Minato and S. Yajima: "Manipulation of Large-Scale Polynomials Using BMDs," IEICE Trans. Fundamentals, Vol. E80-A, No.10, pp.1774-1781, Oct. 1997.
  7. S. Minato: "Zero-Suppressed BDDs and Their Applications," International Journal on Software Tools for Technology Transfer, Vol. 3, No. 2, pp. 156-170, Springer, May 2001.
  8. S. Minato: "Streaming BDD Manipulation", IEEE Trans. on Computers, Vol. 51, No. 5, pp. 474-485,  May 2002.
  9. S. Tani, T. Inoue, S. Minato, H. Takahashi, S. Kotabe, and T. Miyazaki: "Global Multi-Point Streaming Experiments Based on the Flexcast Protocol," NTT Technical Review, Vol. 1, No. 5, pp. 24-30, Aug. 2003.
  10. S. Minato and K. Ito: "Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data," Transaction of the Japanese Society of Artificial Intelligence, Vol. 22, No. 2, pp. 156-164, Feb. 2007.
  11. S. Minato and H. Arimura: "Frequent Closed Item Set Mining Based on Zero-suppressed BDDs," Transaction of the Japanese Society of Artificial Intelligence, Vol. 22, No. 2, pp. 165-172, Feb. 2007.
  12. Shigeru Yamashita, Shin-ichi Minato, and D. Michael Miller: "DDMF: An Efficient Decision Diagram Structure for  Design Verification of Quantum Circuits under a  Practical Restriction," IEICE Trans. Fundamentals, Vol. E91-A, No.12, pp. 3793-3802, Dec. 2008.
  13. S. Minato: "Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering," New Generation Computing, Vol. 29, No. 2, pp. 223-228, Ohmusha and Springer, Apr. 2011. (invited)
  14. Shigeru Yamashita, Shin-ichi Minato, and D. Michael Miller: "Synthesis of Semi-Classical Quantum Circuits," Journal of Multi-Valued Logic & Soft Computing, Vol. 18, No. 1, pp. 99-113, Old City Publishing, Jan. 2012.
  15. Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, and Shin-ichi Minato: "Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs," Algorithms, Vol.5, No. 2, pp. 176-213, MDPI, Apr. 2012.
  16. Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga: "A Dynamically Reconfigurable FPGA-based Hardware for Large-Scale Regular Expression Matching," IEICE Trans. Inf. & Syst., 2012. (to appear)

Book Chapters (Journal Style, Reviewed)

  1. S. Minato: "VSOP (Valued-Sum-of-Products) Calculator for Knowledge Processing Based on Zero-Suppressed BDDs," In K. P. Jantke, et al. editors, "Federation over the Web", LNAI 3847, pp. 40-58, Springer, Feb. 2006.
  2. S. Minato: "Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs," In T. Washio, et al. editors, "New Frontiers in Artificial Intelligence, Joint JSAI 2005 Workshop Post-Proceedings," LNAI 4012, pp. 169-181, Springer, Apr. 2006.
  3. R. Kurai, S. Minato, and T. Zeugmann: "N-gram Analysis Based on Zero-suppressed BDDs," In T. Washio, et al. editors, "New Frontiers in Artificial Intelligence, Joint JSAI 2006 Workshop Post-Proceedings," LNAI 4384, pp. 289-300, Springer, Feb. 2007.
  4. S. Minato and H. Arimura: "Frequent Pattern Mining and Knowledge Indexing Based on Zero-Suppressed BDDs," In "Knowledge Discovery in Inductive Databases, 5th International Workshop, KDID 2006 Revised Selected and Invited Papers," LNCS 4747, pp. 152-169, Springer, Sep. 2007.
  5. Shin-ichi Minato and Nicolas Spyratos: "BDD-Based Combinatorial Keyword Query Processing," In G. Kreuzberger, A. Lunzer, and R. Kaschek, editor, "Interdisciplinary advances in adaptive and Intelligent assistant Systems: concepts, techniques, applications, and Use," chapter 2, pp. 26-39, InformatIon ScIence reference by IGI Global, Jan. 2011.

Reviewed Conference Papers

  1. S. Minato, N. Ishiura, and S. Yajima: "Fast tautology checking using shared BDD", In Proc. of IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, pp. 107-111, Nov. 1989.
  2. S. Minato, N. Ishiura, and S. Yajima: "Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean Function Manipulation", In Proc. of 27th ACM/IEEE Design Automation Conference (DAC'90), pp. 52-57, Jun. 1990.
  3. S. Minato: "Fast generation of irredundant sum-of-products forms from binary decision diagrams", In Proc. of Synthesis and Simulation Meeting and International Interchange (SASIMI'92, Kobe, Japan), pp. 64-73, Apr. 1992.
  4. S. Minato: "Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems", In Proc. of 30th ACM/IEEE Design Automation Conference (DAC'93), pp. 272-277, Jun. 1993.
  5. S. Minato: "Fast weak-division method for implicit cube representation", In Proc. of Synthesis and Simulation Meeting and International Interchange (SASIMI'93, Nara, Japan), pp. 423-432, Oct. 1993.
  6. S. Minato: "Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs", In Proc. of 31st ACM/IEEE Design Automation Conference (DAC'94), pp. 420-424, Jun. 1994.
  7. S. Minato: "Implicit Manipulation of Polynomials Using Zero-Suppressed BDDs", In Proc. of IEEE The European Design and Test Conference (ED&TC'95), pp. 449-454, Mar. 1995.
  8. S. Ishihara and S. Minato: "Manipulation of Regular Expressions Under Length Constraints Using Zero-Suppressed-BDDs", In Proc. of ACM/IEEE Asia South Pacific Design Automation Conference (ASPDAC'95), A-7B.3, Aug. 1995. 
  9. T. Yoneda, H. Hatori, A. Takahara and S. Minato: "BDDs vs. Zero-Suppressed BDDs: For CTL Symbolic Model Checking of Petri Nets", In Proc. of International Conference, Formal Methods in Computer-Aided Design (FMCAD'96), LNCS 1166, pp.435-449, Springer, Nov. 1996.
  10. S. Minato: "Generation of BDDs from Hardware Algorithm Descriptions", In Proc. of ACM/IEEE International Conference on Computer-Aided Design (ICCAD'96), pp. 644-649, Nov. 1996.
  11. V. Bertacco, S. Minato, P. Verplaetse, L. Benini, G. de Micheli, "Decision Diagrams and Pass-Transistor Logic Synthesis", In Workshop Note of International Workshop on Logic Synthesis (IWLS'97), p. 109-113, May, 1997.
  12. S. Minato and G. De Micheli: "Finding All Simple Disjunctive Decompositions Using Irredundant Sum-of-Products Forms", In Proc. of ACM/IEEE International Conference on Computer-Aided Design (ICCAD'98), pp. 111-117, Nov. 1998.
  13. S. Minato: "Streaming BDD Manipulation Algorithm", In Workshop Note of International Workshop on Logic Synthesis (IWLS-2000, Dana Point, CA), May 2000.
  14. S. Minato and S. Ishihara: "Streaming BDD Manipulation for Large-Scale Combinatorial Problems", In Proc. of ACM/IEEE Design, Automation and Test in Europe (DATE-2001), pp. 702-707, Mar. 2001. 
  15. T. Inoue, S. Tani, K. Ishimaru, S. Minato, and T. Miyazaki: "Wide-Area Multicasting based on Flexcast: Toward the Ubiquitous Network", In Proc. of IEICE/IEEE 5th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT 2003), Nov. 2003.
  16. S. Minato and H. Arimura: "Efficient Method of Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs", In Proc. of IEEE/IEICE/IPSJ International Workshop on Challenges in Web Information Retrieval and Integration (WIRI-2005), pp. 3-10, Apr., 2005.
  17. S. Minato: "Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs", In Proc. of JSAI 3rd Workshop on Learning with Logics and Logics for Learning (LLLL-2005), pp. 3-9, June 2005.
  18. T. Inoue, S. Tani, H. Takahashi, S. Minato, T. Miyazaki, and K. Toyoshima: "Design and Implementation of Advanced Multicast Router Based on Cluster Computing", In Proc. of IEEE The 11th International Conference on Parallel and Distributed Systems (ICPADS-2005), 4C-1, July 2005.
  19. S. Minato: "Finding Simple Disjoint Decompositions in Frequent Itemset Data Using Zero-suppressed BDDs", In Proc. of IEEE ICDM 2005 workshop on Computational Intelligence in Data Mining, pp. 3-11, ISBN-0-9738918-5-8, Nov. 2005.
  20. S. Minato: "Finding Simple Disjoint Decompositions on Sets of Combinations Based on Zero-suppressed BDDs", In Proc. of Synthesis and Simulation Meeting and International Interchange (SASIMI-2006), pp. 393-398, Apr. 2006.
  21. R. Kurai, S. Minato, and T. Zeugmann: "N-gram Analysis Based on Zero-suppressed BDDs", In Proc. of JSAI 4th Workshop on Learning with Logics and Logics for Learning (LLLL-2006), pp. 61-77, June 2006.
  22. S. Minato and H. Arimura: Frequent Pattern Mining and Knowledge Indexing Based on Zero-suppressed BDDs,  In Proc. The 5th International Workshop on Knowledge Discovery in Inductive Databases (KDID-2006), pp. 83-94, Sep. 2006.
  23. S. Minato: "Symmetric Item Set Mining Based on Zero-suppressed BDDs," In Proc. of the 9th International Conference on Discovery Science (DS-2006), (LNAI 4265, Springer), pp. 321-326, Oct. 2006.
  24. S. Minato, K. Satoh, and T. Sato: "Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs," In Proc. of 20th International Joint Conference of Artificial Intelligence (IJCAI-2007), pp. 2550-2555. Jan. 2007.
  25. H. Iwasaki, S. Minato, and T. Zeugmann: "A Method of Variable Ordering for Zero-suppressed Binary Decision Diagrams in Data Mining Applications," In Proc. of The Third IEEE International Workshop on Databases for Next-Generation Researchers (SWOD 2007), , pp. 85-90Apr. 2007.
  26. Ryutaro Kurai, Shin-ichi Minato, and Thomas Zeugmann: "Unordered N-gram Representation Based on Zero-suppressed BDDs for Text Mining and Classification," in Proc. of the 5th Workshop on Learning with Logics and Logics for Learning (LLLL 2007), pp.32-38, June 2007.
  27. S. Minato: "A Theoretical Study on Variable Ordering of Zero-suppressed BDDs for Representing Frequent Itemsets," In Proc. of the 10th International Conference on Discovery Science (DS-2007), LNAI 4755, pp. 139-150, Springer, Oct. 2007.
  28. S. Minato, T. Uno, and H. Arimura: "LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation," In Proc. of 12-th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2008), (LNAI 5012, Springer), pp. 234-246, May 2008.
  29. S. Minato: "A Fast Algorithm for Cofactor Implication Checking and Its Application for Knowledge Discovery," In Proc. of IEEE 8th International Conference on Computer and Information Technology (CIT 2008), pp. 53-58, July 2008.
  30. S. Yamashita, S. Minato, and D. M. Miller: "An Efficient Verification of Quantum Circuits under a Practical Restriction," In Proc. of IEEE 8th International Conference on Computer and Information Technology (CIT 2008), pp. 873-879, July 2008.
  31. Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato: "Propositionalizing the EM algorithm by BDDs," In Late Breaking Papers of 18th International Conference on Inductive Logic Programming (ILP 2008), pp. 44-49, Sep. 2008.
  32. Hitoshi Uematsu, Kan Toyoshima, Takeru Inoue, Kazuhiro Takahashi, Satsuki Nishina, Tsuyoshi Takagi, and Shin-ichi Minato: "Contents Muticast Method Enabling Determination of Leakage Origin and Exclusion," In Proc. of IEICE 14th Asia-Pacific Conference on Communications (APCC2008), 16-AM1-E, Oct. 2008.
  33. Shin-ichi Minato: "Recent Results on BDD-Based Large-Scale Data Processing for Knowledge Discovery," In Proc. of Reed-Miller Workshop (RM-2009), pp. 27-32, May. 2009.
  34. Daisuke Tokoro, Ai Fukunaga, Kiyoharu Hamaguchi, Toshinobu Kashiwabara, and Shin-ichi Minato: "Exploiting Global Structures in Bayesian Network Compilation by Zero-suppressed BDDs," Proc. of 19th International Conference on Inductive Logic Programming (ILP 2009), July, 2009.
  35. Haruya Iwasaki, Elsa Loekito, Shin-ichi Minato, James Bailey: "Comparison of ZDD-Vectors and WZDDs for Frequent Pattern Mining," Proc. of the Sixth Workshop on Learning with Logics and Logics for Learning (LLLL 2009), pp. 51-55, July, 2009.
  36. Daisuke Tokoro, Kiyoharu Hamaguchi, Toshinobu Kashiwabara, and Shin-ichi Minato: "Monolithic and Partial Compilation Methods for Probabilistic Inference of Bayesian Networks using ZBDDs," Proc. of the International Workshop on Data Mining and Statistical Science (DMSS 2009), pp. 98-103, July, 2009.
  37. Shin-ichi Minato and Takeaki Uno: "Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases," Proc. of 2010 SIAM International Conference on Data Mining (SDM 2010), pp. 339-349, Apr. 2010.
  38. S. Yamashita, S. Minato, and D. M. Miller: "Synthesis of Semi-Classical Quantum Circuits," Proc. of 2nd Workshop on Reversible Computation, pp. 93-99, Jul. 2010.
  39. Yusaku Kaneta, Shin-ichi Minato, and Hiroki Arimura: "Fast Bit-Parallel Matching for Network and Regular Expressions," In Proc. of 17th Symposium on String Processing and Information Retrieval (SPIRE 2010), pp. 372-384, Oct. 2010.
  40. Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga: "Efficient Multiple Regular Expression Matching on FPGAs based on Extended SHIFT-AND Method," In Proc. of Synthesis and Simulation Meeting and International Interchange (SASIMI-2010), pp. 401-406, Oct. 2010.
  41. Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato: "An EM algorithm on BDDs with order encoding for logic-based probabilistic models," Proc. of 2nd Asian Conference on Machine Learning (ACML2010), pp. 161-176, Nov. 2010.
  42. Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato: "Parameter learning for Bayesian Networks on Shared Binary Decision Diagrams," In Proc. of 1st International Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2010), p. 11, Nov. 2010.
  43. Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura and Yoshikazu Miyanaga: "Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching," Proc. of the 2010 International Conference on Field-Programmable Technology (FPT'10), pp. 21-28, Dec. 2010.
  44. Shin-ichi Minato: "PiDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space," Proc. of 14th International Conference on Theory and Applications of Satisfiability Testing, pp. 90-104, Jun. 2011.
  45. Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato: "Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations," Proc of Prague Stringology Conference 2011 (PSC2011), pp. 147-161, Aug. 2011.
  46. Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato: "Implementation of Sequence BDDs in Erlang," Proc of Tenth ACM SIGPLAN Erlang Workshop, pp. 90-91, Sep. 2011.
  47. Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, and Hiroki Arimura: "High-speed String and Regular Expression Matching on FPGA," Proc of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011), Oct. 2011.
  48. Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shin-ichi Minato and Makoto Yokoo: "Compact Representation Scheme of Coalitional Games Based on Multi-terminal Zero-suppressed Binary Decision Diagram," Proc of 14th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2011), LNAI 7047 pp. 4-18, Nov. 2011.
  49. Hiroshi Aoki, Shigeru Yamashita and Shin-ichi Minato: "An Efficient Algorithm for Constructing a Sequence Binary Decision Diagram Representing a Set of Reversed Sequences," Proc of 2011 IEEE International Confenrece on Granular Computing, pp. 54-59, Nov. 2011.
  50. Masakazu Ishihata, Taisuke Sato and Shin-ichi Minato: "Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs," Proc of The 24th Australasian Joint Conference on Artificial Intelligence (AI2011), LNAI 7106, pp. 203-212, Dec. 2011.

Technical Reports, Seminar Notes, etc.

  1. D. Rotter, K. Hamaguchi, S. Yajima, and S. Minato: "Manipulation of Large-Scale Polynomials Using Binary Moment Diagrams", Kyoto University KUIS Technical Report, KUIS-96-0002, pp.1-8, Apr. 1996.
  2. V. Bertacco, S. Minato, P. Verplaetse, L. Benini, and G. De Micheli: "Decision Diagrams and Pass Transistor Logic Synthesis", Stanford University CSL Technical Report, No. CSL-TR-97-748, Dec. 1997.
  3. H. Okuno, S. Minato, and H. Isozaki: "On the Properties of Combination Set Operations", Information Procssing Letters, Elsevier,  66 (1998), pp. 195-199, 1998.
  4. Bernd Becker, Christoph Meinel, Shin-ichi Minato, and Fabio Somenzi (editors): "Decision Diagrams - Concepts and Applications," Dagstuhl-Seminar-Report; 299, (99041), Jan. 1999.
  5. Shin-ichi Minato and Hiroki Arimura: "Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs", Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-04-1, Dec, 2004.
  6. Shin-ichi Minato: "VSOP (Valued-Sum-Of-Products) Calculator Based on Zero-Suppressed BDDs", Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-05-3, May, 2005.
  7. S. Minato and M. Yoshioka: "Double-Decker RFID Tags -- Basic Structures and Applications", In Proc. of First Korea/Japan Joint Workshop on Ubiquitous Computing & Networking Systems (UbiCNS-2005), June 2005.
  8. S. Minato: " Finding All Simple Disjoint Decompositions in Frequent Itemset Data", Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-05-9, Sep., 2005.
  9. S. Minato, H. Takahashi, T. Inoue, H. Tohjo, and K. Toyoshima: "A Framework of Programmable Multicast Applications Using Flexcast and Java Applet," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-10, Jan. 2006.
  10. S. Minato, H. Arimura: "ZBDD-growth: An Efficient Method for Frequent Pattern Mining and Knowledge Indexing," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-12, Apr. 2006.
  11. S. Minato: "Symmetric Item Set Mining Using Zero-suppressed BDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-14, May. 2006.
  12. R. Kurai, S. Minato, and T. Zeugmann: " N-gram Analysis Based on Zero-suppressed BDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-16, Jun. 2006.
  13. S. Minato: "Generating Frequent Closed Item Sets Based on Zero-suppressed BDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-17, Jul. 2006.
  14. Shin-ichi Minato: "Generating Frequent Closed Item Sets Using Zero-suppressed BDDs," Knowledge Media Technologies - First International Core-to-Core Workshop, In Klaus P. Jantke and Gunther Kreuzberger, Eds., Diskussionsbeitrage, Institut fur Medien und Kommunikationswisschaft, Technische Universitat Ilmenau No. 21, pp. 145-153, Jul. 2006.
  15. Shin-ichi Minato, Ken Satoh, and Taisuke Sato: "Compiling Bayesian Networks by Symbolic Probability Calculation Using Zero-suppressed BDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-18, Jul. 2006.
  16. S. Minato and K. Ito: "Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data," In Proc. of International Workshop on Data Mining and Statistical Science (DMSS-2006), pp. 70-76, Sep. 2006.
  17. S. Minato and H. Arimura: "Frequent Closed Item Set Mining Based on Zero-suppressed BDDs," In Proc. of International Workshop on Data Mining and Statistical Science (DMSS-2006), pp. 77-84, Sep. 2006.
  18. Shin-ichi Minato and Kimihito Ito: "Symmetric Item Set Mining Method Using ZBDDs and Application to Biological Data," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-22, Nov. 2006.
  19. H. Iwasaki, S. Minato and T. Zeugmann: "A Method of Variable Ordering for Zero-suppressed BDDs in Data Mining Applications," 18th IEICE Data Engineering Workshbop (DEWS2007), DEWS2007, M4-6, Apr. 2007.
  20. Shin-ichi Minato: "Itemset Mining Based on Cofactor Implication," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-07-25, May. 2007.
  21. Shin-ichi Minato: "A Theoretical Study on Variable Ordering of ZBDDs for Representing Frequent Itemsets," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-07-27, May. 2007.
  22. S. Minato and N. Spyratos: "Keyword Query Processing Using Binary Decision Diagrams under a Taxonomy Model," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-07-28, Aug. 2007.
  23. S. Minato, N. Spyratos: "Combinatorial Keyword Query Processing under a Taxonomy Model Using Binary Decision Diagrams," In workshop note of Perspectives of Intelligent System's Assistance (PISA-2007), Aug. 2007.
  24. S. Minato, T. Uno, and H. Arimura: "Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-07-30, Oct. 2007.
  25. S. Yamashita, S. Minato, and D. M. Miller: "An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-07-33, Dec. 2007.
  26. Shin-ichi Minato: "Decision Diagram-Based Large-Scale Data Processing for Knowledge Discovery," In Proc. of 2008 Interenational Symposium on Global COE Program of Center for Next Generation Information Technology based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2008) , Hokkaido University, pp. 39-43, Jan. 2008.
  27. Shin-ichi Minato: "Efficient Method of Large-Scale Data Analysis Using BDD-based Data Compression (Invited Talk)," In Proc. of 2008 Interenational Workshop on Multi-Media Signal Processing (IWMMSP 2008) , Hokkaido University, pp. 23-26, June 2008.
  28. M. Ishihata, Y. Kameya, T. Sato, and S. Minato: "Propositionalizing the EM algorithm by BDDs," Technical Report TR08-0004, Dept. of Computer Science, Tokyo Institute of Technology, June, 2008.
  29. Shin-ichi Minato: "ZBDD-Based Probabilistic Computation and Application for System Analysis," In Proc. of Workshop of SoC Design Methodologies, National Tsing Hua University, pp. 125-131, Sep. 2008
  30. Shin-ichi Minato: "Application of Binary Decision Diagrams for Probabilistic System Analysis," In Proc. of the 10th International Joint Symposium between Hokkaido University and Chungnam National University, pp. 144-155, Oct. 2008.
  31. Shin-ichi Minato and Takeaki Uno: "Distinctive Frequent Itemset Mining from Time Segmented Databases Using ZDD-Based Symbolic Processing," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-09-37, Jan. 2009. 
  32. Shin-ichi Minato: "Recent Progress on Decision Diagram-Based Large-Scale Data Processing for Knowledge Discovery," In Proc. of 2009 Interenational Symposium on Global COE Program of Center for Next Generation Information Technology based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2009) , Hokkaido University, pp. 55-60, Jan. 2009.
  33. Shin-ichi Minato: "Recent Topics on BDDs/ZDDs for Data Mining and Knowledge Discovery" (Invited talk), The International Workshop on Data Mining and Statistical Science (DMSS 2009), July, 2009.
  34. Shin-ichi Minato and Yusaku Kaneta: "A Data Stream Processing System for a Multiple Regular Expression Matching using FPGA," Panel Session"Hardware Software Co-research for Efficient Information Processing," Abstract of Asia-Pacific Signal and Information Processing Association 2009 Annual Summit and Conference (APSIPA ASC 2009), p. 34, Oct. 2009.
  35. Shin-ichi Minato: "Current and Future Work on Discrete Structure Manipulation for Knowledge Discovery," In Proc. of 2010 Interenational Symposium on Global COE Program of Center for Next Generation Information Technology based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2010) , Hokkaido University, pp. 46-49, Jan. 2010.
  36. Shuhei Denzumi, Hiroki Arimura, and Shin-ichi Minato: "Substring Indices Based on Sequence BDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-10-42, Apr. 2010.
  37. Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga: "Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-10-45, Jun. 2010.
  38. Shin-ichi Minato: "Recent and Future Work on Decision Diagrams and Discrete Structure Manipulation," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-B-10-7, Jul. 2010.
  39. Shin-ichi Minato: "Recent Topics on Decision Diagrams and Discrete Structure Manipulation," In Proc. of 9th International Workshop on Boolean Problems (IWSBP 2010), pp. 103-112, Sep. 2010. (invited)
  40. Shin-ichi Minato: "Discrete Structure Manipulation for Discovery Science Problems," In Proc. of 25th Annual International Symposium on Computer and Information Sciences (ISCIS 2010), pp. 359-364, Sep. 2010. (invited)
  41. Shin-ichi Minato: "Discrete Structure Manipulation System and Applications for Uncertain Data Processing," In Proc. of 1st International Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2010), p. 19, Nov. 2010. (invited)
  42. Shin-ichi Minato, Mikael Onsjo, and Osamu Watanabe: "Faster Evaluation of ZBDD Compressed Multi-Linear Functions with GPU Parallelism," Dept. of Math. and Comp. Sciences Research Reports, C-274, Tokyo Institute of Technology, Jan. 2011
  43. Shin-ichi Minato: "Discrete Structure Manipulation Systems for Large-Scale Knowledge Processing," In Proc. of 2011 Interenational Symposium on Global COE Program of Center for Next Generation Information Technology based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2011) , Hokkaido University, pp. 59-62, Jan. 2011.)
  44. Shin-ichi Minato: "PiDD: A New Decision Diagram for Manipulating Sets of Permutations," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-11-50, Feb. 2011.
  45. Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura and Shin-ichi Minato: "Counter Examples to the Conjecture on the Complexity of BDD Binary Operations," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-11-52, Apr. 2011.
  46. Shuhei Denzumi, Ryo Yoshinaka, Shin-ichi Minato, and Hiroki Arimura: "Efficient Algorithms on Sequence Binary Decision Diagrams for Manipulating Sets of Strings," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-11-53, Apr. 2011.
  47. Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga: "Fast String Matching Hardwares Based on Bit-Parallel Method for Data Streams," Proc of 2011 International Symposium on Multimedia and Communication Technology (ISMAC 2011), Sep. 2011.
  48. Jun Kawahara, Toshiki Saitoh, Ryo Yoshinaka and Shin-ichi Minato: "Counting Primitive Sorting Networks by PiDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-11-54, Oct. 2011.
  49. Shin-ichi Minato: "Prospective Research Direction on Discrete Structure Manipulation System," In Proc. of 2012 Interenational Symposium on Global COE Program of Center for Next Generation Information Technology based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2012) , Hokkaido University, pp. 60-63, Jan. 2012.
  50. Shin-ichi Minato: "Permutation Decision Diagrams (PiDDs) and Analysis of Primitive Sorting Networks," In Kenichi Morita and Robert Wille, editor, "Design of Reversible and Quantum Circuits (Dagstuhl Seminar 11502), " Dagstuhl Report, ISSN 2192-5283, Vol. 1, No. 12,  p. 56, Mar. 2012.
  51. Norihiro Yamada and Shin-ichi Minato: "A PiDD-Based Method for Generating Conjugacy Classes of Permutation Groups," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-12-56, Apr. 2012.
  52. Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto and Shin-ichi Minato: "Shared-Memory Parallel Algorithms for Frontier-Based Search," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-12-57, Apr. 2012.
Back to the home page
Last Update: Apr. 26, 2012

Valid HTML 4.01 Transitional