 | 2012 |
|---|
| 15 |       | Masatomo Hashimoto,
Akira Mori:
Enhancing History-Based Concern Mining with Fine-Grained Change Analysis.
CSMR 2012: 75-84 |
| 2011 |
|---|
| 14 | | Jianwen Xiang,
Jing Tian,
Akira Mori:
Goal-directed human activity computing.
JAISE 3(2): 127-145 (2011) |
| 2010 |
|---|
| 13 | | Masatomo Hashimoto,
Akira Mori:
A Method for Analyzing Code Homology in Genealogy of Evolving Software.
FASE 2010: 91-106 |
| 12 | | Tomonori Izumida,
Kokichi Futatsugi,
Akira Mori:
A Generic Binary Analysis Method for Malware.
IWSEC 2010: 199-216 |
| 2009 |
|---|
| 11 | | Jianwen Xiang,
Akira Mori:
A Goal-Directed Human Activity Computing Model.
ISPAN 2009: 135-142 |
| 2008 |
|---|
| 10 | | 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 | | Masatomo Hashimoto,
Akira Mori:
Diff/TS: A Tool for Fine-Grained Structural Change Analysis.
WCRE 2008: 279-288 |
| 2006 |
|---|
| 8 | | Akira Mori,
Tomonori Izumida,
Toshimi Sawada,
Tadashi Inoue:
A tool for analyzing and detecting malicious mobile code.
ICSE 2006: 831-834 |
| 7 | | 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 | | 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 | | Akira Mori:
Detecting Unknown Computer Viruses - A New Approach.
ISSS 2003: 226-241 |
| 4 | | 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 | | Akira Mori,
Kokichi Futatsugi:
CafeOBJ as a Tool for Behavioral System Verification.
ISSS 2002: 461-470 |
| 1999 |
|---|
| 2 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page