@book{CTT100497683,
  author = {TAKUO WATANABE and SATOSHI MATSUOKA},
  title = {オブジェクト指向コンピューティング},
  publisher = {岩波書店},
  year = 1993,
}

@book{CTT100497841,
  author = {Takuo Watanabe and Akinori Yonezawa},
  title = {Reflection in an Object-Oriented Concurrent Language},
  publisher = {MIT Press},
  year = 1990,
}

@article{CTT100907995,
  author = {Mizuki Shirai and Sosuke Moriguchi and Takuo Watanabe},
  title = {Construction of Inverse Computation in Synchronous Dataflow Programming},
  journal = {Computer Software},
  year = 2024,
}

@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 = {Tsukasa Gotoh and Sosuke Moriguchi and Takuo Watanabe},
  title = {A Macroprogramming Language for Wireless Sensor-Actor Networks},
  journal = {Computer Software},
  year = 2021,
}

@article{CTT100815338,
  author = {Arimichi Matsumura and Takuo Watanabe},
  title = {An Abstraction Mechanism for Modeling Stateful Behaviors in an FRP Language for Embedded Systems},
  journal = {IPSJ Transactions on Programming (PRO)},
  year = 2020,
}

@article{CTT100758041,
  author = {Kentaro Takakuwa and Takuo Watanabe},
  title = {A Multi-Language Implementation Method for Hygienic Macro Definition Mechanisms},
  journal = {Computer Software},
  year = 2018,
}

@article{CTT100697050,
  author = {Souhei Takeno and Takuo Watanabe},
  title = {An Implementation of Concurrent Context-Oriented Programming System based on the Actor Model},
  journal = {Computer Software},
  year = 2016,
}

@article{CTT100903086,
  author = {Naoyuki Nagatou and Takuo Watanabe},
  title = {A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults},
  journal = {International Journal of Industrial Engineering: Theory, Applications and Practice},
  year = 2015,
}

@article{CTT100652447,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {Implementation of an Interactive Correction Mechanism for Coq},
  journal = {IPSJ Transactions on Programming},
  year = 2012,
}

@article{CTT100390061,
  author = {Kiyoshi Yamada and Takuo Watanabe},
  title = {Moxa: An Aspect-oriented Behavioral Interface Specification Language},
  journal = {IPSJ Transactions on Programming},
  year = 2005,
}

@article{CTT100497838,
  author = {Yuji Ichisugi and Akira Tanaka and Takuo Watanabe},
  title = {拡張ルール：安全に結合可能なアスペクトの記述ルール},
  journal = {Computer Software},
  year = 2003,
}

@article{CTT100497766,
  author = {Noriki Amano and Takuo Watanabe},
  title = {LEAD++: An Object-Oriented Reflective Language for Dynamically Adaptable Software Model},
  journal = {IEICE Transactions on Fundamental of Electronics, Communications and Computer Science},
  year = 1999,
}

@article{CTT100496478,
  author = {Noriki Amano and Takuo Watanabe},
  title = {LEAD: A Language for Dynamically Adaptable Applications},
  journal = {IEICE Transactions on Fundamental of Electronics, Communications and Computer Science},
  year = 1998,
}

@article{CTT100844409,
  author = {Shusaku Iida and Kokichi Futatsugi and Takuo Watanabe},
  title = {A Method for Creating and Verifying Formal Specifications of Distributed Systems in CafeOBJ},
  journal = {Computer Software},
  year = 1998,
}

@article{CTT100496481,
  author = {Noriki Amano and TAKUO WATANABE},
  title = {LEAD: 動的適応可能なソフトウェアを構成する言語の設計と実装},
  journal = {情報処理学会論文誌},
  year = 1998,
}

@article{CTT100497746,
  author = {TAKUO WATANABE},
  title = {A Tutorial Introduction to Computational Reflection},
  journal = {Computer Software},
  year = 1994,
}

@article{CTT100497747,
  author = {Hidehiko Masuhara and SATOSHI MATSUOKA and TAKUO WATANABE},
  title = {自己反映並列オブジェクト指向言語 ABCL/R2 の設計と実現},
  journal = {コンピュータソフトウェア},
  year = 1994,
}

@article{CTT100497686,
  author = {Takuo Watanabe and Ichirou Ohsawa and Akinori Yonezawa},
  title = {A Japanese Dialog System Applicable to Multiple Discourse Domains},
  journal = {Journal of Japanese Society for Artificial Intelligence},
  year = 1987,
}

@inproceedings{CTT100908916,
  author = {Go Suzuki and Takuo Watanabe and Sosuke Moriguchi},
  title = {マイコンの省電力コプロセッサを活用できる動的コンパイラの実装に向けて},
  booktitle = {},
  year = 2024,
}

@inproceedings{CTT100908915,
  author = {Satoshi Takimoto and Sosuke Moriguchi and Takuo Watanabe},
  title = {ハードウェアのモード制御を記述可能な小規模組込みシステム向けFRP言語},
  booktitle = {},
  year = 2024,
}

@inproceedings{CTT100903500,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {Event by Timing: Periodic and Time-Sequencing Responses},
  booktitle = {Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023)},
  year = 2024,
}

@inproceedings{CTT100907994,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems},
  booktitle = {},
  year = 2024,
}

@inproceedings{CTT100902531,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {Developing Distributed Systems with Multiparty Functional Reactive Programming},
  booktitle = {Proc. 5th World Symposium on Software Engineering (WSSE 2023)},
  year = 2023,
}

@inproceedings{CTT100904745,
  author = {Go Suzuki and Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {Using Low Power Coprocessors in an FRP Language for Embedded Systems},
  booktitle = {Proc. Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023)},
  year = 2023,
}

@inproceedings{CTT100902530,
  author = {Kento Sogo and Yuta Tsuji and Sosuke Moriguchi and Takuo Watanabe},
  title = {Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems},
  booktitle = {Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems},
  year = 2023,
}

