Shin Nakajima

2009
20	EE	Shaoying Liu, Tetsuo Tamai, Shin Nakajima: Integration of formal specification, review, and testing for software component quality assurance. SAC 2009: 415-421
2007
19	EE	Naoyasu Ubayashi, Shin Nakajima: Context-aware feature-oriented modeling with an aspect extension of VDM. SAC 2007: 1269-1274
2006
18	EE	Shin Nakajima, Tetsuo Tamai: Aspect-oriented software design with a variant of UML/STD. SCESM 2006: 44-50
17	EE	Shin Nakajima: Model-Checking Behavioral Specification of BPEL Applications. Electr. Notes Theor. Comput. Sci. 151(2): 89-105 (2006)
2005
16	EE	Takuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima, Shuichi Oikawa, Masahiro Yasugi, Toshiaki Aoki, Mitsutaka Okazaki, Seiji Umatani: Highly Reliable Embedded Software Development Using Advanced Software Technologies. IEICE Transactions 88-D(6): 1105-1116 (2005)
2004
15	EE	Shin Nakajima: Model-Checking of Safety and Security Aspects in Web Service Flows. ICWE 2004: 488-501
14	EE	Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama: Project Report: High-Reliable Object-Oriented Embedded Software Design. WSTFEUS 2004: 144-148
2003
13	EE	Tetsuo Hasegawa, Kenta Cho, Fumihiro Kumeno, Shin Nakajima, Akihiko Ohsuga, Shinichi Honiden: Interoperability for mobile agents by incarnation agents. AAMAS 2003: 1006-1007
2002
12	EE	Shin Nakajima: Behavioural Analysis of Component Framework with Multi-Valued Transition System. APSEC 2002: 217-226
2001
11	EE	Shin Nakajima, Tetsuo Tamai: Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture. SPIN 2001: 163-182
2000
10	EE	Yasuyuki Beppu, Shin Nakajima, Fumihiro Kumeno, Kenta Cho, Tetsuo Hasegawa, Akihiko Ohsuga: A Directory Server for Mobile Agents Interoperability. EDOC 2000: 144-
9	EE	Yoshinobu Sato, Carl-Fredrik Westin, Abhir Bhalerao, Shin Nakajima, Nobuyuki Shiraga, Shinichi Tamura, Ron Kikinis: Tissue Classification Based on 3D Local Intensity Structures for Volume Rendering. IEEE Trans. Vis. Comput. Graph. 6(2): 160-180 (2000)
1999
8	EE	Shin Nakajima: Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks. World Congress on Formal Methods 1999: 1664-1683
1998
7	EE	W. Eric L. Grimson, Michael E. Leventon, Gil J. Ettinger, Alexandra Chabrerie, Fatma Ozlen, Shin Nakajima, Hideki Atsumi, Ron Kikinis, Peter M. Black: Clinical Experience with a Hich Precision Image-Guided Neurosurgery System. MICCAI 1998: 63-73
6	EE	Alexandra Chabrerie, Fatma Ozlen, Shin Nakajima, Michael E. Leventon, Hideki Atsumi, W. Eric L. Grimson, Erwin Keeve, Sandra Helmers, James Riviello Jr., Gregory Holmes II, Frank Duffy, Ferenc A. Jolesz, Ron Kikinis, Peter M. Black: Three-Dimensional Reconstruction and Surgical Navigation in Pediatric Epilepsy Surgery. MICCAI 1998: 74-83
1997
5		Yoshinobu Sato, Shin Nakajima, Hideki Atsumi, Thomas Koller, Guido Gerig, Shigeyuki Yoshida, Ron Kikinis: 3D Multi-scale line filter for segmentation and visualization of curvilinear structures in medical images. CVRMed 1997: 213-222
4		Sarah F. Frisken Gibson, Joe Samosky, Andrew B. Mor, Christina Fyock, W. Eric L. Grimson, Takeo Kanade, Ron Kikinis, Hugh C. Lauer, Neil McKenzie, Shin Nakajima, TakaHide Ohkami, Randy Osborne, Akira Sawada: Simulating arthroscopic knee surgery using volumetric object representations, real-time volume rendering and haptic feedback. CVRMed 1997: 369-378
3		Toshio Tonouchi, Takashi Fukushima, Asuka Manki, Shin Nakajima: An Implementation of OSI Management Q3 Agent Platform for Subscriber Networks. ICC (2) 1997: 889-893
2	EE	Shin Nakajima, Kokichi Futatsugi: An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. ICSE 1997: 34-44
1996
1		Nobuhiko Hata, William M. Wells III, Michael Halle, Shin Nakajima, Paul A. Viola, Ron Kikinis, Ferenc A. Jolesz: Image Guided Microscopic Surgery System Using Mutual-Information Based Registraion. VBC 1996: 317-326

Coauthor Index

1	Toshiaki Aoki	[14] [16]
2	Hideki Atsumi	[5] [6] [7]
3	Yasuyuki Beppu	[10]
4	Abhir Bhalerao	[9]
5	Peter M. Black	[6] [7]
6	Alexandra Chabrerie	[6] [7]
7	Kenta Cho	[10] [13]
8	Frank Duffy	[6]
9	Gil J. Ettinger	[7]
10	Takashi Fukushima	[3]
11	Kokichi Futatsugi	[2]
12	Christina Fyock	[4]
13	Guido Gerig	[5]
14	Sarah F. Frisken Gibson (Sarah F. Frisken)	[4]
15	W. Eric L. Grimson (Eric Grimson)	[4] [6] [7]
16	Michael Halle	[1]
17	Tetsuo Hasegawa	[10] [13]
18	Nobuhiko Hata	[1]
19	Sandra Helmers	[6]
20	Gregory Holmes II	[6]
21	Shinichi Honiden	[13]
22	Ferenc A. Jolesz	[1] [6]
23	Takeo Kanade	[4]
24	Takuya Katayama	[14] [16]
25	Erwin Keeve	[6]
26	Ron Kikinis	[1] [4] [5] [6] [7] [9]
27	Tomoji Kishi	[14] [16]
28	Thomas Koller	[5]
29	Fumihiro Kumeno	[10] [13]
30	Hugh C. Lauer	[4]
31	Michael E. Leventon	[6] [7]
32	Shaoying Liu	[20]
33	Asuka Manki	[3]
34	Neil McKenzie	[4]
35	Andrew B. Mor	[4]
36	Tatsuo Nakajima	[16]
37	Natsuko Noda	[14]
38	TakaHide Ohkami	[4]
39	Akihiko Ohsuga	[10] [13]
40	Shuichi Oikawa	[16]
41	Mitsutaka Okazaki	[16]
42	Randy Osborne	[4]
43	Fatma Ozlen	[6] [7]
44	James Riviello Jr.	[6]
45	Joe Samosky	[4]
46	Yoshinobu Sato	[5] [9]
47	Akira Sawada	[4]
48	Nobuyuki Shiraga	[9]
49	Tetsuo Tamai	[11] [18] [20]
50	Shinichi Tamura	[9]
51	Toshio Tonouchi	[3]
52	Naoyasu Ubayashi	[19]
53	Seiji Umatani	[16]
54	Paul A. Viola	[1]
55	William M. Wells III	[1]
56	Carl-Fredrik Westin	[9]
57	Masahiro Yasugi	[16]
58	Shigeyuki Yoshida	[5]
59	Taiichi Yuasa	[16]

Colors in the list of coauthors