@article{CTT100858437,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types},
  journal = {Journal of Information Processing},
  year = 2021,
}

@article{CTT100841204,
  author = {後藤司 and 森口草介 and 渡部卓雄},
  title = {WSAN向けマクロプログラミング言語の提案},
  journal = {コンピュータソフトウェア},
  year = 2021,
}

@inproceedings{CTT100861359,
  author = {渡部卓雄},
  title = {関数リアクティブプログラミング言語による小規模組込みシステムのプログラミング},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100860442,
  author = {辻裕太 and 森口草介 and 渡部卓雄},
  title = {小規模組込みシステム向けFRP言語における周期的タスクの記述方式},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100860441,
  author = {白鳥佑弥 and 森口草介 and 渡部卓雄},
  title = {関数リアクティブプログラミングにおける時変値の初期化手法の提案},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100853675,
  author = {堀紗知子 and 森口草介 and 渡部卓雄},
  title = {関数リアクティブプログラミング言語のための時間制約付きイベントの記述方式},
  booktitle = {情報処理学会研究報告},
  year = 2021,
}

@inproceedings{CTT100853674,
  author = {白鳥佑弥 and 森口草介 and 渡部卓雄},
  title = {関数リアクティブプログラミングにおける時変値の初期値の自動決定},
  booktitle = {情報処理学会研究報告},
  year = 2021,
}

@inproceedings{CTT100853677,
  author = {内藤博 and 森口草介 and 渡部卓雄},
  title = {組込みシステム向けFRP言語におけるモデル検査を用いた状態依存動作の検証},
  booktitle = {情報処理学会研究報告},
  year = 2021,
}

@inproceedings{CTT100834446,
  author = {Takuo Watanabe and Kazuhiro Shibanai},
  title = {Towards a Functional Reactive Programming Model for Developing WSANs},
  booktitle = {Proceedings of Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2020)},
  year = 2021,
}

@inproceedings{CTT100844058,
  author = {横山陽彦 and 森口草介 and 渡部卓雄},
  title = {小規模組込みシステム向けFRP言語のための再帰データ型},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100841919,
  author = {Yoshitaka Sakurai and Sosuke Moriguchi and Takuo Watanabe},
  title = {Functional Reactive Programming for Embedded Systems with GPGPUs},
  booktitle = {},
  year = 2021,
}