@inproceedings{CTT100901503,
  author = {Mizuki Shirai and Sosuke Moriguchi and Takuo Watanabe},
  title = {同期的データフロープログラミングにおける逆計算の構成方式},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100901504,
  author = {Satoshi Takimoto and Sosuke Moriguchi and Takuo Watanabe},
  title = {組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100897801,
  author = {Go Suzuki and Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {対話的な組込み用FRP言語インタプリタとFRP言語における省電力コプロセッサの活用},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100893576,
  author = {Kento Sogo and Yuta Tsuji and Sosuke Moriguchi and Takuo Watanabe},
  title = {小規模組込みシステム向けFRP言語における離散イベント機構の導入とその評価},
  booktitle = {情報処理学会研究報告},
  year = 2023,
}

@inproceedings{CTT100885489,
  author = {Kento Sogo and Sosuke Moriguchi and Takuo Watanabe},
  title = {組込みシステム向けFRP言語における離散イベント機構の実装とその評価},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100885488,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100885507,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100885502,
  author = {Go Suzuki and Takuo Watanabe and Sosuke Moriguchi},
  title = {Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices},
  booktitle = {Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming},
  year = 2023,
}

@inproceedings{CTT100885490,
  author = {Go Suzuki and Takuo Watanabe and Sosuke Moriguchi},
  title = {REPLをサポートする小規模組込み機器向けFRP言語処理系の実装と評価},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100884356,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {Responsibilities of Responses in Functional Reactive Programming},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100882649,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100881149,
  author = {Ju Guiyuan and Sosuke Moriguchi and Takuo Watanabe},
  title = {A Complete Glitch-Free Propagation Algorithm for Distributed Functional Reactive Programming},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100878380,
  author = {Satoshi Takimoto and Sosuke Moriguchi and Takuo Watanabe},
  title = {入出力の動的な切替機構をもつ組込みシステム向けFRP言語の検討},
  booktitle = {情報処理学会研究報告},
  year = 2022,
}

@inproceedings{CTT100865528,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {小規模組込みシステム向けFRP言語における非同期タスク処理機構},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100865664,
  author = {Shiyunsuke Uchino and Sosuke Moriguchi and Takuo Watanabe},
  title = {組込みシステム向け関数リアクティブプログラムに対するテストケース生成手法},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100865663,
  author = {Mizuki Shirai and Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {サイズ情報を伴った再帰データ型を扱う小規模組込みシステム向けFRP言語へのパラメータ多相の導入},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100860442,
  author = {Yuta Tsuji and Sosuke Moriguchi and Takuo Watanabe},
  title = {小規模組込みシステム向けFRP言語における周期的タスクの記述方式},
  booktitle = {},
  year = 2021,
}

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

@inproceedings{CTT100860441,
  author = {Yuya Shiratori and Sosuke Moriguchi and Takuo Watanabe},
  title = {関数リアクティブプログラミングにおける時変値の初期化手法の提案},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100853677,
  author = {Hiroshi Naito and Sosuke Moriguchi and Takuo Watanabe},
  title = {組込みシステム向けFRP言語におけるモデル検査を用いた状態依存動作の検証},
  booktitle = {IPSJ SIG Technical Report},
  year = 2021,
}

@inproceedings{CTT100853674,
  author = {Yuya Shiratori and Sosuke Moriguchi and Takuo Watanabe},
  title = {関数リアクティブプログラミングにおける時変値の初期値の自動決定},
  booktitle = {IPSJ SIG Technical Report},
  year = 2021,
}

@inproceedings{CTT100853675,
  author = {Sachiko Hori and Sosuke Moriguchi and Takuo Watanabe},
  title = {関数リアクティブプログラミング言語のための時間制約付きイベントの記述方式},
  booktitle = {IPSJ SIG Technical Report},
  year = 2021,
}

@inproceedings{CTT100844058,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {Recursive Data Types for an FRP language for Small-scale Embbeded Systems},
  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{CTT100841919,
  author = {Yoshitaka Sakurai and Sosuke Moriguchi and Takuo Watanabe},
  title = {Functional Reactive Programming for Embedded Systems with GPGPUs},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100804210,
  author = {Takuo Watanabe},
  title = {A Reflective Extension of an FRP Language and its Applications},
  booktitle = {Theory and Practice of Computation, Proceedings of the Workshop on Computation: Theory and Practice (WCTP2019)},
  year = 2020,
}

@inproceedings{CTT100836143,
  author = {Takuo Watanabe},
  title = {Developing Coordinating Distributed Applications in a Pure FRP Language},
  booktitle = {Philippine Computing Journal},
  year = 2020,
}

@inproceedings{CTT100836142,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {Bounded-Construction-Types for Functional Reactive Programming},
  booktitle = {Philippine Computing Journal},
  year = 2020,
}

@inproceedings{CTT100853678,
  author = {Tsukasa Gotoh and Sosuke Moriguchi and Takuo Watanabe},
  title = {WSAN向けマクロプログラミング言語の提案},
  booktitle = {日本ソフトウェア科学会第37回大会講演論文集},
  year = 2020,
}

@inproceedings{CTT100827063,
  author = {Yuta Tsuji and Sosuke Moriguchi and Takuo Watanabe},
  title = {組込みシステム向け関数リアクティブプログラミング言語の内部 DSL としての実装},
  booktitle = {IPSJ SIG Technical Report},
  year = 2020,
}

@inproceedings{CTT100820152,
  author = {Yoshitaka Sakurai and Sosuke Moriguchi and Takuo Watanabe},
  title = {FRPによるGPU上の計算の実現},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820156,
  author = {Tsukasa Gotoh and Sosuke Moriguchi and Takuo Watanabe},
  title = {WSAN向けマクロプログラミング言語の提案},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820155,
  author = {Yuya Shiratori and Sosuke Moriguchi and Takuo Watanabe},
  title = {出力制約つき関数リアクティブシステムにおける入力センサの静的仕様推定},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820154,
  author = {Yuta Tsuji and Sosuke Moriguchi and Takuo Watanabe},
  title = {内部DSLとしての関数リアクティブプログラミング言語の実装手法},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820150,
  author = {Arimichi Matsumura and Takuo Watanabe},
  title = {状態遷移を表現する組込みシステム向けFRP言語の設計},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100815513,
  author = {Akihiko Yokoyama and Sosuke Moriguchi and Takuo Watanabe},
  title = {小規模組込みシステム向けFRP言語に対する再帰的データ型の導入},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100804001,
  author = {Yoshitaka Sakurai and Takuo Watanabe},
  title = {Towards a Statically Scheduled Parallel Execution of an FRP Langauge for Embedded Systems},
  booktitle = {Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS 2019)},
  year = 2019,
}

@inproceedings{CTT100800315,
  author = {Takuo Watanabe and Kazuhiro Shibanai and Yoshitaka Sakurai and Arimichi Matsumura and Akihiko Yokoyama},
  title = {関数リアクティブプログラミング言語によるサイバーフィジカルシステム開発支援にむけて},
  booktitle = {組込みシステムシンポジウム2019論文集},
  year = 2019,
}

@inproceedings{CTT100794131,
  author = {Sheng Wang and Takuo Watanabe},
  title = {Functional Reactive EDSL with Asynchronous Execution for Resource-Constrained Embedded Systems},
  booktitle = {Studies in Computational Intelligence},
  year = 2019,
}

@inproceedings{CTT100799523,
  author = {Yoshitaka Sakurai and Takuo Watanabe},
  title = {小規模組込み向けFRP言語のための並列実行モデル},
  booktitle = {情報処理学会研究報告},
  year = 2019,
}

@inproceedings{CTT100799521,
  author = {Arimichi Matsumura and Takuo Watanabe},
  title = {組込みシステム向けFRP言語における動的動作のための抽象化機構},
  booktitle = {情報処理学会研究報告},
  year = 2019,
}

@inproceedings{CTT100820157,
  author = {Yoshitaka Sakurai and Takuo Watanabe},
  title = {組込みシステム向けFRP言語の静的スケジューリングを用いた並列化},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100791999,
  author = {Takuo Watanabe and Arimichi Matsumura and Akihiko Yokoyama},
  title = {小規模組込みシステム向け関数リアクティブプログラミング言語のためのモジュール化機構},
  booktitle = {情報処理学会研究報告},
  year = 2019,
}

@inproceedings{CTT100820158,
  author = {Arimichi Matsumura and Takuo Watanabe},
  title = {組込みシステム向けFRP言語における動的動作のための抽象化機構},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100820159,
  author = {Akihiko Yokoyama and Takuo Watanabe},
  title = {組込みシステム向けFRP言語に対する第一級関数の導入},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100751468,
  author = {Takuo Watanabe},
  title = {An Actor-Based Execution Model of an FRP Language for Small-Scale Embedded Systems},
  booktitle = {Theory and Practice of Computation - Proceedings of Workshop on Computation: Theory and Practice WCTP2017},
  year = 2018,
}

@inproceedings{CTT100771564,
  author = {Kazuhiro Shibanai and Takuo Watanabe},
  title = {Distributed Functional Reactive Programming on Actor-Based Runtime},
  booktitle = {Proceedings of 8th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE 2018)},
  year = 2018,
}

@inproceedings{CTT100770101,
  author = {Takuo Watanabe},
  title = {Introduction of a Context-Oriented Programming Mechanism to an FRP Language for Small-Scale Embedded Systems},
  booktitle = {Proceedings of Embedded Systems Symposium (ESS 2018)},
  year = 2018,
}

@inproceedings{CTT100768666,
  author = {Takuo Watanabe},
  title = {A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems},
  booktitle = {Proceedings of the 10th International Workshop on Context-Oriented Programming (COP 2018)},
  year = 2018,
}

@inproceedings{CTT100759104,
  author = {Takuo Watanabe},
  title = {Developing Small-Scale Embedded Systems using an Integration of the Actor Model in Functional Reactive Programming},
  booktitle = {IPSJ SIG Technical Report},
  year = 2018,
}

@inproceedings{CTT100820162,
  author = {Takuo Watanabe},
  title = {小規模組込みシステム向けFRP言語のアクターモデルにもとづく実行系},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100820161,
  author = {Kentaro Takakuwa and Takuo Watanabe},
  title = {構文解析器の動的拡張による衛生的マクロ機構の実現},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100820160,
  author = {Kazuhiro Shibanai and Takuo Watanabe},
  title = {アクターシステムを対象としたリバースデバッギングフレームワークActoverseへのAOPの導入},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100714091,
  author = {Kohei Suzuki and Kanato Nagayama and Kensuke Sawada and Takuo Watanabe},
  title = {CFRP: A Functional Reactive Programming Language for Small-Scale Embedded Systems},
  booktitle = {Theory and Practice of Computation},
  year = 2017,
}

@inproceedings{CTT100753238,
  author = {Takuo Watanabe},
  title = {Reactive Reflection in an FRP Language for Small-Scale Embedded Systems},
  booktitle = {Workshop on Meta-Programming Techniques and Reflection (META 2017)},
  year = 2017,
}

@inproceedings{CTT100751806,
  author = {Kazuhiro Shibanai and Takuo Watanabe},
  title = {Actoverse: A Reversible Debugger for Actors},
  booktitle = {Proceedings of 7th ACM SIGPLAN International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE 2017)},
  year = 2017,
}

@inproceedings{CTT100751657,
  author = {Kentaro Takakuwa and Takuo Watanabe},
  title = {A Multi-Language Implementation Method for Hygienic Macro Definition Mechanisms},
  booktitle = {Proceedings of JSSST 34th Annual Conference},
  year = 2017,
}

@inproceedings{CTT100754548,
  author = {Takashi Kobayashi and Katsuhiko Gondow and MOTOSHI SAEKI and Kazuyuki Shudo and Shin-ya Nishizaki and Chikako Morimoto and KEN WAKITA and Takuo Watanabe},
  title = {東京工業大学における IT システムの価値探索を狙いとした実践的 IT 人材育成の試み - Problem BasedLearning と Project Based Learning},
  booktitle = {日本ソフトウェア科学会 第34回大会 論文集},
  year = 2017,
}

@inproceedings{CTT100751658,
  author = {Kazuhiro Shibanai and Takuo Watanabe},
  title = {A Reverse-Debugging Framework for Actor-based Systems},
  booktitle = {Proceedings of JSSST 34th Annual Conference},
  year = 2017,
}

@inproceedings{CTT100748019,
  author = {Takuo Watanabe},
  title = {An FRP Language for Small-Scale Embedded Systems and its Reflection Mechanism},
  booktitle = {Proceedings of Embedded Systems Symposium (ESS 2017)},
  year = 2017,
}

@inproceedings{CTT100743181,
  author = {Takuo Watanabe},
  title = {A Reflection Mechanism for an FRP Language for Small-Scale Embedded Systems},
  booktitle = {SIG Technical Reports (EMB)},
  year = 2017,
}

@inproceedings{CTT100741479,
  author = {Paul Lavery and Takuo Watanabe},
  title = {An Actor-Based Runtime Monitoring System for Web and Desktop Applications},
  booktitle = {Proceedings of 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2017)},
  year = 2017,
}

