"Rui Kawamura,Yasuhiko Minamide","拡張正規表現マッチングの保守的計算量解析における後方参照の解析精度向上","第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023)",,,,,,2023,Mar. "Masaki Kamano,Taiga Fukuda,Yasuhiko Minamide","非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定",,"コンピュータソフトウェア",," 40"," 1",,2023,Feb.