| 2023 | MSR | Phylogenetic Analysis of Reticulate Software Evolution. | Akira Mori, Masatomo Hashimoto |
| 2022 | QRS | Quantitative Analysis of Sparsely Synchronized Fail-Safe Processors. | Jun Inoue, Hideaki Nishihara, Akira Mori |
| 2018 | CCS | Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code. | Tomonori Izumida, Akira Mori, Masatomo Hashimoto |
| 2018 | QRS | Detecting Errors in a Humanoid Robot. | Jun Inoue, Fumio Kanehiro, Mitsuharu Morisawa, Akira Mori |
| 2018 | SAFECOMP | Counter Attacks for Bus-off Attacks. | Daisuke Souma, Akira Mori, Hideki Yamamoto, Yoichi Hata |
| 2010 | FASE | A Method for Analyzing Code Homology in Genealogy of Evolving Software. | Masatomo Hashimoto, Akira Mori |
| 2010 | IWSEC | A Generic Binary Analysis Method for Malware. | Tomonori Izumida, Kokichi Futatsugi, Akira Mori |
| 2008 | ICWS | A Unified Design Method of Asynchronous Service-Oriented Architecture Based on the Models and Patterns of Asynchronous Message Exchanges. | Mikio Aoyama, Akira Mori |
| 2006 | ICSE | A tool for analyzing and detecting malicious mobile code. | Akira Mori, Tomonori Izumida, Toshimi Sawada, Tadashi Inoue |
| 2004 | WWW | A scheme of service discovery and control on ubiquitous devices. | Mitsutaka Watanabe, Ken-ichi Takaya, Akishi Seo, Masatomo Hashimoto, Tomonori Izumida, Akira Mori |
| 2003 | WWW | Noroshi - A Distributed Schedule Management System using P2P Wireless, Ad-hoc Networking. | Mitsutaka Watanabe, Koji Minegishi, Akishi Seo, Akira Mori |
| 1999 | FM | Verifying Behavioural Specifications in CafeOBJ Environment. | Akira Mori, Kokichi Futatsugi |