"Gul Agha,Atsushi Igarashi,Naoki Kobayashi,Hidehiko Masuhara,Etsuya Shibayama,Kenjiro Taura,Satoshi  Matsuoka,Akinori Yonezawa","Concurrent Objects and Beyond",,"Lecture notes in computer science, LNCS","Springer-Verlag","Vol. 8665",,,2014,Sept.
"Salikh S. Zakirov,Shigeru Chiba,Etsuya Shibayama","Optimizing Dynamic Dispatch with Fine-Grained State Tracking","Dynamic Language Symposium","Proc. of Dynamic Language Symposium",,,,"pp. 15-26",2010,Oct.
"Salikh Zakirov,Shigeru Chiba,Etsuya Shibayama","How to Select Superinstructions for Ruby",,"IPSJ Transactions on Programming",,"vol. 3","no. 2","pp. 1-8",2010,Mar.
"柴山悦哉,鳥澤健太郎","情報爆発時代の研究動向",,"情報処理",,"Vol. 49","No. 8","pp. 11-",2008,Aug.
"Kiyotaka Takahashi,Tetsuo Yamabe,Etsuya Shibayama","A study on modality adaptation support for migrating services",,"International Journal of Multimedia and Ubiquitous Engineering",,"Vol. 3","No. 2","pp. 35-47",2008,Apr.
"Cyrille Artho,Boris Zweimller,Armin Biere,Etsuya Shibayama,Shinichi Honiden","Efficient model checking of applications with input/output","11th International Conference on Computer Aided Systems Theory","Lecture Notes in Computer Science",,"Vol. 4739",,"pp. 515-522",2007,Nov.
"Cyrille Artho,Etsuya Shibayama,Yoshinori Tanabe,Masami Hagiya,Watcharin Leungwattanakit","Hiding backtracking operations in software model checking from the environment","Proc. of DIKU-IST Workshop",,,,,,2007,Oct.
"Cyrille Artho,Yoshinori Tanabe,Etsuya Shibayama,Watcharin Leungwattanakit,Masami Hagiya","Architecture-aware partial-order reduction to accelerate model checking of networked programs","Proc. of DIKU-IST Workshop",,,,,,2007,Oct.
"Cyrille Artho,Etsuya Shibayama,Shinichi Honiden","Iterative delta debugging","IFIP International Conf. on Testing of Communicating Systems","Proc. of IFIP International Conf. on Testing of Communicating Systems",,,,,2007,June
"黒田滋樹,柴山悦哉","Software Fault Injection を用いた開発時テスト支援環境",,"コンピュータソフトウェア",,"Vol. 23","No. 4","pp. 82-86",2006,Oct.
"美原義行,田中利治,柴山悦哉,佐藤周平","マルチディスプレイ環境のためのハイブリッド型カーソル移動方式","インタラクション 2006","情報処理学会",,,,"pp. 65-66",2006,Mar.
"Y. Mihara,E. Shibayama,S. Takahashi","The Migratory Cursor: Accurate Speech-Based Cursor Movement by Moving Multiple Ghost Cursors with Non-Verbal Vocalizations",,"Proc. of ACM ASSETS 2005",,,,"pp. 76-83",2005,Oct.
"S. Takahashi,Y. Kato,E. Shibayama","A New Static Depiction and Input Technique for 2D Animations",,"Proc. of The IEEE Symp. on Visual Languages and Human-Centric Computing",,,,"pp. 296-298",2005,Sept.
"古川陽,柴山悦哉","ローカルポリシーによるアプリケーション機能制限機構",,"コンピュータソフトウェア",,"Vol. 22","No. 3","pp. 208-213",2005,July
"Y. Mihara,Y. Sugimoto,E. Shibayama,S. Takahashi","An Interactive Braille-Recognition System for The Visually Impaired Based on A Portable Camera",,"ACM CHI'05 Extended Abstracts on Human Factors in Computing Systems",,,,"pp. 1653-1656",2005,
"Yoshiyuki Mihara,Shin Takahashi,Etsuya Shibayama","WATARIDORI: Multiple Ghost Cursors for Speech-Based Cursor Movement",,"ACM UIST Companion",,,,"pp. 19-20",2004,Oct.
"Y. Kato,E. Shibayama,S. Takahashi","Effect Lines for Specifying Animation Effects",,"Proc. of The IEEE Symposium on Visual Languages and Human-Centric Computing",,,,"pp. 27-34",2004,
"T. Ijiri,T. Igarashi,E. Shibayama,S. Takahashi","Sketch Interface for 3D Modeling of Flowers",,"SIGGRAPH 2004 Sketches",,,,,2004,
"米澤航太,高橋伸,柴山悦哉","SilF:3Dアウトラインによる擬似3D表現を用いたスケッチツール",,"Visual Computing/グラフィックスとCAD合同シンポジウム2004",,,,"pp. 13-18",2004,
"S. Sato,E. Shibayama,S. Takahashi","An Interface for Input of Object Regions Using the Hand Chroma Key",,"Computer Human Interaction, Lecture Notes in Computer Science, Springer-Verlag",,"Vol. 3101",,"pp. 389-398",2004,
"E. Shibayama,A. Yonezawa","Secure Software Infrastructure in the Internet Age",,"New Generation Computing",,"Vol. 21","No. 2","pp. 87-106",2003,
"ETSUYA SHIBAYAMA,Shigeki Hagihara,Naoki Kobayashi,Shin-ya Nishizaki,Kenjiro Taura,Takuo Watanabe","AnZenMail: A Secure and Certified E-mail System",,"Lecture Notes in Computer Science (Software Security: Theories and Systems)",,"Vol. 2609",,"pp. 201-216",2003,
"Yuichi Ando,Shin Takahashi,Etsuya Shibayama","A 3D Animation System with Superimposing CG on a Physical Armature",,"Proc. of the Asia Pacific Conference on Computer Human Interaction (APCHI) 2002",,"Vol. 2",,"pp. 845-856",2002,
"Susuma Yamazaki,Etsuya Shibayama","Runtime Code Generation for Bytecode Specialization of Reflective Java Programs",,"ECOOP 2002 Workshop on Generative Programming",,,,,2002,
"Buntarou Shizuki,Etsuya Shibayama,Masashi Toyoda","Static Visualization of Dynamic Data Flow Visual Program Execution",,"Proc. of International Conference on Information Visualization, IEEE Computer Society Press",,,,"pp. 713-718",2002,
"E. Shibayama,M. Toyoda,J. Yabe,S. Takahashi","Scalable and Comprehensible Visualization for Discovery of Knowledge from the Internet",,"Lecture Notes in Computer Science, Springer-Verlag",,"Vol. 2281",,"pp. 661-671",2002,
"Jun Yabe,Etsuya Shibayama,Shin Takahashi","Automatic Animation of Discussion in Usenet",,"Proc. of the Working Conf. on Advanced Visual Interfaces (AVI2000), ACM Press",,,,"pp. 84-91",2000,
"Etsuya Shibayama,Masashi Toyoda,Buntarou Shizuki,Shin Takahashi","Design Issues of Visual Languages for Supporting Software Evolution",,"Proc. of International Symposium on Principles of Sotware Evolution",,,,"pp. 253-260",2000,
"Masashi Toyoda,Etsuya Shibayama","A Zooming Browser for Hierarchically Clustered Documents",,"ACM CHI2000 Extended Abstracts",,,,"pp. 28-29",2000,
"Etsuya Shibayama,Masashi Toyoda,Buntarou Shizuki,Shin Takahashi","Visual Abstractions for Object-Based Parallel Computing",,"Object-Based Parallel and Distributed Programming, Hermes Science Publications","Object-Based Parallel and Distributed Programming, Hermes Science Publications",,,"pp. 113-132",2000,
"佐藤周平,柴山悦哉,高橋伸","指示棒の認識を用いたプレゼンテーションシステムの構築",,"コンピュータソフトウェア",,"Vol. 17","No. 3","pp. 77-81",2000,
"Buntarou Shizuki,Masashi Toyoda,Etsuya Shibayama,Shin Takahashi","Smart Browsing among Multiple Aspects of Data-flow Visual Program Execution Using Visual Patterns and Multi-Focus Fisheye Views",,"Journal of Visual Languages and Computing",,"Vol. 11","No. 5","pp. 529-548",2000,
"林幸弘,柴山悦哉","コンパイルタイムリフレクションによるOS拡張の記述",,"コンピュータソフトウェア",,"Vol. 16","No. 5","pp. 72-77",1999,
"Masashi Toyoda,Etsuya Shibayama","Hyper Mochi Sheet: A Predictive Focusing Interface for Navigating and Editing Nested Networks through a Multi-focus Distortion-Oriented View",,"Proceedings of ACM CHI'99 Conference on Human Factors in Computing Systems",,,,"pp. 504-511",1999,
"菅野元之,高橋伸,柴山悦哉","グラフエディタにおけるユーザの選択履歴に基づく予測を利用した選択インタフェース",,"第7回インタラクティブシステムとソフトウェアに関するワークショップ,近代科学社レクチャーノート",,"Vol. 23",,"pp. 175-180",1999,
"豊田正史,増井俊之,柴山悦哉","HishiMochi: 非線形ズーミングを用いた動的検索システム",,"第6回インタラクティブシステムとソフトウェアに関するワークショップ,近代科学社レクチャーノート",,"Vol. 21",,"pp. 143-152",1998,
"ETSUYA SHIBAYAMA","Compiler-Generated Protection Domains and a Light Weight Runtime Protection Technique, Proceedings of Worldwide Computing and Its Applications",,"Proceedings of World-Wide Computing and Its Applications, Springer Lecture Notes in Computer Sciences",,"Vol. 1368",,"pp. 158-173",1998,
"柴山悦哉","Mochi Sheet:大規模なビジュアルプログラムの効率的編集哨支援するズーミングインターフェース",,"情報処理学会論文誌",,"Vol. 39","No. 5","pp. 1395-1402",1998,
"Etsuya Shibayama,Jun Yabe,Shin Takahashi,Mitsuru Matsuda","Visualizing Semantic Clusters in the Internet Information Space",,"Proceedings of Discovery Science'98",,,,"pp. 409-410",1998,
"ETSUYA SHIBAYAMA","A Pattern-Oriented Parallel Visual Programming Environment",,"Proceedings of the 11th International Conference on Applications of Prolog",,,,"pp. 42-49",1998,
"Buntarou Shizuki,Masashi Toyoda,Etsuya Shibayama,Shin","Visual Patterns + Multi-Focus Fisheye View: An Automatic Scalable Visualization Technique of Data-Flow Visual Program Execution",,"Proceedings of IEEE Symposium on Visual Languages",,,,"pp. 270-279",1998,
"古川陽,大西雅之,柴山悦哉","アプリケーション内メモリ管理の枠組みによる細粒度保護",,"情報処理学会コンピュータシステムシンポジウム論文集",,,,"pp. 163-170",1997,
"柴山悦哉","Mochi Sheet: ズーミングとレイ アウト編集機能の統合",,"インタラクション'97論文集, 情報処理学会",,,,"pp. 79-86",1997,
"柴山悦哉","Hyper Mochi Sheet:複数フォーカスズーミングエディタにおけるナビゲーションのためのフォーカス予測手法",,"第5回インタラクティブシステムとソフトウェアに関するワークショップ,近代科学社レクチャーノート",,"Vol. 18",,"pp. 87-94",1997,
"ETSUYA SHIBAYAMA","Visual Abstractions for Object-Based Parallel Computing",,"Proceedings of France-Japan Workshop on Object-Based Parallel and Distributed Computing",,,,,1997,
"ETSUYA SHIBAYAMA","Supporting Design Patterns in a Visual Parallel Date-flow Programming Environment",,"Proceedings of IEEE Symposium on Visual Languages(VL'97), IEEE Computer Society",,,,"pp. 76-83",1997,
"柴山悦哉","ビジュアル並列プログラミング環境KLIEG:プロセスネットワークパターンを利用した再利用性の向上と実行表示の効率化",,"第4回インタラクティブシステムとソフトウェアに関するワークショップ 近代科学社",,,,"pp. 81-90",1996,
"ETSUYA SHIBAYAMA","The Massively Parallel Processing System JUMP-1",,"Ohmsha Ltd.","Ohmsha Ltd.",,,,1996,
"ETSUYA SHIBAYAMA","Comprehensive Operating System for Highly Parallel Machine",,"Proc. of ISPAN '94, IEEE Computer Society Press",,,,,1994,
"ETSUYA SHIBAYAMA","Semantic Layers of Object-Based Concurrent Computing",,"Object-Based Concurrent Computing, Springer Lecture Notes in Computer Science",,"Vol. 612",,,1992,
"柴山悦哉","モデルと表現",,"岩波書店","岩波書店",,,,1992,
"柴山悦哉","An Object-Based Approach to Modeling Concurrent Systems",,,,,,,1991,
"ETSUYA SHIBAYAMA","Reuse of Concurrent Object Descriptions",,"Proc. of 3rd Conf. on Technology of Object-Oriented Languages and Systems",,,,"pp. 254-266",1990,
"ETSUYA SHIBAYAMA","Optimistic and Pessimistic Synchronization in Distributed Computing",,"Parallel Lisp : Languages and Systems, Springer Lecture Notes in Computer Science",,"Vol. 441",,"pp. 257-260",1990,
"ETSUYA SHIBAYAMA","Distributed Discrete Event Simulation in ABCL/1",,"ABCL : An Object-Oriented Concurrent System-Theory, Language, Programming, Implementation, and Application","ABCL : An Object-Oriented Concurrent System-Theory, Language, Programming, Implementation, and Application",,,"pp. 157-181",1990,
"ETSUYA SHIBAYAMA","Transformation of Concurrent Object Systems",,"ACM Sigplan Notices",,"Vol. 24","No. 4","pp. 177-179",1989,
"ETSUYA SHIBAYAMA","How to Invent Distributed Implementation Schemes of an Object-Based Concurrent Language-A Transformational Approach-",,"Proc. of 3rd ACM Conf. on Object-Oriented Programming, Systems, Languages, and Applications",,,,"pp. 297-305",1988,
"ETSUYA SHIBAYAMA","Distributed Computing in ABCL/1",,"Object-Oriented Concurrent Programming","Object-Oriented Concurrent Programming",,,"pp. 91-128",1987,
"ETSUYA SHIBAYAMA","Modeling and Programming in an Object-Oriented Concurrent Language ABCL/1",,"Object-Oriented Concurrent Programming","Object-Oriented Concurrent Programming",,,"pp. 55-90",1987,
"ETSUYA SHIBAYAMA","Program Transformation in an Object-Based Parallel Computing Model",,"Proc. of France-Japan AI and Comp. Sci. Symp. '87",,,,"pp. 93-109",1987,
"ETSUYA SHIBAYAMA","A Fast Parallel Merging Algorithm for 2-3 trees",,"RIMS Symposia on Software Science and Engineering II, Springer Lecture Notes in Computer Science",,"Vol. 220",,"pp. 1-16",1986,
"柴山悦哉","オブジェクト指向に基づく並列情報処理モデルABCM/1とその記述言語ABCL/1",,"コンピュータソフトウェア",,"Vol. 3","No. 3","pp. 9-23",1986,
"ETSUYA SHIBAYAMA","PRESET-A Debugging Environment for Prolog",,"Logic Programming '85, Springer Lecture Notes in Computer Science",,"Vol. 221",,"pp. 90-99",1986,
"ETSUYA SHIBAYAMA","Object-Oriented Concurrent Programming in ABCL/1",,"Proc. of 1st ACM Conf. on Object-Oriented Programming, Systems, Languages, and Applications",,,,"pp. 258-268",1986,