A Note on a Decomposition Theorem for Simple Deterministic Languages - Akira Fusaoka (Inf. Control., 1971)

A Control Shared Processor MELPIP-1: Design Evaluation. - Akira Fusaoka; Masaharu Hirayama; Tadashi Kanamori (ACM Pacific, 1980)

Compiler Chip: A Hardware Implementation of Compiler. - Akira Fusaoka; Masaharu Hirayama (ASPLOS, 1982)

A Description and Reasoning of Plant Controllers in Temporal Logic. - Akira Fusaoka; Hirohisa Seki; Kazuko Takahashi (IJCAI, 1983)

Description and Reasoning of VLSI Circuit in Temporal Logic. - Akira Fusaoka; Hirohisa Seki; Kazuko Takahashi (New Gener. Comput., 1984)

On a mechanical reasoning about causal relations. - Akira Fusaoka; Kazuko Takahashi (Artif. Intell. Eng., 1986)

Basic research on artificial intelligence at Mitsubishi Electric. - Akira Fusaoka (Artif. Intell. Eng., 1987)

Situation Calculus on a Dense Flow of Time. - Akira Fusaoka (AAAI/IAAI, Vol. 1, 1996)

Nonmonotonic Reasoning on a Constructive Time Structure. - Akira Fusaoka (TIME, 1996)

On a Model-Based Diagnosis for Synchronous Boolean Netowrk. - Satoshi Hiratsuka; Akira Fusaoka (IEA/AIE, 2000)

On a Linear Representation Theory for Quantitative Belief Change. - Akira Fusaoka (Australian Joint Conference on Artificial Intelligence, 2002)

On a Model-Based Design Verificationfor Combinatorial Boolean Networks. - Satoshi Hiratsuka; Akira Fusaoka (IEA/AIE, 2002)

On Description and Reasoning About Hybrid Systems. - Katsunori Nakamura; Akira Fusaoka (IEA/AIE, 2004)

On Transfinite Hybrid Automata. - Katsunori Nakamura; Akira Fusaoka (HSCC, 2005)

Model-Based Monitoring and Diagnosis Chip for Embedded Systems. - Satoshi Hiratsuka; Hsin-Hung Lu; Akira Fusaoka (AIMSA, 2006)

On a Linear Framework for Belief Dynamics in Multi-agent Environments. - Akira Fusaoka; Katsunori Nakamura; Mitsunari Sato (CLIMA, 2006)

Reasoning About Hybrid Systems Based on a Nonstandard Model. - Katsunori Nakamura; Akira Fusaoka (Australian Conference on Artificial Intelligence, 2007)

An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata. - Katsunori Nakamura; Akira Fusaoka (HSCC, 2009)

On A Nonstandard Model of Hybrid Automaton. - Katsunori Nakamura; Akira Fusaoka (CCA, 2010)