@article{CTT100817458,
  author = {Qizhen Zhu, and Yasuhiko Minamide and Hitoshi Akama},
  title = {Solving String Constraints with Streaming String Transducers},
  journal = {Journal of Information Processing},
  year = 2019,
}

@article{CTT100817459,
  author = {Takayuki Miyazaki and Yasuhiko Minamide},
  title = {Derivatives of Regular Expressions with Lookahead},
  journal = {},
  year = 2019,
}

@inproceedings{CTT100817460,
  author = {Takayuki Miyazaki and Yasuhiko Minamide},
  title = {先読み付き文脈自由文法の微分},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100817462,
  author = {Kazuya Takahashi and Yasuhiko Minamide},
  title = {バックトラックによる正規表現マッチングの計算量判定の実装},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100817463,
  author = {Takayuki Miyazaki and Yasuhiko Minamide},
  title = {先読み付き正規表現と解析表現の微分},
  booktitle = {},
  year = 2019,
}