Type | Author(s) | Title | Other Titles | Citation | Citation(alt) | Issue Date |
article (author version) | Minato, Shin-Ichi | Arithmetic 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 |
article | Minato, Shin-ichi | BEM-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 presentation | Denzumi, Shuhei; Arimura, Hiroki; Minato, Shin-ichi | Construction of Substring Indices Using Sequence BDDs | 系列二分決定グラフを用いた部分文字列索引の構築 | - | - | Jun-2011 |
article (author version) | Yoshinaka, Ryo; Kawahara, Jun; Denzumi, Shuhei; Arimura, Hiroki; Minato, Shin-ichi | Counterexamples to the long-standing conjecture on the complexity of BDD binary operations | - | Information Processing Letters | - | 31-Aug-2012 |
article | YAMASHITA, Shigeru; MINATO, Shin-ichi; MILLER, D. Michael | DDMF: 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 |
article | Denzumi, Shuhei; Kawahara, Jun; Tsuda, Koji; Arimura, Hiroki; Minato, Shin-ichi; Sadakane, Kunihiko | DenseZDD : A Compact and Fast Index for Families of Sets | - | Algorithms | - | Aug-2018 |
article | Kaneta, Yusaku; Yoshizawa, Shingo; Minato, Shin-ichi; Arimura, Hiroki; Miyanaga, Yoshikazu | A 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 |
article | Minato, Shin-ichi | Fast 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 |
article | MINATO, Shin-ichi; ARIMURA, Hiroki | Frequent closed item set mining based on zero-suppressed BDDs | - | 人工知能学会論文誌 | Transactions of the Japanese Society for Artificial Intelligence : AI | 1-Nov-2007 |
proceedings | Minato, Shin-ichi; Uno, Takeaki | Frequentness-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-ichi | Incremental Set Recommendation Based on Class Differences | - | Lecture Notes in Computer Science | - | 2012 |
article | ROTTER, Dror; HAMAGUCHI, Kiyoharu; MINATO, Shin-ichi; YAJIMA, Shuzo | Manipulation 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 |
article | Minato, Shin-ichi | Minimum-Width Method of Variable Ordering for Binary Decision Diagrams | - | IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences | - | 20-Mar-1992 |
article | Inoue, Takeru; Minato, Shin-ichi | On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake | - | IEICE Transactions on Communications | - | 1-Jul-2012 |