The SCEAS System
Navigation Menu

Search the dblp DataBase


Shin Nakajima: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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 JavaBeansTM 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]

Search in 0.005secs, Finished in 0.006secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002