@article{CTT100893512,
  author = {Masaki Kamano and Taiga Fukuda and Yasuhiko Minamide},
  title = {非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定},
  journal = {コンピュータソフトウェア},
  year = 2023,
}

@inproceedings{CTT100893513,
  author = {Rui Kawamura and Yasuhiko Minamide},
  title = {拡張正規表現マッチングの保守的計算量解析における後方参照の解析精度向上},
  booktitle = {},
  year = 2023,
}