@article{CTT100924201,
  author = {瀧本哲史 and 森口草介 and 渡部卓雄},
  title = {組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御},
  journal = {コンピューターソフトウェア},
  year = 2025,
}

@inproceedings{CTT100925189,
  author = {Sosuke Moriguchi and Satoshi Takimoto and Mizuki Shirai and Takuo Watanabe},
  title = {Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists},
  booktitle = {Proceedings of 13th Workshop on Computation: Theory and Practice (WCTP 2024)},
  year = 2024,
}

@inproceedings{CTT100908915,
  author = {瀧本哲史 and 森口草介 and 渡部卓雄},
  title = {ハードウェアのモード制御を記述可能な小規模組込みシステム向けFRP言語},
  booktitle = {},
  year = 2024,
}

@inproceedings{CTT100901504,
  author = {瀧本哲史 and 森口草介 and 渡部卓雄},
  title = {組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100878380,
  author = {瀧本哲史 and 森口草介 and 渡部卓雄},
  title = {入出力の動的な切替機構をもつ組込みシステム向けFRP言語の検討},
  booktitle = {情報処理学会研究報告},
  year = 2022,
}