@book{CTT100688156,
  author = {Gul Agha and Atsushi Igarashi and Naoki Kobayashi and Hidehiko Masuhara and Etsuya Shibayama and Kenjiro Taura and Satoshi  Matsuoka and Akinori Yonezawa},
  title = {Concurrent Objects and Beyond},
  publisher = {Springer-Verlag},
  year = 2014,
}

@book{CTT100440492,
  author = {Etsuya Shibayama and Masashi Toyoda and Buntarou Shizuki and Shin Takahashi},
  title = {Visual Abstractions for Object-Based Parallel Computing},
  publisher = {Object-Based Parallel and Distributed Programming, Hermes Science Publications},
  year = 2000,
}

@book{CTT100416533,
  author = {ETSUYA SHIBAYAMA},
  title = {The Massively Parallel Processing System JUMP-1},
  publisher = {Ohmsha Ltd.},
  year = 1996,
}

@book{CTT100416525,
  author = {柴山悦哉},
  title = {モデルと表現},
  publisher = {岩波書店},
  year = 1992,
}

@book{CTT100416532,
  author = {ETSUYA SHIBAYAMA},
  title = {Distributed Discrete Event Simulation in ABCL/1},
  publisher = {ABCL : An Object-Oriented Concurrent System-Theory, Language, Programming, Implementation, and Application},
  year = 1990,
}

@book{CTT100416523,
  author = {ETSUYA SHIBAYAMA},
  title = {Distributed Computing in ABCL/1},
  publisher = {Object-Oriented Concurrent Programming},
  year = 1987,
}

@book{CTT100416522,
  author = {ETSUYA SHIBAYAMA},
  title = {Modeling and Programming in an Object-Oriented Concurrent Language ABCL/1},
  publisher = {Object-Oriented Concurrent Programming},
  year = 1987,
}

@article{CTT100605096,
  author = {Salikh Zakirov and Shigeru Chiba and Etsuya Shibayama},
  title = {How to Select Superinstructions for Ruby},
  journal = {IPSJ Transactions on Programming},
  year = 2010,
}

@article{CTT100575924,
  author = {Kiyotaka Takahashi and Tetsuo Yamabe and Etsuya Shibayama},
  title = {A study on modality adaptation support for migrating services},
  journal = {International Journal of Multimedia and Ubiquitous Engineering},
  year = 2008,
}

@article{CTT100527353,
  author = {黒田滋樹 and 柴山悦哉},
  title = {Software Fault Injection を用いた開発時テスト支援環境},
  journal = {コンピュータソフトウェア},
  year = 2006,
}

@article{CTT100391793,
  author = {古川陽 and 柴山悦哉},
  title = {ローカルポリシーによるアプリケーション機能制限機構},
  journal = {コンピュータソフトウェア},
  year = 2005,
}

@article{CTT100505172,
  author = {Y. Kato and E. Shibayama and S. Takahashi},
  title = {Effect Lines for Specifying Animation Effects},
  journal = {Proc. of The IEEE Symposium on Visual Languages and Human-Centric Computing},
  year = 2004,
}

@article{CTT100505171,
  author = {T. Ijiri and T. Igarashi and E. Shibayama and S. Takahashi},
  title = {Sketch Interface for 3D Modeling of Flowers},
  journal = {SIGGRAPH 2004 Sketches},
  year = 2004,
}

@article{CTT100505165,
  author = {米澤航太 and 高橋伸 and 柴山悦哉},
  title = {SilF:3Dアウトラインによる擬似3D表現を用いたスケッチツール},
  journal = {Visual Computing/グラフィックスとCAD合同シンポジウム2004},
  year = 2004,
}

@article{CTT100481751,
  author = {E. Shibayama and A. Yonezawa},
  title = {Secure Software Infrastructure in the Internet Age},
  journal = {New Generation Computing},
  year = 2003,
}

@article{CTT100477858,
  author = {Yuichi Ando and Shin Takahashi and Etsuya Shibayama},
  title = {A 3D Animation System with Superimposing CG on a Physical Armature},
  journal = {Proc. of the Asia Pacific Conference on Computer Human Interaction (APCHI) 2002},
  year = 2002,
}

@article{CTT100473167,
  author = {Susuma Yamazaki and Etsuya Shibayama},
  title = {Runtime Code Generation for Bytecode Specialization of Reflective Java Programs},
  journal = {ECOOP 2002 Workshop on Generative Programming},
  year = 2002,
}

