Shin Nakajima

	2009
22		Shaoying Liu, Tetsuo Tamai, Shin Nakajima: Integration of formal specification, review, and testing for software component quality assurance. SAC 2009: 415-421
21		Shin Nakajima: Constructing FODA Feature Diagrams with a GUI-based Tool. SEKE 2009: 20-25
	2008
20		Keiji Hokamura, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai: Aspect-Oriented Programming for Web Controller Layer. APSEC 2008: 529-536
	2007
19		Naoyasu Ubayashi, Shin Nakajima: Context-aware feature-oriented modeling with an aspect extension of VDM. SAC 2007: 1269-1274
	2006
18		Shin Nakajima, Tetsuo Tamai: Aspect-oriented software design with a variant of UML/STD. SCESM 2006: 44-50
17		Shin Nakajima: Model-Checking Behavioral Specification of BPEL Applications. Electr. Notes Theor. Comput. Sci. 151(2): 89-105 (2006)
	2005
16		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		Shin Nakajima: Model-Checking of Safety and Security Aspects in Web Service Flows. ICWE 2004: 488-501
14		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		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		Shin Nakajima: Behavioural Analysis of Component Framework with Multi-Valued Transition System. APSEC 2002: 217-226
	2001
11		Shin Nakajima, Tetsuo Tamai: Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture. SPIN 2001: 163-182
	2000
10		Yasuyuki Beppu, Shin Nakajima, Fumihiro Kumeno, Kenta Cho, Tetsuo Hasegawa, Akihiko Ohsuga: A Directory Server for Mobile Agents Interoperability. EDOC 2000: 144-
9		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		Shin Nakajima: Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks. World Congress on Formal Methods 1999: 1664-1683
	1998
7		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		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		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	Keiji Hokamura	[20]
21	Gregory Holmes II	[6]
22	Shinichi Honiden	[13]
23	Akihito Iwai	[20]
24	Ferenc A. Jolesz	[1] [6]
25	Takeo Kanade	[4]
26	Takuya Katayama	[14] [16]
27	Erwin Keeve	[6]
28	Ron Kikinis	[1] [4] [5] [6] [7] [9]
29	Tomoji Kishi	[14] [16]
30	Thomas Koller	[5]
31	Fumihiro Kumeno	[10] [13]
32	Hugh C. Lauer	[4]
33	Michael E. Leventon	[6] [7]
34	Shaoying Liu	[22]
35	Asuka Manki	[3]
36	Neil McKenzie	[4]
37	Andrew B. Mor	[4]
38	Tatsuo Nakajima	[16]
39	Natsuko Noda	[14]
40	TakaHide Ohkami	[4]
41	Akihiko Ohsuga	[10] [13]
42	Shuichi Oikawa	[16]
43	Mitsutaka Okazaki	[16]
44	Randy Osborne	[4]
45	Fatma Ozlen	[6] [7]
46	James Riviello Jr.	[6]
47	Joe Samosky	[4]
48	Yoshinobu Sato	[5] [9]
49	Akira Sawada	[4]
50	Nobuyuki Shiraga	[9]
51	Tetsuo Tamai	[11] [18] [22]
52	Shinichi Tamura	[9]
53	Toshio Tonouchi	[3]
54	Naoyasu Ubayashi	[19] [20]
55	Seiji Umatani	[16]
56	Paul A. Viola	[1]
57	William M. Wells III	[1]
58	Carl-Fredrik Westin	[9]
59	Masahiro Yasugi	[16]
60	Shigeyuki Yoshida	[5]
61	Taiichi Yuasa	[16]

Colors in the list of coauthors