@article{CTT100893512,
  author = {釜野雅基 and 福田大我 and 南出靖彦},
  title = {非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定},
  journal = {コンピュータソフトウェア},
  year = 2023,
}

@article{CTT100875917,
  author = {Michikazu Hirata and Yasuhiko Minamide and Tetsuya Sato},
  title = {Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL},
  journal = {Lecture notes in computer science, LNCS},
  year = 2022,
}

@article{CTT100848891,
  author = {高橋和也 and 南出靖彦},
  title = {拡張正規表現マッチングの計算量解析},
  journal = {コンピュータソフトウェア},
  year = 2021,
}

@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,
}

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

@article{CTT100753030,
  author = {Yasuhiko Minamide},
  title = {Weighted Pushdown Systems with Indexed Weight Domains},
  journal = {Logical Methods in Computer Science},
  year = 2016,
}

@article{CTT100790986,
  author = {Uezato, Y. and Yasuhiko Minamide},
  title = {Monoid-based approach to the inclusion problem on superdeterministic pushdown automata},
  journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
  year = 2016,
}

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

@inproceedings{CTT100875475,
  author = {平田路和 and 南出靖彦 and 佐藤哲也},
  title = {Isabelle/HOLによる高階確率的プログラム検証},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100875628,
  author = {釜野 雅基 and 福田 大我 and 南出 靖彦},
  title = {非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100848890,
  author = {Takayuki Miyazaki and Yasuhiko Minamide},
  title = {Context-Free Grammars with Lookahead},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100836643,
  author = {高橋和也 and 南出靖彦},
  title = {正規表現マッチングの計算量解析ツールの拡張と高速化},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100836644,
  author = {宮嵜貴之 and 南出靖彦},
  title = {先読み付き文脈自由文法とその微分},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100817460,
  author = {宮嵜 貴之 and 南出 靖彦},
  title = {先読み付き文脈自由文法の微分},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100817462,
  author = {高橋 和也 and 南出 靖彦},
  title = {バックトラックによる正規表現マッチングの計算量判定の実装},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100817463,
  author = {宮嵜 貴之 and 南出 靖彦},
  title = {先読み付き正規表現と解析表現の微分},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100779987,
  author = {高橋和也 and 南出靖彦},
  title = {語の包含判定に基づくサニタイズ文脈の自動決定},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100779986,
  author = {赤間仁志 and 南出靖彦},
  title = {Streaming String Transducerの合成の形式的証明},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100715398,
  author = {中川 みなみ and 南出 靖彦},
  title = {バックトラックによる正規表現マッチングの時間計算量解析},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100715385,
  author = {Uezato Yuya and Yasuhiko Minamide},
  title = {Synchronized Recursive Timed Automata},
  booktitle = {Lecture notes in computer science, LNCS},
  year = 2015,
}

@inproceedings{CTT100715392,
  author = {上里 友弥 and 南出 靖彦},
  title = {更新可能時間オートマトンの新たな拡張について},
  booktitle = {},
  year = 2015,
}