Akira Fusaoka

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