03 2017/04 05
26272829303101
0203040506 0708
09 101112131415
16171819202122
23242526272829
30010203040506
Click セミナー
2017年度
2016  2015  2014  2013  2012  2011  2010  ALL 

Journal Papers

Reona Minoda, Shin-ichi Minato 
Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages, IEICE Trans. Inf. & Syst., Vol.E100-D, No.06, 2017年06月

Refereed Conference

Takanori Maehara, Hirofumi Suzuki, Masakazu Ishihata 
Exact Computation of Influence Spread by Binary Decision Diagram, The 2017 World Wide Web conference (WWW-2017), 947-956, 2017年04月

Etc.

基盤(S) 離散構造処理系プロジェクト  
2016年度 科研費 基盤(S)離散構造処理系の基盤アルゴリズムの研究 講究録, ISSN 2186-1846, 2017年06月

基盤(S) 離散構造処理系プロジェクト, CD-ROM  
2016年度 科研費 基盤(S)離散構造処理系の基盤アルゴリズムの研究 講究録, ISSN 2186-1854, 2017年06月