Akira Fusaoka

Publication Activity (10 Years)

Years Active: 1971-2010
Publications (10 Years): 0

Publications

Katsunori Nakamura, Akira Fusaoka
On A Nonstandard Model of Hybrid Automaton. CCA (2010)
Katsunori Nakamura, Akira Fusaoka
An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata. HSCC (2009)
Katsunori Nakamura, Akira Fusaoka
Reasoning About Hybrid Systems Based on a Nonstandard Model. Australian Conference on Artificial Intelligence (2007)
Akira Fusaoka, Katsunori Nakamura, Mitsunari Sato
On a Linear Framework for Belief Dynamics in Multi-agent Environments. CLIMA (2006)
Satoshi Hiratsuka, Hsin-Hung Lu, Akira Fusaoka
Model-Based Monitoring and Diagnosis Chip for Embedded Systems. AIMSA (2006)
Katsunori Nakamura, Akira Fusaoka
On Transfinite Hybrid Automata. HSCC (2005)
Katsunori Nakamura, Akira Fusaoka
On Description and Reasoning About Hybrid Systems. IEA/AIE (2004)
Akira Fusaoka
On a Linear Representation Theory for Quantitative Belief Change. Australian Joint Conference on Artificial Intelligence (2002)
Satoshi Hiratsuka, Akira Fusaoka
On a Model-Based Design Verificationfor Combinatorial Boolean Networks. IEA/AIE (2002)
Satoshi Hiratsuka, Akira Fusaoka
On a Model-Based Diagnosis for Synchronous Boolean Netowrk. IEA/AIE (2000)
Akira Fusaoka
Situation Calculus on a Dense Flow of Time. AAAI/IAAI, Vol. 1 (1996)
Akira Fusaoka
Nonmonotonic Reasoning on a Constructive Time Structure. TIME (1996)
Akira Fusaoka
Basic research on artificial intelligence at Mitsubishi Electric. Artif. Intell. Eng. 2 (2) (1987)
Akira Fusaoka, Kazuko Takahashi
On a mechanical reasoning about causal relations. Artif. Intell. Eng. 1 (1) (1986)
Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi
Description and Reasoning of VLSI Circuit in Temporal Logic. New Gener. Comput. 2 (1) (1984)
Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi
A Description and Reasoning of Plant Controllers in Temporal Logic. IJCAI (1983)
Akira Fusaoka, Masaharu Hirayama
Compiler Chip: A Hardware Implementation of Compiler. ASPLOS (1982)
Akira Fusaoka, Masaharu Hirayama, Tadashi Kanamori
A Control Shared Processor MELPIP-1: Design Evaluation. ACM Pacific (1980)
Akira Fusaoka
A Note on a Decomposition Theorem for Simple Deterministic Languages Inf. Control. 19 (3) (1971)