@inproceedings{CTT100697051,
  author = {Yuu Ohmura and Takuo Watanabe},
  title = {Design and Implementation of an Advanced Source Code Reading Tool for Framework-based Software},
  booktitle = {Theory and Practice of Computation},
  year = 2017,
}

@inproceedings{CTT100736942,
  author = {Takuo Watanabe and Kensuke Sawada},
  title = {Towards Reflection in an FRP Language for Small-Scale Embedded Systems},
  booktitle = {Companion to the first International Conference on the Art, Science and Engineering of Programming (Programming 2017)},
  year = 2017,
}

@inproceedings{CTT100736925,
  author = {Kentaro Takakuwa and Takuo Watanabe},
  title = {多言語に対応した衛生的マクロ機構導入方式},
  booktitle = {},
  year = 2017,
}

@inproceedings{CTT100736924,
  author = {Ohmura Yuu and Yoshitaka Arahori and Katsuhiko Gondow and Takuo Watanabe},
  title = {Code Oriented Diagram Editorを用いた並行バグの可視化},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100736939,
  author = {Takuo Watanabe and Kensuke Sawada},
  title = {Towards an Actor-Based Execution Model of an FRP Language for Small-Scale Embedded Systems},
  booktitle = {IPSJ SIG Technical Report},
  year = 2016,
}

@inproceedings{CTT100721779,
  author = {Takuo Watanabe and Kensuke Sawada},
  title = {Towards an Integration of the Actor Model in an FRP Language for Small-Scale Embedded Systems},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100714090,
  author = {Tomohiro Hoshino and Kentaro Takakuwa and Takuo Watanabe},
  title = {A Method for Implementing Hygienic Macro Definers for OMeta},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100736926,
  author = {Shohei Yasutake and Takuo Watanabe},
  title = {Actario: 定理証明支援系Coqによるアクターシステムの検証},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100700994,
  author = {Taiyo Mineo and Daisuke Ishii and Takuo Watanabe},
  title = {Temporal Logic Falisification for Controller Parameter Tuning},
  booktitle = {IEICE technical report},
  year = 2016,
}

