"Kazuya Takahashi,Yasuhiko Minamide","語の包含判定に基づくサニタイズ文脈の自動決定","第20回プログラミングおよびプログラミング言語ワークショップ",,,,,,2018,Mar.
"Hitoshi Akama,Yasuhiko Minamide","Streaming String Transducerの合成の形式的証明","第20回プログラミングおよびプログラミング言語ワークショップ",,,,,,2018,Mar.
"Yuya Uezato,Yasuhiko Minamide","Configuration Reachability Analysis of Synchronized Recursive Timed Automata",,"コンピュータソフトウェア",,"Vol. 35","No. 1","pp. 140-168",2018,Jan.