HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >

Sort by: In order: Results/Page Authors/Record:
Export metadata:
Showing results 1 to 20 of 41
 next >
TypeAuthor(s)TitleOther TitlesCitationCitation(alt)Issue Date
article (author version)Minato, Shin-IchiArithmetic Boolean Expression Manipulator Using BDDs-Formal Methods in System Design-Apr-1997
conference presentation湊, 真一BDD/ZDDを基盤とする種々の離散構造の演算処理と代数系(algebra)について---Jun-2011
conference presentation湊, 真一BDD/ZDDパッケージ講習会---Jun-2011
articleMinato, Shin-ichiBEM-II: An Arithmetic Boolean Expression Manipulator Using BDDs (Special Section on VLSI Design and CAD Algorithms)-IEICE transactions on fundamentals of electronics, communications and computer sciences-25-Oct-1993
conference presentationDenzumi, Shuhei; Arimura, Hiroki; Minato, Shin-ichiConstruction of Substring Indices Using Sequence BDDs系列二分決定グラフを用いた部分文字列索引の構築--Jun-2011
article (author version)Yoshinaka, Ryo; Kawahara, Jun; Denzumi, Shuhei; Arimura, Hiroki; Minato, Shin-ichiCounterexamples to the long-standing conjecture on the complexity of BDD binary operations-Information Processing Letters-31-Aug-2012
articleYAMASHITA, Shigeru; MINATO, Shin-ichi; MILLER, D. MichaelDDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction-IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences-Dec-2008
articleDenzumi, Shuhei; Kawahara, Jun; Tsuda, Koji; Arimura, Hiroki; Minato, Shin-ichi; Sadakane, KunihikoDenseZDD : A Compact and Fast Index for Families of Sets-Algorithms-Aug-2018
articleKaneta, Yusaku; Yoshizawa, Shingo; Minato, Shin-ichi; Arimura, Hiroki; Miyanaga, YoshikazuA Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions-IEICE Transactions on Information and Systems-1-Jul-2012
conference presentation湊, 真一ERATOプロジェクトの立ち上げと研究の進展状況について---Jun-2011
conference presentation湊, 真一ERATO湊離散構造処理系プロジェクト : キックオフシンポジウム講演資料---Jun-2011
conference presentation湊, 真一ERATO湊離散構造処理系プロジェクト : 概要紹介と最近の話題---Jun-2011
articleMinato, Shin-ichiFast Generation of Prime-Irredundant Covers from Binary Decision Diagrams-IEICE transactions on fundamentals of electronics, communications and computer sciences-25-Jun-1993
article井上, 武; 谷, 誠一郎; 高橋, 宏和; 湊, 真一; 宮崎, 敏明; 豊島, 鑑Flexcastによる段階的導入に優れたマルチキャストシステムの設計と実装 : システム開発論文特集Design and Implementation of the Incrementally Deployable Multicast System Based on Flexcast電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理-1-Feb-2005
articleMINATO, Shin-ichi; ARIMURA, HirokiFrequent closed item set mining based on zero-suppressed BDDs-人工知能学会論文誌Transactions of the Japanese Society for Artificial Intelligence : AI1-Nov-2007
proceedingsMinato, Shin-ichi; Uno, TakeakiFrequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases---Apr-2010
article (author version)Shirai, Yasuyuki; Tsuruma, Koji; Sakurai, Yuko; Oyama, Satoshi; Minato, Shin-ichiIncremental Set Recommendation Based on Class Differences-Lecture Notes in Computer Science-2012
articleROTTER, Dror; HAMAGUCHI, Kiyoharu; MINATO, Shin-ichi; YAJIMA, ShuzoManipulation of Large-Scale Polynomials Using BMDs : Special Section on VLSI Design and CAD Algorithms-IEICE transactions on fundamentals of electronics, communications and computer sciences-25-Oct-1997
articleMinato, Shin-ichiMinimum-Width Method of Variable Ordering for Binary Decision Diagrams-IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences-20-Mar-1992
articleInoue, Takeru; Minato, Shin-ichiOn Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake-IEICE Transactions on Communications-1-Jul-2012
Showing results 1 to 20 of 41
 next >


Hokkaido University