@article{CTT100916120,
  author = {Michikazu Hirata and Yasuhiko Minamide and Tetsuya Sato},
  title = {Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL},
  journal = {},
  year = 2023,
}

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

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