KWIC Example. - Tatsuya Hagino; Michio Honda; Akihiko Koga; Reiji Nakajima; Etsuya Shibayama; Taiichi Yuasa (The IOTA Programming System, 1983)

Verification System. - Tatsuya Hagino; Etsuya Shibayama (The IOTA Programming System, 1983)

Proof System. - Michio Honda; Tatsuya Hagino; Etsuya Shibayama (The IOTA Programming System, 1983)

A Fast Parallel Merging Algorithm for 2-3 trees. - Etsuya Shibayama (RIMS Symposia on Software Science and Engineering, 1984)

PRESET - A Debugging Environment for Prolog. - Hidehisa Takahashi; Etsuya Shibayama (LP, 1985)

Object-Oriented Concurrent Programming in ABCL/1. - Akinori Yonezawa; Jean-Pierre Briot; Etsuya Shibayama (OOPSLA, 1986)

How To Invent Distributed Implementation Schemes of an Object-Based Concurrent Language: A Transformational Approach. - Etsuya Shibayama (OOPSLA, 1988)

Transformation of concurrent object systems. - Etsuya Shibayama (OOPSLA/ECOOP Workshop on Object-based Concurrent Programming, 1988)

Reuse of Concurrent Object Descriptions. - Etsuya Shibayama (Concurrency: Theory, Language, And Architecture, 1989)

Optimistic and Pessimistic Synchronization in Distributed Computing. - Etsuya Shibayama; Akinori Yonezawa (Workshop on Parallel Lisp, 1989)

Semantic Layers of Object-Based Concurrent Computing. - Etsuya Shibayama (Object-Based Concurrent Computing, 1991)

Comprehensive operating system for highly parallel machine. - Nobuo Saito; Hideyuki Tokuda; Tatsuya Hagino; Shuichi Oikawa; Akinori Yonezawa; Satoshi Matsuoka; Shigekazu Inohara; Yoshikatsu Tada; Hideki Sunahara; Shuji Ishii; Etsuya Shibayama; Yoichi Shinoda (ISPAN, 1994)

Supporting Design Patterns in a Visual Parallel Data-flow Programming Environment. - Masashi Toyoda; Buntarou Shizuki; Shin Takahashi; Satoshi Matsuoka; Etsuya Shibayama (VL, 1997)

Visualizing Semantic Clusters in the Internet Information Space. - Etsuya Shibayama; Jun Yabe; Shin Takahashi; Mitsuru Matsuda (Discovery Science, 1998)

Visual Patterns + Multi-Focus Fisheye View: An Automatic Scalable Visualization Technique of Data-Flow Visual Program Execution. - Buntarou Shizuki; Masashi Toyota; Etsuya Shibayama; Shin Takahashi (VL, 1998)

Compiler-Generated Protection Domains and a Light Weight Runtime Protection Technique. - Yo Furukawa; Etsuya Shibayama (WWCA, 1998)

Hyper Mochi Sheet: A Predictive Focusing Interface for Navigating and Editing Nested Networks Through a Multi-Focus Distortion-Oriented View. - Masashi Toyoda; Etsuya Shibayama (CHI, 1999)

Automatic animation of discussions in USENET. - Jun Yabe; Etsuya Shibayama; Shin Takahashi (Advanced Visual Interfaces, 2000)

HishiMochi: a zooming browser for hierarchically clustered documents. - Masashi Toyoda; Etsuya Shibayama (CHI Extended Abstracts, 2000)

Smart Browsing among Multiple Aspects of Data-Flow Visual Program Execution, Using Visual Patterns and Multi-Focus Fisheye Views. - Buntarou Shizuki; Masashi Toyota; Etsuya Shibayama; Shin Takahashi (J. Vis. Lang. Comput., 2000)

Scalable and Comprehensible Visualization for Discovery of Knowledge from the Internet. - Etsuya Shibayama; Masashi Toyoda; Jun Yabe; Shin Takahashi (Progress in Discovery Science, 2002)

AnZenMail: A Secure and Certified E-mail System. - Etsuya Shibayama; Shigeki Hagihara; Naoki Kobayashi 001; Shin-ya Nishizaki; Kenjiro Taura; Takuo Watanabe (ISSS, 2002)

Static Visualization of Dynamic Data Flow Visual Program Execution. - Buntarou Shizuki; Etsuya Shibayama; Masashi Toyoda (IV, 2002)

Secure Software Infrastructure in the Internet Age. - Etsuya Shibayama; Akinori Yonezawa (New Gener. Comput., 2003)

