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