Search the dblp DataBase

Publications of Author

1. Akira Mori, Yoshihiro Matsumoto
   Coherence for Cartesian Closed Categories: A Sequential Approach. [Citation Graph (0, 0)][DBLP]
   CTRS, 1994, pp:276-295 [Conf]
   
2. Akira Mori, Kokichi Futatsugi
   Verifying Behavioural Specifications in CafeOBJ Environment. [Citation Graph (0, 0)][DBLP]
   World Congress on Formal Methods, 1999, pp:1625-1643 [Conf]
   
3. Akira Mori, Tomonori Izumida, Toshimi Sawada, Tadashi Inoue
   A tool for analyzing and detecting malicious mobile code. [Citation Graph (0, 0)][DBLP]
   ICSE, 2006, pp:831-834 [Conf]
   
4. Akira Mori
   Detecting Unknown Computer Viruses - A New Approach. [Citation Graph (0, 0)][DBLP]
   ISSS, 2003, pp:226-241 [Conf]
   
5. Akira Mori, Kokichi Futatsugi
   CafeOBJ as a Tool for Behavioral System Verification. [Citation Graph (0, 0)][DBLP]
   ISSS, 2002, pp:461-470 [Conf]
   
6. Mitsutaka Watanabe, Ken-ichi Takaya, Akishi Seo, Masatomo Hashimoto, Tomonori Izumida, Akira Mori
   A scheme of service discovery and control on ubiquitous devices. [Citation Graph (0, 0)][DBLP]
   WWW (Alternate Track Papers & Posters), 2004, pp:322-323 [Conf]
   
7. Mitsutaka Watanabe, Koji Minegishi, Akishi Seo, Akira Mori
   Noroshi - A Distributed Schedule Management System using P2P Wireless, Ad-hoc Networking. [Citation Graph (0, 0)][DBLP]
   WWW (Posters), 2003, pp:- [Conf]
   
8. Noriko Hanakawa, Yoshiko Akazawa, Akira Mori, Toshiyuki Maeda, Shunji Inoue, Shigeyoshi Tsutsui
   A Web-based integrated education system for a seamless environment among teachers, students, and administrators. [Citation Graph (0, 0)][DBLP]
   Systems and Computers in Japan, 2006, v:37, n:5, pp:14-24 [Journal]
   
9. 
   A Method for Analyzing Code Homology in Genealogy of Evolving Software. [Citation Graph (, )][DBLP]
   
   
10. 
    A Unified Design Method of Asynchronous Service-Oriented Architecture Based on the Models and Patterns of Asynchronous Message Exchanges. [Citation Graph (, )][DBLP]
    
    
11. 
    A Goal-Directed Human Activity Computing Model. [Citation Graph (, )][DBLP]
    
    
12. 
    Diff/TS: A Tool for Fine-Grained Structural Change Analysis. [Citation Graph (, )][DBLP]