"Shohei Mochizuki,Masaya Shimakawa,Shigeki Hagihara,Naoki Yonezaki","Fast Translation from LTL to B?chi Automata via Non-transition-based Automata","16th International Conference on Formal Engineering Methods (ICFEM 2014)","Formal Methods and Software Engineering, 16th International Conference on Formal Engineering Methods, ICFEM 2014, Lecture Notes in Computer Science","Springer","Vol. 8829",,"pp. 364-379",2014,Nov.
"上野篤史,望月翔平,島川昌也,萩原茂樹,米崎直樹","LTL式で記述されたリアクティブシステム仕様の高速な実現可能性判定器の実装","第20回ソフトウェア工学の基礎ワークショップFOSE2013",,,,,,2013,Nov.
"上野篤史,望月翔平,島川昌也,萩原茂樹,米崎直樹","LTL式で記述されたリアクティブシステム仕様の高速な実現可能性判定器の実装に関する研究",,"日本ソフトウェア科学会第30回大会講演論文集",,,,,2013,Sept.
"望月翔平,島川昌也,萩原茂樹,米崎直樹","LTL式からBuchiオートマトンへの高速な変換法","第19回 ソフトウェア工学の基礎ワークショップ FOSE 2012","ソフトウェア工学の基礎XIX, 日本ソフトウェア科学会 FOSE 2012","近代科学社",,,"pp. 91-100",2012,Dec.