"Masaki Kamano,Taiga Fukuda,Yasuhiko Minamide","非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定","日本ソフトウェア科学会第38回大会",,,,,,2021,Aug.
"Michikazu Hirata,Yasuhiko Minamide,Tetsuya Sato","Isabelle/HOLによる高階確率的プログラム検証","日本ソフトウェア科学会第38回大会",,,,,,2021,Aug.
"Kazuya Takahashi,Yasuhiko Minamide","拡張正規表現マッチングの計算量解析",,"コンピュータソフトウェア",,"Vol. 38","No. 2","pp. 53-70",2021,Apr.
"Takayuki Miyazaki,Yasuhiko Minamide","Context-Free Grammars with Lookahead","Language and Automata Theory and Applications(LATA)",,,,,,2021,Mar.