2008 |
10 | EE | Mikio Aoyama,
Akira Mori:
A Unified Design Method of Asynchronous Service-Oriented Architecture Based on the Models and Patterns of Asynchronous Message Exchanges.
ICWS 2008: 537-544 |
9 | EE | Masatomo Hashimoto,
Akira Mori:
Diff/TS: A Tool for Fine-Grained Structural Change Analysis.
WCRE 2008: 279-288 |
2006 |
8 | EE | Akira Mori,
Tomonori Izumida,
Toshimi Sawada,
Tadashi Inoue:
A tool for analyzing and detecting malicious mobile code.
ICSE 2006: 831-834 |
7 | EE | 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.
Systems and Computers in Japan 37(5): 14-24 (2006) |
2004 |
6 | EE | Mitsutaka Watanabe,
Ken-ichi Takaya,
Akishi Seo,
Masatomo Hashimoto,
Tomonori Izumida,
Akira Mori:
A scheme of service discovery and control on ubiquitous devices.
WWW (Alternate Track Papers & Posters) 2004: 322-323 |
2003 |
5 | EE | Akira Mori:
Detecting Unknown Computer Viruses - A New Approach.
ISSS 2003: 226-241 |
4 | EE | Mitsutaka Watanabe,
Koji Minegishi,
Akishi Seo,
Akira Mori:
Noroshi - A Distributed Schedule Management System using P2P Wireless, Ad-hoc Networking.
WWW (Posters) 2003 |
2002 |
3 | EE | Akira Mori,
Kokichi Futatsugi:
CafeOBJ as a Tool for Behavioral System Verification.
ISSS 2002: 461-470 |
1999 |
2 | EE | Akira Mori,
Kokichi Futatsugi:
Verifying Behavioural Specifications in CafeOBJ Environment.
World Congress on Formal Methods 1999: 1625-1643 |
1994 |
1 | | Akira Mori,
Yoshihiro Matsumoto:
Coherence for Cartesian Closed Categories: A Sequential Approach.
CTRS 1994: 276-295 |