@article{CTT100473163,
  author = {Buntarou Shizuki and Etsuya Shibayama and Masashi Toyoda},
  title = {Static Visualization of Dynamic Data Flow Visual Program Execution},
  journal = {Proc. of International Conference on Information Visualization, IEEE Computer Society Press},
  year = 2002,
}

@article{CTT100473146,
  author = {E. Shibayama and M. Toyoda and J. Yabe and S. Takahashi},
  title = {Scalable and Comprehensible Visualization for Discovery of Knowledge from the Internet},
  journal = {Lecture Notes in Computer Science, Springer-Verlag},
  year = 2002,
}

@article{CTT100440494,
  author = {Jun Yabe and Etsuya Shibayama and Shin Takahashi},
  title = {Automatic Animation of Discussion in Usenet},
  journal = {Proc. of the Working Conf. on Advanced Visual Interfaces (AVI2000), ACM Press},
  year = 2000,
}

@article{CTT100440496,
  author = {Etsuya Shibayama and Masashi Toyoda and Buntarou Shizuki and Shin Takahashi},
  title = {Design Issues of Visual Languages for Supporting Software Evolution},
  journal = {Proc. of International Symposium on Principles of Sotware Evolution},
  year = 2000,
}

@article{CTT100446487,
  author = {Masashi Toyoda and Etsuya Shibayama},
  title = {A Zooming Browser for Hierarchically Clustered Documents},
  journal = {ACM CHI2000 Extended Abstracts},
  year = 2000,
}

@article{CTT100440493,
  author = {佐藤周平 and 柴山悦哉 and 高橋伸},
  title = {指示棒の認識を用いたプレゼンテーションシステムの構築},
  journal = {コンピュータソフトウェア},
  year = 2000,
}

@article{CTT100440495,
  author = {Buntarou Shizuki and Masashi Toyoda and Etsuya Shibayama and Shin Takahashi},
  title = {Smart Browsing among Multiple Aspects of Data-flow Visual Program Execution Using Visual Patterns and Multi-Focus Fisheye Views},
  journal = {Journal of Visual Languages and Computing},
  year = 2000,
}

@article{CTT100424547,
  author = {林幸弘 and 柴山悦哉},
  title = {コンパイルタイムリフレクションによるOS拡張の記述},
  journal = {コンピュータソフトウェア},
  year = 1999,
}

