Search the dblp DataBase

Publications of Author

1. Shin Nakajima
   Behavioural Analysis of Component Framework with Multi-Valued Transition System. [Citation Graph (0, 0)][DBLP]
   APSEC, 2002, pp:217-226 [Conf]
   
2. Tetsuo Hasegawa, Kenta Cho, Fumihiro Kumeno, Shin Nakajima, Akihiko Ohsuga, Shinichi Honiden
   Interoperability for mobile agents by incarnation agents. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2003, pp:1006-1007 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   CVRMed, 1997, pp:369-378 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   CVRMed, 1997, pp:213-222 [Conf]
   
5. Yasuyuki Beppu, Shin Nakajima, Fumihiro Kumeno, Kenta Cho, Tetsuo Hasegawa, Akihiko Ohsuga
   A Directory Server for Mobile Agents Interoperability. [Citation Graph (0, 0)][DBLP]
   EDOC, 2000, pp:144-0 [Conf]
   
6. Shin Nakajima
   Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks. [Citation Graph (0, 0)][DBLP]
   World Congress on Formal Methods, 1999, pp:1664-1683 [Conf]
   
7. Toshio Tonouchi, Takashi Fukushima, Asuka Manki, Shin Nakajima
   An Implementation of OSI Management Q3 Agent Platform for Subscriber Networks. [Citation Graph (0, 0)][DBLP]
   ICC (2), 1997, pp:889-893 [Conf]
   
8. Shin Nakajima, Kokichi Futatsugi
   An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. [Citation Graph (0, 0)][DBLP]
   ICSE, 1997, pp:34-44 [Conf]
   
9. Shin Nakajima
   Model-Checking of Safety and Security Aspects in Web Service Flows. [Citation Graph (0, 0)][DBLP]
   ICWE, 2004, pp:488-501 [Conf]
   
10. 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. [Citation Graph (0, 0)][DBLP]
    MICCAI, 1998, pp:74-83 [Conf]
    
11. 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. [Citation Graph (0, 0)][DBLP]
    MICCAI, 1998, pp:63-73 [Conf]
    
12. Naoyasu Ubayashi, Shin Nakajima
    Context-aware feature-oriented modeling with an aspect extension of VDM. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:1269-1274 [Conf]
    
13. Shin Nakajima, Tetsuo Tamai
    Aspect-oriented software design with a variant of UML/STD. [Citation Graph (0, 0)][DBLP]
    SCESM, 2006, pp:44-50 [Conf]
    
14. Shin Nakajima, Tetsuo Tamai
    Behavioural Analysis of the Enterprise JavaBeans^TM Component Architecture. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:163-182 [Conf]
    
15. 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. [Citation Graph (0, 0)][DBLP]
    VBC, 1996, pp:317-326 [Conf]
    
16. Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama
    Project Report: High-Reliable Object-Oriented Embedded Software Design. [Citation Graph (0, 0)][DBLP]
    WSTFEUS, 2004, pp:144-148 [Conf]
    
17. Shin Nakajima
    Model-Checking Behavioral Specification of BPEL Applications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:151, n:2, pp:89-105 [Journal]
    
18. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Vis. Comput. Graph., 2000, v:6, n:2, pp:160-180 [Journal]
    
19. 
    Aspect-Oriented Programming for Web Controller Layer. [Citation Graph (, )][DBLP]
    
    
20. 
    Modular Checking of C Programs Using SAT-Based Bounded Model Checker. [Citation Graph (, )][DBLP]
    
    
21. 
    AOWP: Web-Specific AOP Framework for PHP. [Citation Graph (, )][DBLP]
    
    
22. 
    Integration of formal specification, review, and testing for software component quality assurance. [Citation Graph (, )][DBLP]
    
    
23. 
    Semi-automated diagnosis of FODA feature diagram. [Citation Graph (, )][DBLP]
    
    
24. 
    Constructing FODA Feature Diagrams with a GUI-based Tool. [Citation Graph (, )][DBLP]
    
    
25. 
    Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems. [Citation Graph (, )][DBLP]
    
    
26. 
    Non-clausal Encoding of Feature Diagram for Automated Diagnosis. [Citation Graph (, )][DBLP]
    
    
27. 
    A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications. [Citation Graph (, )][DBLP]
    
    
28. 
    Modular Checking with Model Checking. [Citation Graph (, )][DBLP]