The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Akira Mori: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.099secs, Finished in 0.101secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002