@article{CTT100779699,
  author = {Yuya Uezato and Yasuhiko Minamide},
  title = {Configuration Reachability Analysis of Synchronized Recursive Timed Automata},
  journal = {コンピュータソフトウェア},
  year = 2018,
}

@inproceedings{CTT100779986,
  author = {Hitoshi Akama and Yasuhiko Minamide},
  title = {Streaming String Transducerの合成の形式的証明},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100779987,
  author = {Kazuya Takahashi and Yasuhiko Minamide},
  title = {語の包含判定に基づくサニタイズ文脈の自動決定},
  booktitle = {},
  year = 2018,
}