Coherence for Cartesian Closed Categories: A Sequential Approach. - Akira Mori; Yoshihiro Matsumoto (CTRS, 1994)

Distributed Cooperative Formal Methods Tools. - Joseph A. Goguen; Kai Lin; Akira Mori; Grigore Rosu; Akiyoshi Sato (ASE, 1997)

A Robot-Controlling Agent Description with Finite State Machines. - Akira Mori; Kaoru Hiramatsu; Futoshi Naya; Nobuyasu Osato (DARS, 1998)

Verifying Behavioural Specifications in CafeOBJ Environment. - Akira Mori; Kokichi Futatsugi (World Congress on Formal Methods, 1999)

CafeOBJ as a Tool for Behavioral System Verification. - Akira Mori; Kokichi Futatsugi (ISSS, 2002)

Detecting Unknown Computer Viruses - A New Approach. - Akira Mori (ISSS, 2003)

Noroshi - A Distributed Schedule Management System using P2P Wireless, Ad-hoc Networking. - Mitsutaka Watanabe; Koji Minegishi; Akishi Seo; Akira Mori (WWW (Posters), 2003)

A scheme of service discovery and control on ubiquitous devices. - Mitsutaka Watanabe; Ken-ichi Takaya; Akishi Seo; Masatomo Hashimoto; Tomonori Izumida; Akira Mori (WWW (Alternate Track Papers & Posters), 2004)

A tool for analyzing and detecting malicious mobile code. - Akira Mori; Tomonori Izumida; Toshimi Sawada; Tadashi Inoue (ICSE, 2006)

A Web-based integrated education system for a seamless environment among teachers, students, and administrators. - Noriko Hanakawa; Yoshiko Akazawa; Akira Mori; Toshiyuki Maeda; Shunji Inoue; Shigeyoshi Tsutsui (Syst. Comput. Jpn., 2006)

A Unified Design Method of Asynchronous Service-Oriented Architecture Based on the Models and Patterns of Asynchronous Message Exchanges. - Mikio Aoyama; Akira Mori (ICWS, 2008)

Diff/TS: A Tool for Fine-Grained Structural Change Analysis. - Masatomo Hashimoto; Akira Mori (WCRE, 2008)

A Goal-Directed Human Activity Computing Model. - Jianwen Xiang; Akira Mori (ISPAN, 2009)

A Method for Analyzing Code Homology in Genealogy of Evolving Software. - Masatomo Hashimoto; Akira Mori (FASE, 2010)

A Generic Binary Analysis Method for Malware. - Tomonori Izumida; Kokichi Futatsugi; Akira Mori (IWSEC, 2010)

Dialogue Control by Pomdp Using Dialogue Data Statistics. - Yasuhiro Minami; Akira Mori; Toyomi Meguro; Ryuichiro Higashinaka; Kohji Dohsaka; Eisaku Maeda (IWSDS, 2011)

Goal-directed human activity computing. - Jianwen Xiang; Jing Tian; Akira Mori (J. Ambient Intell. Smart Environ., 2011)

Enhancing History-Based Concern Mining with Fine-Grained Change Analysis. - Masatomo Hashimoto; Akira Mori (CSMR, 2012)

Interaction-Based Foundation of Services. - Peter Géczy; Noriaki Izumi; Kôiti Hasida; Koichiro Eto; Akira Mori (Int. J. Serv. Sci. Manag. Eng. Technol., 2012)

Model-Based Testing of Stateful APIs with Modbat. - Cyrille Artho; Martina Seidl; Quentin Gros; Eun-Hye Choi; Takashi Kitamura 001; Akira Mori; Rudolf Ramler; Yoriyuki Yamagata (ASE, 2015)

A comprehensive and scalable method for analyzing fine-grained source code change patterns. - Masatomo Hashimoto; Akira Mori; Tomonori Izumida (SANER, 2015)

Low level code analysis and applications to computer security (NII Shonan Meeting 2015-4). - Jean-Yves Marion; Akira Mori; Mizuhito Ogawa (NII Shonan Meet. Rep., 2015)

Detecting and analyzing code clones in HDL. - Kyohei Uemura; Akira Mori; Kenji Fujiwara; Eunjong Choi; Hajimu Iida (IWSC, 2017)

Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code. - Tomonori Izumida; Akira Mori; Masatomo Hashimoto (PLAS@CCS, 2018)

Detecting Errors in a Humanoid Robot. - Jun Inoue 001; Fumio Kanehiro; Mitsuharu Morisawa; Akira Mori (QRS, 2018)

Counter Attacks for Bus-off Attacks. - Daisuke Souma; Akira Mori; Hideki Yamamoto; Yoichi Hata (SAFECOMP Workshops, 2018)

Automated patch extraction via syntax- and semantics-aware Delta debugging on source code changes. - Masatomo Hashimoto; Akira Mori; Tomonori Izumida (ESEC/SIGSOFT FSE, 2018)

Tracking Method-Level Clones and a Case Study. - Kyohei Uemura; Akira Mori; Eunjong Choi; Hajimu Iida (IWSC, 2019)

Quantitative Analysis of Sparsely Synchronized Fail-Safe Processors. - Jun Inoue 001; Hideaki Nishihara; Akira Mori (QRS, 2022)

Phylogenetic Analysis of Reticulate Software Evolution. - Akira Mori; Masatomo Hashimoto (MSR, 2023)