An Interface for Input the Object Region Using the Hand Chroma Key. - Shuhei Sato; Etsuya Shibayama; Shin Takahashi (APCHI, 2004)

Sketch interface for 3D modeling of flowers. - Takashi Ijiri; Takeo Igarashi; Shin Takahashi; Etsuya Shibayama (SIGGRAPH Sketches, 2004)

SilF: a sketching tool for cartoon-like pseudo-3D illustrations based on 3D outlines. - Kota Yonezawa; Shin Takahashi; Etsuya Shibayama (SIGGRAPH Posters, 2004)

Effect Lines for Specifying Animation Effects. - Yoshikazu Kato; Etsuya Shibayama; Shin Takahashi (VL/HCC, 2004)

The migratory cursor: accurate speech-based cursor movement by moving multiple ghost cursors using non-verbal vocalizations. - Yoshiyuki Mihara; Etsuya Shibayama; Shin Takahashi (ASSETS, 2005)

An interactive braille-recognition system for the visually impaired based on a portable camera. - Yoshiyuki Mihara; Akihiro Sugimoto; Etsuya Shibayama; Shin Takahashi (CHI Extended Abstracts, 2005)

A New Static Depiction and Input Technique for 2D Animation. - Shin Takahashi; Yoshikazu Kato; Etsuya Shibayama (VL/HCC, 2005)

Efficient Model Checking of Applications with Input/Output. - Cyrille Artho; Boris Zweimüller; Armin Biere; Etsuya Shibayama; Shinichi Honiden (EUROCAST, 2007)

Idea: Automatic Security Testing for Web Applications. - Thanh-Binh Dao; Etsuya Shibayama (ESSoS, 2009)

Feature Interactions in Object-Oriented Effect Systems from a Viewpoint of Program Comprehension - ((W) work-in-progress paper). - Izuru Kume; Etsuya Shibayama (ICFI, 2009)

A Conceptual Model for Comprehension of Object-oriented Interactive Systems. - Izuru Kume; Etsuya Shibayama (SEKE, 2009)

Optimizing dynamic dispatch with fine-grained state tracking. - Salikh Zakirov; Shigeru Chiba; Etsuya Shibayama (DLS, 2010)

Coverage Criteria for Automatic Security Testing of Web Applications. - Thanh-Binh Dao; Etsuya Shibayama (ICISS, 2010)

How to Select Superinstructions for Ruby. - Salikh Zakirov; Shigeru Chiba; Etsuya Shibayama (Inf. Media Technol., 2010)

Security Sensitive Data Flow Coverage Criterion for Automatic Security Testing of Web Applications. - Thanh-Binh Dao; Etsuya Shibayama (ESSoS, 2011)

Toward Comprehension of Side Effects in Framework Applications as Feature Interactions. - Izuru Kume; Masahide Nakamura; Etsuya Shibayama (APSEC, 2012)

A Feature Model of Framework Applications. - Izuru Kume; Masahide Nakamura; Naoya Nitta; Etsuya Shibayama (SNPD, 2013)

A dynamic analysis technique to extract symptoms that suggest side effects in framework applications. - Izuru Kume; Naoya Nitta; Masahide Nakamura; Etsuya Shibayama (SAC, 2014)

Rollback mechanism of nested virtual machines for protocol fuzz testing. - Kuniyasu Suzaki; Toshiki Yagi; Akira Tanaka; Yutaka Oiwa; Etsuya Shibayama (SAC, 2014)

Toward a dynamic analysis technique to locate framework misuses that cause unexpected side effects. - Izuru Kume; Masahide Nakamura; Naoya Nitta; Etsuya Shibayama (SNPD, 2014)

A Case Study of Dynamic Analysis to Locate Unexpected Side Effects Inside of Frameworks. - Izuru Kume; Masahide Nakamura; Naoya Nitta; Etsuya Shibayama (Int. J. Softw. Innov., 2015)

Evaluation of diagnosis support methods in program debugging by trace analysis: An exploratory study. - Izuru Kume; Masahide Nakamura; Yasuyuki Tanaka; Etsuya Shibayama (ICIS, 2016)

Analyzing Execution Traces of Failed Programs for Materializing Chain of Infection. - Izuru Kume; Masahide Nakamura; Naoya Nitta; Etsuya Shibayama (ACIT/CSII/BCD, 2017)

Cutting Java Expressions into Lines for Detecting their Evaluation at Runtime. - Izuru Kume; Etsuya Shibayama; Masahide Nakamura; Naoya Nitta (ICGDA, 2019)

Editor's Message to Special Issue of Young Researchers' Papers. - Etsuya Shibayama (J. Inf. Process., 2019)