Etsuya Shibayama

2009
29	EE	Thanh-Binh Dao, Etsuya Shibayama: Idea: Automatic Security Testing for Web Applications. ESSoS 2009: 180-184
2007
28	EE	Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden: Efficient Model Checking of Applications with Input/Output. EUROCAST 2007: 515-522
2005
27	EE	Yoshiyuki Mihara, Etsuya Shibayama, Shin Takahashi: The migratory cursor: accurate speech-based cursor movement by moving multiple ghost cursors using non-verbal vocalizations. ASSETS 2005: 76-83
26	EE	Yoshiyuki Mihara, Akihiro Sugimoto, Etsuya Shibayama, Shin Takahashi: An interactive braille-recognition system for the visually impaired based on a portable camera. CHI Extended Abstracts 2005: 1653-1656
25	EE	Shin Takahashi, Yoshikazu Kato, Etsuya Shibayama: A New Static Depiction and Input Technique for 2D Animation. VL/HCC 2005: 296-298
2004
24	EE	Shuhei Sato, Etsuya Shibayama, Shin Takahashi: An Interface for Input the Object Region Using the Hand Chroma Key. APCHI 2004: 389-398
23	EE	Yoshikazu Kato, Etsuya Shibayama, Shin Takahashi: Effect Lines for Specifying Animation Effects. VL/HCC 2004: 27-34
2003
22	EE	Etsuya Shibayama, Akinori Yonezawa: Secure Software Infrastructure in the Internet Age. New Generation Comput. 21(2): (2003)
2002
21	EE	Etsuya Shibayama, Shigeki Hagihara, Naoki Kobayashi, Shin-ya Nishizaki, Kenjiro Taura, Takuo Watanabe: AnZenMail: A Secure and Certified E-mail System. ISSS 2002: 201-216
20	EE	Buntarou Shizuki, Etsuya Shibayama, Masashi Toyoda: Static Visualization of Dynamic Data Flow Visual Program Execution. IV 2002: 713-718
19	EE	Etsuya Shibayama, Masashi Toyoda, Jun Yabe, Shin Takahashi: Scalable and Comprehensible Visualization for Discovery of Knowledge from the Internet. Progress in Discovery Science 2002: 661-671
2000
18		Jun Yabe, Etsuya Shibayama, Shin Takahashi: Automatic animation of discussions in USENET. Advanced Visual Interfaces 2000: 84-91
17		Buntarou Shizuki, Masashi Toyota, Etsuya Shibayama, Shin Takahashi: Smart Browsing among Multiple Aspects of Data-Flow Visual Program Execution, Using Visual Patterns and Multi-Focus Fisheye Views. J. Vis. Lang. Comput. 11(5): 529-548 (2000)
1999
16	EE	Masashi Toyoda, Etsuya Shibayama: Hyper Mochi Sheet: A Predictive Focusing Interface for Navigating and Editing Nested Networks Through a Multi-Focus Distortion-Oriented View. CHI 1999: 504-511
1998
15	EE	Etsuya Shibayama, Jun Yabe, Shin Takahashi, Mitsuru Matsuda: Visualizing Semantic Clusters in the Internet Information Space. Discovery Science 1998: 409-410
14		Buntarou Shizuki, Masashi Toyota, Etsuya Shibayama, Shin Takahashi: Visual Patterns + Multi-Focus Fisheye View: An Automatic Scalable Visualization Technique of Data-Flow Visual Program Execution. VL 1998: 270-277
13		Yo Furukawa, Etsuya Shibayama: Compiler-Generated Protection Domains and a Light Weight Runtime Protection Technique. WWCA 1998: 158-173
1997
12		Masashi Toyoda, Buntarou Shizuki, Shin Takahashi, Satoshi Matsuoka, Etsuya Shibayama: Supporting Design Patterns in a Visual Parallel Data-flow Programming Environment. VL 1997: 76-83
1991
11		Etsuya Shibayama: Semantic Layers of Object-Based Concurrent Computing. Object-Based Concurrent Computing 1991: 99-117
1989
10		Etsuya Shibayama: Reuse of Concurrent Object Descriptions. Concurrency: Theory, Language, And Architecture 1989: 110-135
9		Etsuya Shibayama, Akinori Yonezawa: Optimistic and Pessimistic Synchronization in Distributed Computing. Workshop on Parallel Lisp 1989: 257-260
8	EE	Etsuya Shibayama: Transformation of concurrent object systems. SIGPLAN Notices 24(4): 177-179 (1989)
1988
7		Etsuya Shibayama: How To Invent Distributed Implementation Schemes of an Object-Based Concurrent Language: A Transformational Approach. OOPSLA 1988: 297-305
1986
6		Akinori Yonezawa, Jean-Pierre Briot, Etsuya Shibayama: Object-Oriented Concurrent Programming in ABCL/1. OOPSLA 1986: 258-268
1985
5		Hidehisa Takahashi, Etsuya Shibayama: PRESET - A Debugging Environment for Prolog. LP 1985: 90-99
1984
4		Etsuya Shibayama: A Fast Parallel Merging Algorithm for 2-3 trees. RIMS Symposia on Software Science and Engineering 1984: 1-16
1983
3		Tatsuya Hagino, Michio Honda, Akihiko Koga, Reiji Nakajima, Etsuya Shibayama, Taiichi Yuasa: KWIC Example. The IOTA Programming System 1983: 114-175
2		Tatsuya Hagino, Etsuya Shibayama: Verification System. The IOTA Programming System 1983: 80-98
1		Michio Honda, Tatsuya Hagino, Etsuya Shibayama: Proof System. The IOTA Programming System 1983: 99-108

Coauthor Index

1	Cyrille Artho	[28]
2	Armin Biere	[28]
3	Jean-Pierre Briot	[6]
4	Thanh-Binh Dao	[29]
5	Yo Furukawa	[13]
6	Shigeki Hagihara	[21]
7	Tatsuya Hagino	[1] [2] [3]
8	Michio Honda	[1] [3]
9	Shinichi Honiden	[28]
10	Yoshikazu Kato	[23] [25]
11	Naoki Kobayashi	[21]
12	Akihiko Koga	[3]
13	Mitsuru Matsuda	[15]
14	Satoshi Matsuoka	[12]
15	Yoshiyuki Mihara	[26] [27]
16	Reiji Nakajima	[3]
17	Shin-ya Nishizaki	[21]
18	Shuhei Sato	[24]
19	Buntarou Shizuki	[12] [14] [17] [20]
20	Akihiro Sugimoto	[26]
21	Hidehisa Takahashi	[5]
22	Shin Takahashi	[12] [14] [15] [17] [18] [19] [23] [24] [25] [26] [27]
23	Kenjiro Taura	[21]
24	Masashi Toyoda	[12] [16] [19] [20]
25	Masashi Toyota	[14] [17]
26	Takuo Watanabe	[21]
27	Jun Yabe	[15] [18] [19]
28	Akinori Yonezawa	[6] [9] [22]
29	Taiichi Yuasa	[3]
30	Boris Zweimüller	[28]

Colors in the list of coauthors