@article{CTT100424546,
  author = {Masashi Toyoda and Etsuya Shibayama},
  title = {Hyper Mochi Sheet: A Predictive Focusing Interface for Navigating and Editing Nested Networks through a Multi-focus Distortion-Oriented View},
  journal = {Proceedings of ACM CHI'99 Conference on Human Factors in Computing Systems},
  year = 1999,
}

@article{CTT100457644,
  author = {菅野元之 and 高橋伸 and 柴山悦哉},
  title = {グラフエディタにおけるユーザの選択履歴に基づく予測を利用した選択インタフェース},
  journal = {第7回インタラクティブシステムとソフトウェアに関するワークショップ,近代科学社レクチャーノート},
  year = 1999,
}

@article{CTT100457642,
  author = {豊田正史 and 増井俊之 and 柴山悦哉},
  title = {HishiMochi: 非線形ズーミングを用いた動的検索システム},
  journal = {第6回インタラクティブシステムとソフトウェアに関するワークショップ,近代科学社レクチャーノート},
  year = 1998,
}

@article{CTT100416538,
  author = {ETSUYA SHIBAYAMA},
  title = {Compiler-Generated Protection Domains and a Light Weight Runtime Protection Technique, Proceedings of Worldwide Computing and Its Applications},
  journal = {Proceedings of World-Wide Computing and Its Applications, Springer Lecture Notes in Computer Sciences},
  year = 1998,
}

@article{CTT100416539,
  author = {柴山悦哉},
  title = {Mochi Sheet:大規模なビジュアルプログラムの効率的編集哨支援するズーミングインターフェース},
  journal = {情報処理学会論文誌},
  year = 1998,
}

@article{CTT100424548,
  author = {Etsuya Shibayama and Jun Yabe and Shin Takahashi and Mitsuru Matsuda},
  title = {Visualizing Semantic Clusters in the Internet Information Space},
  journal = {Proceedings of Discovery Science'98},
  year = 1998,
}

@article{CTT100424549,
  author = {ETSUYA SHIBAYAMA},
  title = {A Pattern-Oriented Parallel Visual Programming Environment},
  journal = {Proceedings of the 11th International Conference on Applications of Prolog},
  year = 1998,
}

@article{CTT100424550,
  author = {Buntarou Shizuki and Masashi Toyoda and Etsuya Shibayama and Shin},
  title = {Visual Patterns + Multi-Focus Fisheye View: An Automatic Scalable Visualization Technique of Data-Flow Visual Program Execution},
  journal = {Proceedings of IEEE Symposium on Visual Languages},
  year = 1998,
}

@article{CTT100446489,
  author = {古川陽 and 大西雅之 and 柴山悦哉},
  title = {アプリケーション内メモリ管理の枠組みによる細粒度保護},
  journal = {情報処理学会コンピュータシステムシンポジウム論文集},
  year = 1997,
}

@article{CTT100446488,
  author = {柴山悦哉},
  title = {Mochi Sheet: ズーミングとレイ アウト編集機能の統合},
  journal = {インタラクション'97論文集, 情報処理学会},
  year = 1997,
}

@article{CTT100416537,
  author = {柴山悦哉},
  title = {Hyper Mochi Sheet:複数フォーカスズーミングエディタにおけるナビゲーションのためのフォーカス予測手法},
  journal = {第5回インタラクティブシステムとソフトウェアに関するワークショップ,近代科学社レクチャーノート},
  year = 1997,
}

@article{CTT100416536,
  author = {ETSUYA SHIBAYAMA},
  title = {Visual Abstractions for Object-Based Parallel Computing},
  journal = {Proceedings of France-Japan Workshop on Object-Based Parallel and Distributed Computing},
  year = 1997,
}

@article{CTT100416535,
  author = {ETSUYA SHIBAYAMA},
  title = {Supporting Design Patterns in a Visual Parallel Date-flow Programming Environment},
  journal = {Proceedings of IEEE Symposium on Visual Languages(VL'97), IEEE Computer Society},
  year = 1997,
}

@article{CTT100416534,
  author = {柴山悦哉},
  title = {ビジュアル並列プログラミング環境KLIEG:プロセスネットワークパターンを利用した再利用性の向上と実行表示の効率化},
  journal = {第4回インタラクティブシステムとソフトウェアに関するワークショップ 近代科学社},
  year = 1996,
}

@article{CTT100416526,
  author = {ETSUYA SHIBAYAMA},
  title = {Comprehensive Operating System for Highly Parallel Machine},
  journal = {Proc. of ISPAN '94, IEEE Computer Society Press},
  year = 1994,
}

@article{CTT100416528,
  author = {ETSUYA SHIBAYAMA},
  title = {Semantic Layers of Object-Based Concurrent Computing},
  journal = {Object-Based Concurrent Computing, Springer Lecture Notes in Computer Science},
  year = 1992,
}

@article{CTT100416531,
  author = {ETSUYA SHIBAYAMA},
  title = {Reuse of Concurrent Object Descriptions},
  journal = {Proc. of 3rd Conf. on Technology of Object-Oriented Languages and Systems},
  year = 1990,
}

@article{CTT100416530,
  author = {ETSUYA SHIBAYAMA},
  title = {Optimistic and Pessimistic Synchronization in Distributed Computing},
  journal = {Parallel Lisp : Languages and Systems, Springer Lecture Notes in Computer Science},
  year = 1990,
}

@article{CTT100416529,
  author = {ETSUYA SHIBAYAMA},
  title = {Transformation of Concurrent Object Systems},
  journal = {ACM Sigplan Notices},
  year = 1989,
}

@article{CTT100416527,
  author = {ETSUYA SHIBAYAMA},
  title = {How to Invent Distributed Implementation Schemes of an Object-Based Concurrent Language-A Transformational Approach-},
  journal = {Proc. of 3rd ACM Conf. on Object-Oriented Programming, Systems, Languages, and Applications},
  year = 1988,
}

@article{CTT100416524,
  author = {ETSUYA SHIBAYAMA},
  title = {Program Transformation in an Object-Based Parallel Computing Model},
  journal = {Proc. of France-Japan AI and Comp. Sci. Symp. '87},
  year = 1987,
}

@article{CTT100416518,
  author = {ETSUYA SHIBAYAMA},
  title = {A Fast Parallel Merging Algorithm for 2-3 trees},
  journal = {RIMS Symposia on Software Science and Engineering II, Springer Lecture Notes in Computer Science},
  year = 1986,
}

@article{CTT100416520,
  author = {柴山悦哉},
  title = {オブジェクト指向に基づく並列情報処理モデルABCM/1とその記述言語ABCL/1},
  journal = {コンピュータソフトウェア},
  year = 1986,
}

@article{CTT100416519,
  author = {ETSUYA SHIBAYAMA},
  title = {PRESET-A Debugging Environment for Prolog},
  journal = {Logic Programming '85, Springer Lecture Notes in Computer Science},
  year = 1986,
}

@article{CTT100416521,
  author = {ETSUYA SHIBAYAMA},
  title = {Object-Oriented Concurrent Programming in ABCL/1},
  journal = {Proc. of 1st ACM Conf. on Object-Oriented Programming, Systems, Languages, and Applications},
  year = 1986,
}

@inproceedings{CTT100613553,
  author = {Salikh S. Zakirov and Shigeru Chiba and Etsuya Shibayama},
  title = {Optimizing Dynamic Dispatch with Fine-Grained State Tracking},
  booktitle = {Proc. of Dynamic Language Symposium},
  year = 2010,
}

@inproceedings{CTT100575922,
  author = {Cyrille Artho and Boris Zweimller and Armin Biere and Etsuya Shibayama and Shinichi Honiden},
  title = {Efficient model checking of applications with input/output},
  booktitle = {Lecture Notes in Computer Science},
  year = 2007,
}

@inproceedings{CTT100575921,
  author = {Cyrille Artho and Etsuya Shibayama and Yoshinori Tanabe and Masami Hagiya and Watcharin Leungwattanakit},
  title = {Hiding backtracking operations in software model checking from the environment},
  booktitle = {},
  year = 2007,
}

@inproceedings{CTT100575920,
  author = {Cyrille Artho and Yoshinori Tanabe and Etsuya Shibayama and Watcharin Leungwattanakit and Masami Hagiya},
  title = {Architecture-aware partial-order reduction to accelerate model checking of networked programs},
  booktitle = {},
  year = 2007,
}

@inproceedings{CTT100575923,
  author = {Cyrille Artho and Etsuya Shibayama and Shinichi Honiden},
  title = {Iterative delta debugging},
  booktitle = {Proc. of IFIP International Conf. on Testing of Communicating Systems},
  year = 2007,
}

@inproceedings{CTT100529548,
  author = {美原義行 and 田中利治 and 柴山悦哉 and 佐藤周平},
  title = {マルチディスプレイ環境のためのハイブリッド型カーソル移動方式},
  booktitle = {情報処理学会},
  year = 2006,
}

@inproceedings{CTT100391798,
  author = {Y. Mihara and E. Shibayama and S. Takahashi},
  title = {The Migratory Cursor: Accurate Speech-Based Cursor Movement by Moving Multiple Ghost Cursors with Non-Verbal Vocalizations},
  booktitle = {Proc. of ACM ASSETS 2005},
  year = 2005,
}

@inproceedings{CTT100391797,
  author = {S. Takahashi and Y. Kato and E. Shibayama},
  title = {A New Static Depiction and Input Technique for 2D Animations},
  booktitle = {Proc. of The IEEE Symp. on Visual Languages and Human-Centric Computing},
  year = 2005,
}

@inproceedings{CTT100391796,
  author = {Y. Mihara and Y. Sugimoto and E. Shibayama and S. Takahashi},
  title = {An Interactive Braille-Recognition System for The Visually Impaired Based on A Portable Camera},
  booktitle = {ACM CHI'05 Extended Abstracts on Human Factors in Computing Systems},
  year = 2005,
}

@inproceedings{CTT100391799,
  author = {Yoshiyuki Mihara and Shin Takahashi and Etsuya Shibayama},
  title = {WATARIDORI: Multiple Ghost Cursors for Speech-Based Cursor Movement},
  booktitle = {ACM UIST Companion},
  year = 2004,
}

@inproceedings{CTT100505169,
  author = {S. Sato and E. Shibayama and S. Takahashi},
  title = {An Interface for Input of Object Regions Using the Hand Chroma Key},
  booktitle = {Computer Human Interaction, Lecture Notes in Computer Science, Springer-Verlag},
  year = 2004,
}

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

@misc{CTT100575919,
  author = {柴山悦哉 and 鳥澤健太郎},
  title = {情報爆発時代の研究動向},
  year = 2008,
}

@misc{CTT100594238,
  author = {ETSUYA SHIBAYAMA},
  title = {An Object-Based Approach to Modeling Concurrent Systems},
  year = 1991,
}



@phdthesis{CTT100594238,
  author = {ETSUYA SHIBAYAMA},
  title = {An Object-Based Approach to Modeling Concurrent Systems},
  school = {東京大学理学研究科},
  year = 1991,
}