@inproceedings{CTT100701079,
  author = {Kensuke Sawada and Takuo Watanabe},
  title = {Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100682084,
  author = {Masaya Suzuki and Takuo Watanabe},
  title = {Sandal: A Modeling Language Supporting Exhaustive Fault-Injection},
  booktitle = {Theory and Practice of Computation},
  year = 2016,
}

@inproceedings{CTT100697053,
  author = {Souhei Takeno and Takuo Watanabe},
  title = {A Reflective Implementation of an Actor-based Concurrent Context-Oriented System},
  booktitle = {},
  year = 2015,
}

@inproceedings{CTT100836165,
  author = {Naoyuki Nagatou and Takuo Watanabe},
  title = {人的欠陥に対する耐性解析のモデル検証的アプローチ},
  booktitle = {},
  year = 2015,
}

@inproceedings{CTT100700993,
  author = {Yuu Ohmura and Takuo Watanabe},
  title = {CODE: Code Oriented Diagram Editor},
  booktitle = {Foundations of Software Engineering XXII (Lecture Notes in Software)},
  year = 2015,
}

@inproceedings{CTT100697052,
  author = {Shohei Yasutake and Takuo Watanabe},
  title = {Actario: A Framework for Reasoning About Actor Systems},
  booktitle = {},
  year = 2015,
}

@inproceedings{CTT100697048,
  author = {Kensuke Sawada and Kohei Suzuki and Takuo Watanabe},
  title = {Towards Applications of FRP in Small-Scale Embedded Systems},
  booktitle = {IEICE technical report},
  year = 2015,
}

@inproceedings{CTT100836170,
  author = {Shohei Yasutake and Takuo Watanabe},
  title = {Actario: Coqによるアクターモデルの形式化とErlangへのコード抽出},
  booktitle = {},
  year = 2015,
}

@inproceedings{CTT100682082,
  author = {Naoyuki Nagatou and Takuo Watanabe},
  title = {Robustness Analysis on Human-made Faults in Procedural Manuals},
  booktitle = {Theory and Practice of Computation},
  year = 2014,
}

@inproceedings{CTT100682081,
  author = {Takuo Watanabe},
  title = {Compositional Construction of Group-Wide Meta-Level Architectures},
  booktitle = {Theory and Practice of Computation},
  year = 2014,
}

@inproceedings{CTT100682078,
  author = {Shohei Yasutake and TAKUO WATANABE},
  title = {Aπ計算のCoqによる形式化},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100682080,
  author = {Masaya Suzuki and Takuo Watanabe},
  title = {A Language Support for Exhaustive Fault-Injection in Message-Passing System Models},
  booktitle = {Electronic Proceedings in Theoretical Computer Science},
  year = 2014,
}

@inproceedings{CTT100682079,
  author = {Souhei Takeno and TAKUO WATANABE},
  title = {アクターモデルに基づく並行文脈指向プログラミング機構の実装と評価},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100682077,
  author = {Ohmura Yuu and TAKUO WATANABE},
  title = {Design and Implementation of a Source Code Reading Helper Tool for Program Comprehension},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100682075,
  author = {Takuo Watanabe and Souhei Takeno},
  title = {A Reflective Approach to Actor-Based Concurrent Context-Oriented Systems},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100682074,
  author = {Naoyuki Nagatou and Takuo Watanabe},
  title = {A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults},
  booktitle = {Lecture Notes in Business Information Processing, LNBIP},
  year = 2014,
}

@inproceedings{CTT100806961,
  author = {安原 由貴 and Sosuke Moriguchi and Takuo Watanabe},
  title = {実時間システム向け文脈指向言語ProcneJ},
  booktitle = {情報処理学会論文誌プログラミング（PRO）},
  year = 2013,
}

@inproceedings{CTT100682073,
  author = {Sosuke Moriguchi and TAKUO WATANABE},
  title = {検証付きプログラムに対する対話的修正の合成},
  booktitle = {レクチャーノート/ソフトウェア学},
  year = 2013,
}

@inproceedings{CTT100667352,
  author = {Takuo Watanabe},
  title = {Towards a Compositional Reflective Architecture for Actor-Based Systems},
  booktitle = {},
  year = 2013,
}

@inproceedings{CTT100682091,
  author = {Takashi Kobayashi and Katsuhiko Gondow and MOTOSHI SAEKI and Kazuyuki Shudo and Yasushi Tanaka and Shin-ya Nishizaki and Chikako Morimoto and NAOKI YONEZAKI and Takuo Watanabe},
  title = {Cloudbauhaus: 東京工業大学における実践的IT人材育成の試み},
  booktitle = {},
  year = 2013,
}

@inproceedings{CTT100682092,
  author = {NAOYUKI NAGATOU and Takuo Watanabe},
  title = {人為的欠陥の意味と耐性解析},
  booktitle = {},
  year = 2013,
}

@inproceedings{CTT100652448,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {An Interactive Extension Mechanism for Reusing Verified Programs},
  booktitle = {},
  year = 2013,
}

@inproceedings{CTT100700997,
  author = {Ryotaro Nakamura and Takuo Watanabe},
  title = {実時間システム向けの文脈指向DSL},
  booktitle = {情報処理学会研究報告},
  year = 2013,
}

@inproceedings{CTT100700998,
  author = {Yuki Yasuhara and Sosuke Moriguchi and Takuo Watanabe},
  title = {ProcneJ: A Context-oriented Programming Language for Real-time Systems},
  booktitle = {},
  year = 2013,
}

@inproceedings{CTT100701000,
  author = {Ilankaikone Senthooran and Takuo Watanabe},
  title = {On Generating Soft Real-Time Programs for Non-Real-Time Environments},
  booktitle = {Theory and Practice of Computation: Proceedings in Information and Communications Technology},
  year = 2013,
}

@inproceedings{CTT100701002,
  author = {Ilankaikone Senthooran and Takuo Watanabe},
  title = {A Model-Based Approach to Constructing Safe Soft Real-Time Programs for Non-Real-Time Environments},
  booktitle = {},
  year = 2012,
}

@inproceedings{CTT100701001,
  author = {Yuki Yasuhara and Sosuke Moriguchi and Takuo Watanabe},
  title = {Towards a Context-Oriented Specification Scheme for Embedded Systems},
  booktitle = {},
  year = 2012,
}

@inproceedings{CTT100770946,
  author = {Takuo Watanabe and Masaya Suzuki},
  title = {An Implementation Method of Context-Oriented Programming in Objective-C},
  booktitle = {IEICE Technical Report},
  year = 2012,
}

@inproceedings{CTT100700999,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {Abstraction of Operations of Aspect-Oriented Languages},
  booktitle = {Theory and Practice of Computation, Proceedings in Information and Communications Technology},
  year = 2012,
}

@inproceedings{CTT100711036,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {Coqのための対話的修正機構を用いた変更の織り込み手法},
  booktitle = {},
  year = 2011,
}

@inproceedings{CTT100711035,
  author = {Emiko Kuma and Takuo Watanabe},
  title = {An Actor-based Compensation-Aware Runtime Monitoring Mechanism},
  booktitle = {},
  year = 2011,
}

@inproceedings{CTT100711037,
  author = {Ilankaikone Senthooran and Julian Prokay and Takuo Watanabe},
  title = {On Generating Realtime Programs with Runtime Checking: From Timed Automata to Realtime Programs on Non-Realtime Environments},
  booktitle = {IEICE technical report},
  year = 2011,
}

@inproceedings{CTT100711040,
  author = {Ichiro Arai and Takuo Watanabe},
  title = {Implementation of a functional language on Hy- brid Multi-core environment},
  booktitle = {第73回全国大会講演論文集},
  year = 2011,
}

@inproceedings{CTT100621107,
  author = {Emiko Kuma and Daisuke Matsumoto and Shin-ya Nishizaki and TAKUO WATANABE},
  title = {オブジェクト計算における変更可能な継続},
  booktitle = {情報処理学会 第73回全国大会講演論文集},
  year = 2011,
}

@inproceedings{CTT100711039,
  author = {Kazuhiro Yamada and Takuo Watanabe and Sosuke Moriguchi and Shin-ya Nishizaki},
  title = {Verifying C Source Code using Proof Assistant Tools: A Case Study with Morris' Tree Traversal Algorithm},
  booktitle = {IPSJ SIG Notes},
  year = 2011,
}

@inproceedings{CTT100711038,
  author = {Takuo Watanabe and Sosuke Moriguchi and Kazuhiro Yamada and Shin-ya Nishizaki},
  title = {Towards Verifying Pointer-Manipulating Programs using Program Transformation: A Case Study with Morris’ Binary Tree Traversal Algorithm},
  booktitle = {IEICE technical report},
  year = 2011,
}

@inproceedings{CTT100860751,
  author = {Takuo Watanabe and Kiyoshi Yamada},
  title = {Aspect-Oriented Behavioral Interface Specification in Moxa},
  booktitle = {},
  year = 2009,
}

@inproceedings{CTT100860752,
  author = {Takuo Watanabe},
  title = {Towards Formalizing Operational Aspects of Reflective Computation},
  booktitle = {Technical Report, Institute of Software, Chinese Academy of Science},
  year = 2008,
}

@inproceedings{CTT100860753,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {A Calculus for Advice Weaving Mechanisms},
  booktitle = {},
  year = 2008,
}

@inproceedings{CTT100860754,
  author = {Takuo Watanabe and Kiyoshi Yamada},
  title = {An Aspect-Oriented Behavioral Interface Specification Langauge},
  booktitle = {Research Report, Department of Informatics, University of Oslo},
  year = 2008,
}

@inproceedings{CTT100391782,
  author = {Kiyoshi Yamada and Takuo Watanabe},
  title = {An Aspect-Oriented Approach to Modular Behavioral Specifications},
  booktitle = {Electronic Notes in Theoretical Computer Science, Elsevier},
  year = 2006,
}

@inproceedings{CTT100410891,
  author = {Yasunori Hashimoto and Takuo Watanabe and Kiyoshi Yamada},
  title = {Aspect-Oriented Specification in Moxa: Toward Modular DbC from Protocol Descriptions},
  booktitle = {IPSJ SIG Notes},
  year = 2006,
}

@inproceedings{CTT100406177,
  author = {NAOYUKI NAGATOU and Takuo Watanabe},
  title = {Runtime Detection of Covert Channels},
  booktitle = {},
  year = 2006,
}

@inproceedings{CTT100390060,
  author = {Michael Reinsch and Takuo Watanabe},
  title = {Towards Reusable Heterogeneous Data-Centric Disentangled Parts},
  booktitle = {},
  year = 2005,
}

@inproceedings{CTT100389585,
  author = {NAOYUKI NAGATOU and Takuo Watanabe},
  title = {Execution Monitoring and Information Flow Properties},
  booktitle = {Supplemental Volume of the 2005 International Conference on Dependable Systems and Networks (DSN 2005)},
  year = 2005,
}

@inproceedings{CTT100389584,
  author = {Kiyoshi Yamada and Takuo Watanabe},
  title = {Moxa: An Aspect-Oriented Approach to Modular Behavioral Specifications},
  booktitle = {AOSD 2005 Workshop on Software-engineering Properties of Languages and  Aspect Technologies (SPLAT '05)},
  year = 2005,
}

@inproceedings{CTT100499089,
  author = {Kiyoshi Yamada and Takuo Watanabe},
  title = {An Aspect-Oriented Approach to Modular Behavioral Specification of Java Components},
  booktitle = {},
  year = 2005,
}

@inproceedings{CTT100391802,
  author = {Kiyoshi Yamada and TAKUO WATANABE},
  title = {アスペクト指向的な表明のモジュール化},
  booktitle = {Lecture Notes in Software},
  year = 2004,
}

@inproceedings{CTT100499088,
  author = {Kiyoshi Yamada and TAKUO WATANABE},
  title = {アスペクト指向的なモジュール記述を可能とする仕様記述言語},
  booktitle = {},
  year = 2004,
}

@inproceedings{CTT100497845,
  author = {NAOYUKI NAGATOU and TAKUO WATANABE},
  title = {移動コードのための機密性強制},
  booktitle = {日本ソフトウェア科学会 ディペンダブルシステムワークショップ(DSW '04)},
  year = 2004,
}

@inproceedings{CTT100497844,
  author = {Takuo Watanabe and Kiyoshi Yamada and NAOYUKI NAGATOU},
  title = {Specifying Context-Aware Runtime Security Policies using an Algebraic Policy Specification Language},
  booktitle = {},
  year = 2004,
}

@inproceedings{CTT100497843,
  author = {Noriki Amano and Takuo Watanabe},
  title = {LampJ: A Library of Adaptable Modular Programming for Java},
  booktitle = {IASTED International Conference on Software Engineering and Applications (SEA '03), ACTA Ppress},
  year = 2003,
}

@inproceedings{CTT100497842,
  author = {Kiyoshi Yamada and 佐々木明 and 望月智之 and TAKUO WATANABE},
  title = {JMLによるアプリケーションの安全性保証：Maildirフォルダライブラリの一貫性保証},
  booktitle = {日本ソフトウェア科学会 第20回大会},
  year = 2003,
}

@inproceedings{CTT100497837,
  author = {Yuji Ichisugi and Akira Tanaka and TAKUO WATANABE},
  title = {拡張ルール：安全に結合可能なアスペクトの記述ルール},
  booktitle = {},
  year = 2003,
}

@inproceedings{CTT100548420,
  author = {ETSUYA SHIBAYAMA and Shigeki Hagihara and Naoki Kobayashi and Shin-ya Nishizaki and Kenjiro Taura and Takuo Watanabe},
  title = {AnZenMail: A Secure and Certified E-mail System},
  booktitle = {Lecture Notes in Computer Science (Software Security: Theories and Systems)},
  year = 2003,
}

@inproceedings{CTT100497839,
  author = {Takuo Watanabe and Kiyoshi Yamada and NAOYUKI NAGATOU},
  title = {Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances},
  booktitle = {IEEE Workshop on Software Technologies fo Future Embedded Systems},
  year = 2003,
}

@inproceedings{CTT100497832,
  author = {Noriki Amano and Takuo Watanabe},
  title = {SAMcode: A Software Model for Flexible and Safe Adaptation of Mobile Code Programs},
  booktitle = {},
  year = 2002,
}

@inproceedings{CTT100497833,
  author = {Yuji Ichisugi and Akira Tanaka and TAKUO WATANABE},
  title = {安全に結合可能なアスペクトを提供するためのルール},
  booktitle = {日本ソフトウェア科学回 第19回大会論文集(CD-ROM)},
  year = 2002,
}

@inproceedings{CTT100497831,
  author = {Noriki Amano and Takuo Watanabe},
  title = {A Software Model for Flexible and Safe Adaptation for Mobile Code Programs},
  booktitle = {International Workshop on Principles of Software Evolution (IWPSE '02)},
  year = 2002,
}

@inproceedings{CTT100497830,
  author = {Noriki Amano and Takuo Watanabe},
  title = {An Approach for Constructing Component-based Software Systems with Safe Dynamic Adaptability},
  booktitle = {Technical Report of College of Computer Science, Northeastern University (International Workshop on Language Mechanisms for Programming) Software Components},
  year = 2001,
}

@inproceedings{CTT100497826,
  author = {Noriki Amano and Takuo Watanabe},
  title = {Towards Constructing Mobile Code Programs with Safe Dynamic Adaptability},
  booktitle = {AISB '01 Symposium on Software Mobility and Adaptive Behavior},
  year = 2001,
}

@inproceedings{CTT100497827,
  author = {Takuo Watanabe and Noriki Amano},
  title = {A Secure Dynamic Extension Mechanism for Mobile Agents},
  booktitle = {AISB '01 Symposium on Software Mobility and Adaptive Behavior},
  year = 2001,
}

@inproceedings{CTT100497829,
  author = {NAOYUKI NAGATOU and TAKUO WATANABE},
  title = {移動コードの安全な実行のためのポリシー記述},
  booktitle = {日本ソフトウェア科学回 第18回大会論文集(CD-ROM)},
  year = 2001,
}

@inproceedings{CTT100497828,
  author = {Noriki Amano and Takuo Watanabe},
  title = {A Software Model with Safe Dynamic Adaptability for Mobile Code Programs},
  booktitle = {ECOOP Workshop on Mobile Object Systems (MOS '01)},
  year = 2001,
}

@inproceedings{CTT100497825,
  author = {Takuo Watanabe and Noriki Amano and Kenji Shinbori},
  title = {A Reflective Framework for Reliable Mobile Agent Systems},
  booktitle = {ECOOP 2000 International Workshop on Reflection and Metalevel Architectures (RMA2000)},
  year = 2000,
}

@inproceedings{CTT100497824,
  author = {Takuo Watanabe and Noriki Amano and Kenji Shinbori},
  title = {Towards a Modular Substrate for Reliable Mobile Agent Systems},
  booktitle = {Middleware 2000 International Workshop on Reflective Middleware (RM2000)},
  year = 2000,
}

@inproceedings{CTT100497771,
  author = {Noriki Amano and Takuo Watanabe},
  title = {LEAD++: An Object-Oriented Language based on a Reflective Model for Dynamic Software Adaptation},
  booktitle = {International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Asia '99), IEEE Press},
  year = 1999,
}

@inproceedings{CTT100497770,
  author = {Akira Tanaka and TAKUO WATANABE},
  title = {制御の流れを明示しない拡張可能な言語処理系記述},
  booktitle = {日本ソフトウェア科学会第16会大会論文集},
  year = 1999,
}

@inproceedings{CTT100497769,
  author = {Noriki Amano and Takuo Watanabe},
  title = {Reflection for Dynamic Adaptability: A Linguistic Approach using LEAD++},
  booktitle = {Lecture Notes in Computer Science (International Conference on Meta-Level Architectures and Reflection)},
  year = 1999,
}

@inproceedings{CTT100497768,
  author = {Akira Tanaka and Takuo Watanabe},
  title = {An Extensible LR Parser Generator: A Case Study of Composable Metalevel Extensions},
  booktitle = {International Workshop on Principles of Software Evolution (IWPSE '99)},
  year = 1999,
}

@inproceedings{CTT100497767,
  author = {Yutaka Saeki and Takuo Watanabe},
  title = {Towards a Modular Construction Method of Extensible Compilers},
  booktitle = {},
  year = 1999,
}

@inproceedings{CTT100497823,
  author = {Noriki Amano and Takuo Watanabe},
  title = {An Approach for Constructing Dynamically Adaptable Component-based Software Systems using LEAD++},
  booktitle = {International Workshop on Object-Oriented Reflection and Software Engineering (OORaSE '99)},
  year = 1999,
}

@inproceedings{CTT100497822,
  author = {Kazuhiro Fujieda and Takuo Watanabe and Koichiro Ochimizu},
  title = {CORBA Application Development Environment using Reflection},
  booktitle = {},
  year = 1999,
}

@inproceedings{CTT100723774,
  author = {Takuro Kitayama and Tatsuo Nakajima and Ichiro Satoh and Hideyuki Tokuda and Takuo Watanabe and Katsuhiko Gondow},
  title = {SMAF: A Framework for Future Embedded Systems},
  booktitle = {IEEE International Workshop on Networked Appliances},
  year = 1998,
}

@inproceedings{CTT100862539,
  author = {Hiroshi Ishikawa and Takuo Watanabe and Kokichi Futatsugi and José Meseguer and Hideyuki Nakashima},
  title = {On the Semantics of GAEA},
  booktitle = {},
  year = 1998,
}

@inproceedings{CTT100497764,
  author = {新堀健治 and TAKUO WATANABE and Noriki Amano},
  title = {信頼性の高い移動エージェントシステムの構成方法},
  booktitle = {情報処理学会 第57回全国大会論文集(1)},
  year = 1998,
}

@inproceedings{CTT100497762,
  author = {西川尚宏 and TAKUO WATANABE},
  title = {自己反映機構を用いた移動エージェント記述言語},
  booktitle = {情報処理学会 第57回全国大会論文集(1)},
  year = 1998,
}

@inproceedings{CTT100497761,
  author = {川崎大輔 and Noriki Amano and TAKUO WATANABE},
  title = {動的コード生成を用いた適応的移動コード},
  booktitle = {情報処理学会 第57回全国大会論文集(1)},
  year = 1998,
}

@inproceedings{CTT100497760,
  author = {峯下聡志 and TAKUO WATANABE},
  title = {Ambient Calculus を用いた移動エージェントの形式化},
  booktitle = {情報処理学会 第57回全国大会論文集(1)},
  year = 1998,
}

@inproceedings{CTT100497759,
  author = {TAKUO WATANABE},
  title = {CEK-抽象機械による移動オブジェクトの形式的定義},
  booktitle = {情報処理学会 第57回全国大会論文集(1)},
  year = 1998,
}

@inproceedings{CTT100496475,
  author = {Noriki Amano and TAKUO WATANABE},
  title = {動的適応可能なソフトウエア・モデルのための言語的アプローチ},
  booktitle = {日本ソフトウエア科学会 第1回プログラミングおよび応用のシステムに関するワークショップ (SPA'98)・オンライン論文集},
  year = 1998,
}

@inproceedings{CTT100496476,
  author = {Noriki Amano and Takuo Watanabe},
  title = {A Procedural Model of Dynamic Adaptability and Its Description Language},
  booktitle = {International Workshop on Principles of Software Evolution (IWPSE '98)},
  year = 1998,
}

@inproceedings{CTT100496480,
  author = {Noriki Amano and Takuo Watanabe},
  title = {LEAD++: An Object-Oriented Language for Dynamically Adaptable Software Model},
  booktitle = {IEICE International Conference on Circuit/Systems, Computers and Communications (ITC-CSCC '98)},
  year = 1998,
}

@inproceedings{CTT100496482,
  author = {Noriki Amano and Takuo Watanabe},
  title = {LEAD++: An Object-Oriented Reflective Language for Dynamically Adaptable Software},
  booktitle = {OOPSLA '98 International Workshop on Reflective Programming in C++ and Java},
  year = 1998,
}

@inproceedings{CTT100862538,
  author = {Hiroshi Ishikawa and José Meseguer and Takuo Watanabe and Kokichi Futatsugi and Hideyuki Nakashima},
  title = {On the Semantics of GAEA: An Object-Oriented Specification of a Concurrent Reflective Language in Rewriting Logic},
  booktitle = {},
  year = 1997,
}

@inproceedings{CTT100496472,
  author = {Akira Tanaka and TAKUO WATANABE},
  title = {一般的な拡張機構を持つ言語とその実現法},
  booktitle = {日本ソフトウェア科学会 第14回大会論文集},
  year = 1997,
}

@inproceedings{CTT100496461,
  author = {TAKUO WATANABE and Noriki Amano},
  title = {部分継続にもとづく移動コード記述},
  booktitle = {日本ソフトウェア科学会・第13回オブジェクト指向計算ワークショップ (WOOC '97)},
  year = 1997,
}

@inproceedings{CTT100496462,
  author = {Akira Tanaka and TAKUO WATANABE},
  title = {拡張可能な言語システムの効率的な実装への試み},
  booktitle = {日本ソフトウェア科学会・第13回オブジェクト指向計算ワークショップ (WOOC '97)},
  year = 1997,
}

@inproceedings{CTT100496463,
  author = {Noriki Amano and TAKUO WATANABE},
  title = {モーバイルコンピューティングのための動的適応可能なソフトウエアアーキテクチャ},
  booktitle = {日本ソフトウェア科学会・第13回オブジェクト指向計算ワークショップ (WOOC '97)},
  year = 1997,
}

@inproceedings{CTT100496464,
  author = {TAKUO WATANABE and Noriki Amano},
  title = {移動可能プログラムのための言語機構とその応用},
  booktitle = {情報処理学会・マルチメディア, 分散, 協調とモーバイルワークショップ (DiCoMo '97)},
  year = 1997,
}

@inproceedings{CTT100496465,
  author = {Noriki Amano and Takuo Watanabe},
  title = {LEAD: A Language for Adaptable Applications},
  booktitle = {IEICE International Conference on Circuit/Systems, Computers and Communications (ITC-CSCC '97)},
  year = 1997,
}

@inproceedings{CTT100496466,
  author = {TAKUO WATANABE},
  title = {部分継続にもとづく移動コード記述：定義と操作的意味},
  booktitle = {情報処理学会研究報告(プログラミング)},
  year = 1997,
}

@inproceedings{CTT100496469,
  author = {石川洋 and 二木厚吉 and TAKUO WATANABE},
  title = {並行自己反映計算の宣言的記述},
  booktitle = {日本ソフトウェア科学会 第14回大会論文集},
  year = 1997,
}

@inproceedings{CTT100496473,
  author = {Noriki Amano and TAKUO WATANABE},
  title = {自己反映アーキテクチャによる動的適応可能なソフトウェアのための言語},
  booktitle = {日本ソフトウエア科学会 第14回大会論文集},
  year = 1997,
}

@inproceedings{CTT100496471,
  author = {佐伯豊 and TAKUO WATANABE},
  title = {モジュール結合による自己反映的な言語拡張について},
  booktitle = {日本ソフトウェア科学会 第14回大会論文集},
  year = 1997,
}

@inproceedings{CTT100867059,
  author = {Hiroshi Ishikawa and Kokichi Futatsugi and Takuo Watanabe},
  title = {An Example for Concurrent Reflec- tive Computations in Rewriting Logic},
  booktitle = {Formal Methods for Open Object-based Distributed Systems},
  year = 1996,
}

@inproceedings{CTT100867058,
  author = {Shusaku Iida and Kokichi Futatsugi and Takuo Watanabe},
  title = {Algebraic Specification of Distributed Systems based on Concurrent Object-Oriented Modeling},
  booktitle = {Formal Methods for Open Object-based Distributed Systems},
  year = 1996,
}

@inproceedings{CTT100496453,
  author = {Akira Tanaka and TAKUO WATANABE},
  title = {再利用可能な部品から構成された言語処理系},
  booktitle = {電子情報通信学会ソフトウェアサイエンス研究会},
  year = 1996,
}

@inproceedings{CTT100496455,
  author = {Noriki Amano and TAKUO WATANABE},
  title = {メタレベルアーキテクチャによる移動計算機環境のための言語},
  booktitle = {情報処理学会研究報告 (モーバイルコンピューティング研究グループ)},
  year = 1996,
}

@inproceedings{CTT100496456,
  author = {Akira Tanaka and TAKUO WATANABE},
  title = {言語のメタレベルアーキテクチャにおけるモジュール化手法},
  booktitle = {日本ソフトウェア科学会 第13回大会論文集},
  year = 1996,
}

@inproceedings{CTT100496457,
  author = {菅原太郎 and TAKUO WATANABE},
  title = {並行オブジェクトに対する計算の非決定性を保存する部分計算手法},
  booktitle = {日本ソフトウェア科学会 第13回大会論文集},
  year = 1996,
}

@inproceedings{CTT100496458,
  author = {Noriki Amano and TAKUO WATANABE},
  title = {メタレベルアーキテクチャによる移動計算機環境のための言語},
  booktitle = {日本ソフトウエア科学会 第13回大会論文集},
  year = 1996,
}

@inproceedings{CTT100496459,
  author = {TAKUO WATANABE and Noriki Amano},
  title = {移動計算機環境のための遠隔コード実行モデル},
  booktitle = {情報処理学会研究報告 (モーバイルコンピューティング研究グループ)},
  year = 1996,
}

@inproceedings{CTT100496460,
  author = {Noriki Amano and TAKUO WATANABE},
  title = {移動計算機環境をサポートする言語LEADによる非同期イベント処理},
  booktitle = {情報処理学会研究報告 (モーバイルコンピューティング研究グループ)，},
  year = 1996,
}

@inproceedings{CTT100496452,
  author = {菅原太郎 and TAKUO WATANABE},
  title = {継続オブジェクトを明示化した並行オブジェクト指向言語に対する部分計算},
  booktitle = {日本ソフトウェア科学会第12回オブジェクト指向計算ワークショップ (WOOC '96)},
  year = 1996,
}

@inproceedings{CTT100496448,
  author = {Noriki Amano and TAKUO WATANABE},
  title = {移動計算機環境を支援するインターフェース記述言語},
  booktitle = {情報処理学会 第51回全国大会},
  year = 1995,
}

@inproceedings{CTT100496451,
  author = {TAKUO WATANABE},
  title = {Towards a Foundation of Computational Reflection based on Abstract Rewriting},
  booktitle = {IPSJ SIG Notes (Programming)},
  year = 1995,
}

@inproceedings{CTT100496450,
  author = {Akira Tanaka and TAKUO WATANABE},
  title = {メタレベル記述の再利用を考慮した自己反映的プログラミング言語},
  booktitle = {情報処理学会 第51回全国大会},
  year = 1995,
}

@inproceedings{CTT100496449,
  author = {佐藤徹也 and TAKUO WATANABE},
  title = {汎用クラスライブラリの構成方式に関する研究},
  booktitle = {情報処理学会 第51回全国大会},
  year = 1995,
}

@inproceedings{CTT100497755,
  author = {山岡順一 and TAKUO WATANABE},
  title = {自己反映的な値呼びλ計算の操作的意味論},
  booktitle = {情報処理学会研究報告 (プログラミング -- 言語・基礎・実践 -- 研究会)},
  year = 1995,
}

@inproceedings{CTT100497756,
  author = {Hiroshi Ishikawa and Kokichi Futatsugi and Takuo Watanabe},
  title = {Concurrent Reflective Computations in Rewriting Logic},
  booktitle = {RIMS Kokyuroku (RIMS Workshop on Theory of Rewriting Systems and Its Applications)},
  year = 1995,
}

@inproceedings{CTT100497757,
  author = {菅原太郎 and TAKUO WATANABE},
  title = {並行オブジェクト指向計算に対する部分計算},
  booktitle = {日本ソフトウェア科学会 第12回大会論文集},
  year = 1995,
}

@inproceedings{CTT100497758,
  author = {石川洋 and 二木厚吉 and TAKUO WATANABE},
  title = {書き換え論理に基づく並行自己反映計算のモデルについて},
  booktitle = {日本ソフトウェア科学会 第12回大会論文集},
  year = 1995,
}

@inproceedings{CTT100497753,
  author = {石川洋 and 二木厚吉 and TAKUO WATANABE},
  title = {書き換え論理に基づく並行自己反映計算のモデル化},
  booktitle = {日本ソフトウェア科学会 第11回大会論文集},
  year = 1994,
}

@inproceedings{CTT100497754,
  author = {保木本晃弘 and Tatsuo Nakajima and TAKUO WATANABE},
  title = {移動計算機環境に適した拡張可能なオペレーティングシステムの構成技術},
  booktitle = {日本ソフトウェア科学会 第11回大会論文集},
  year = 1994,
}

@inproceedings{CTT100497748,
  author = {TAKUO WATANABE},
  title = {書換えにもとづく自己反映計算の定式化},
  booktitle = {電子情報通信学会技術報告(ソフトウェアサイエンス研究会)},
  year = 1994,
}

@inproceedings{CTT100497749,
  author = {菅原太郎 and TAKUO WATANABE and 二木厚吉},
  title = {並行項書き換え計算による並行オブジェクト指向言語の実現},
  booktitle = {電子情報通信学会技術報告(ソフトウェアサイエンス研究会)},
  year = 1994,
}

@inproceedings{CTT100497750,
  author = {TAKUO WATANABE and 瀬尾明志},
  title = {並行オブジェクト向けの分散GCの一方式},
  booktitle = {情報処理学会 第49回全国大会論文集(4)},
  year = 1994,
}

@inproceedings{CTT100497751,
  author = {Tatsuo Nakajima and TAKUO WATANABE and 保木本晃弘},
  title = {移動計算機環境に適した柔軟なソフトウェア構成法},
  booktitle = {情報処理学会 第49回全国大会論文集(4)},
  year = 1994,
}

@inproceedings{CTT100497752,
  author = {TAKUO WATANABE},
  title = {抽象書換えにもとづく自己反映計算の定式化手法},
  booktitle = {日本ソフトウェア科学会 第11回大会論文集},
  year = 1994,
}

@inproceedings{CTT100497701,
  author = {Takuo Watanabe},
  title = {メタレベルアクターの並列合成にもとづく並行自己反映計算モデルについて},
  booktitle = {},
  year = 1992,
}

@inproceedings{CTT100497702,
  author = {Hidehiko Masuhara and SATOSHI MATSUOKA and Takuo Watanabe and Akinori Yonezawa},
  title = {Object-Oriented Concurrent Reflective Languages Can be Implemented Efficiently},
  booktitle = {ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '92)},
  year = 1992,
}

@inproceedings{CTT100497700,
  author = {SATOSHI MATSUOKA and Takuo Watanabe and Yuji Ichisugi and Akinori Yonezawa},
  title = {Object-Oriented Concurrent Reflective Architectures},
  booktitle = {Lecture Notes in Computer Science (Object-Oriented Concurrent Reflective Architectures)},
  year = 1992,
}

@inproceedings{CTT100497763,
  author = {Satoshi Matsuoka and Takuo Watanabe and Akinori Yonezawa},
  title = {Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming},
  booktitle = {Lecture Notes in Computer Science},
  year = 1991,
}

@inproceedings{CTT100497693,
  author = {Takuo Watanabe and Akinori Yonezawa},
  title = {An Actor-Based Metalevel Architecture for Group-Wide Reflection},
  booktitle = {Foundations of Object-Oriented Languages (Lecture Notes in Computer Science)},
  year = 1991,
}

@inproceedings{CTT100497695,
  author = {TAKUO WATANABE and SATOSHI MATSUOKA and Akinori Yonezawa},
  title = {並行オブジェクト指向計算における自己反映計算の一方式: Hybrid Group Reflective Architecture},
  booktitle = {情報処理学会 並列処理シンポジウム (JSPP '91)},
  year = 1991,
}

@inproceedings{CTT100497699,
  author = {Takuo Watanabe and Akinori Yonezawa},
  title = {A Concurrent Reflective Computation Model Based on ACTOR Paradigm},
  booktitle = {IPSJ SIG Technical Reports},
  year = 1989,
}

@inproceedings{CTT100497692,
  author = {Takuo Watanabe and Akinori Yonezawa},
  title = {Towards a Concurrent Reflective Computation Model for Distributed Systems},
  booktitle = {Proceedings of 6th JSSST Annual Conference},
  year = 1989,
}

@inproceedings{CTT100497690,
  author = {Takuo Watanabe and Akinori Yonezawa},
  title = {Reflective Computation in Object-Oriented Concurrent Systems and Its Applications},
  booktitle = {Proceedings of 5th International Workshop on Software Specification and Design (IWSSD 1989)},
  year = 1989,
}

@inproceedings{CTT100497689,
  author = {Akinori Yonezawa and Takuo Watanabe},
  title = {An Introduction to Object-Based Reflective Concurrent Computation},
  booktitle = {SIGPLAN Notices},
  year = 1989,
}

@inproceedings{CTT100497688,
  author = {Takuo Watanabe and Akinori Yonezawa},
  title = {Reflection in an Object-Oriented Concurrent Language},
  booktitle = {Proceedings of ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 1988)},
  year = 1988,
}

@inproceedings{CTT100497687,
  author = {Takuo Watanabe and Akinori Yonezawa},
  title = {Towards Reflection in an Object-Oriented Concurrent Language},
  booktitle = {Proceedings of 4th JSSST Annual Conference},
  year = 1987,
}

@inproceedings{CTT100497685,
  author = {Takuo Watanabe and Ichirou Ohsawa and Akinori Yonezawa},
  title = {A Japanese Dialog System Applicable to Multiple Discourse Domains},
  booktitle = {Proceedings of 3rd JSSST Annual Conference},
  year = 1986,
}

@misc{CTT100497835,
  author = {Yuji Ichisugi and Akira Tanaka and Takuo Watanabe},
  title = {Extension Rules: Description Rules for Safely Composable Aspects},
  year = 2003,
}

@misc{CTT100804104,
  author = {Takuo Watanabe},
  title = {スクリプト比較言語学：スクリプト言語の今後},
  year = 2001,
}

@misc{CTT100497684,
  author = {Tatsuo Nakajima and TAKUO WATANABE},
  title = {分散オブジェクト技術とモバイルエージェント},
  year = 1997,
}

@misc{CTT100496454,
  author = {Noriki Amano and TAKUO WATANABE},
  title = {移動計算機環境を支援する言語LEADとそのメタレベルアーキテクチャ},
  year = 1996,
}

@misc{CTT100497744,
  author = {瀬尾明志 and TAKUO WATANABE},
  title = {並行オブジェクトのためのハイブリッド分散ガベージコレクションの一方式},
  year = 1994,
}

@misc{CTT100497745,
  author = {宮内興治 and TAKUO WATANABE},
  title = {メタレベルアーキテクチャを用いた動的負荷分散の実現},
  year = 1994,
}

@misc{CTT100602173,
  author = {TAKUO WATANABE},
  title = {Object-oriented models for reflection in concurrent systems},
  year = 1991,
}



@phdthesis{CTT100602173,
  author = {TAKUO WATANABE},
  title = {Object-oriented models for reflection in concurrent systems},
  school = {Tokyo Institute of Technology},
  year = 1991,
}