Hiroki Horita, Hideaki Hirayama, Takeo Hayase, Yasuyuki Tahara, Akihiko Ohsuga: Business Process Verification and Restructuring LTL Formula Based on Machine Learning Approach, in book “Studies in Computational Intelligence” (Selected papers from 15th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2016)), pp.89-102, Springer, (2016/6)

::人工知能学会 「2013年度研究会優秀賞」::
受賞論文:LODの画像的特徴に基づくLiteral値名寄せ手法の提案
受賞者:川村 隆浩,長野 伸一,大須賀 昭彦
学内サイト記事

Hiroki Horita, Hideaki Hirayama, Yasuyuki Tahara, Akihiko Ohsuga:Goal Achievement Analysis based on LTL Checking and Decision Tree for Improvements of PAIS,31th Annual ACM Symposium on Applied Computing, pp.1214-1216 (SAC 2016),(2016/4)

::日本ソフトウェア科学会MACC研究会平成29年度発表会 最優秀発表賞::
受賞論文:パーチェス法を用いたエージェントシミュレーションによる金融機関の合併に関するシステミックリスクへの影響分析
受賞者:加藤秀紀
(共著者:清雄一、田原康之、大須賀昭彦)
学内サイト記事