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
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
articleMinato, Shin-ichiPower of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation-IEICE transactions on information and systems-Aug-2017
articleMinoda, Reona; Minato, Shin-ichiVerifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages-IEICE transactions on information and systems-Jun-2017
article (author version)Denzumi, Shuhei; Yoshinaka, Ryo; Arimura, Hiroki; Minato, Shin-ichiSequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations-Discrete applied mathematics-30-Oct-2016
articleMinato, Shin-ichiTechniques of BDD/ZDD : Brief History and Recent Activity-IEICE Transactions on Information and Systems-Jul-2013
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
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
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
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
conference presentation湊, 真一ERATO湊離散構造処理系プロジェクト : 概要紹介と最近の話題---Jun-2011
conference presentationMinato, Shin-ichiπDD: Permutation Decision Diagram based on Permutation Family Algebra---Jun-2011
conference presentation湊, 真一ERATO湊離散構造処理系プロジェクト : キックオフシンポジウム講演資料---Jun-2011
conference presentation湊, 真一BDD/ZDDパッケージ講習会---Jun-2011
conference presentation湊, 真一北大版BDD/ZDDパッケージの概要 : 北大ERATOオフィスのIT系インフラ構成の現状と今後の課題について---Jun-2011
conference presentation齋藤, 寿樹; 鈴木, 拡; 湊, 真一ZDDを用いたパスの列挙 : 打倒Knuthを目指して---Jun-2011
conference presentation湊, 真一ERATOプロジェクトの立ち上げと研究の進展状況について---Jun-2011
other湊, 真一はしがき---Jun-2011
conference presentation川原, 純; 齋藤, 寿樹; 鈴木, 拡; 湊, 真一; 吉仲, 亮ZDDによるパスの列挙---Jun-2011
conference presentationDenzumi, Shuhei; Arimura, Hiroki; Minato, Shin-ichiConstruction of Substring Indices Using Sequence BDDs系列二分決定グラフを用いた部分文字列索引の構築--Jun-2011
conference presentation高橋, 渉; 湊, 真一; 川原, 純ベイジアンネットワークの機械語へのコンパイル---Jun-2011
Showing results 1 to 20 of 41
 next >


Hokkaido University