 | 2009 |
|---|
| 18 |       | Katsunori Nakamura,
Akira Fusaoka:
An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata.
HSCC 2009: 450-454 |
| 2007 |
|---|
| 17 | | Katsunori Nakamura,
Akira Fusaoka:
Reasoning About Hybrid Systems Based on a Nonstandard Model.
Australian Conference on Artificial Intelligence 2007: 749-754 |
| 2006 |
|---|
| 16 | | Satoshi Hiratsuka,
Hsin-Hung Lu,
Akira Fusaoka:
Model-Based Monitoring and Diagnosis Chip for Embedded Systems.
AIMSA 2006: 255-264 |
| 15 | | Akira Fusaoka,
Katsunori Nakamura,
Mitsunari Sato:
On a Linear Framework for Belief Dynamics in Multi-agent Environments.
CLIMA VII 2006: 41-59 |
| 2005 |
|---|
| 14 | | Katsunori Nakamura,
Akira Fusaoka:
On Transfinite Hybrid Automata.
HSCC 2005: 495-510 |
| 2004 |
|---|
| 13 | | Katsunori Nakamura,
Akira Fusaoka:
On Description and Reasoning About Hybrid Systems.
IEA/AIE 2004: 274-283 |
| 2002 |
|---|
| 12 | | Akira Fusaoka:
On a Linear Representation Theory for Quantitative Belief Change.
Australian Joint Conference on Artificial Intelligence 2002: 48-59 |
| 11 | | Satoshi Hiratsuka,
Akira Fusaoka:
On a Model-Based Design Verificationfor Combinatorial Boolean Networks.
IEA/AIE 2002: 758-767 |
| 2000 |
|---|
| 10 | | Satoshi Hiratsuka,
Akira Fusaoka:
On a Model-Based Diagnosis for Synchronous Boolean Netowrk.
IEA/AIE 2000: 198-203 |
| 1996 |
|---|
| 9 |  | Akira Fusaoka:
Situation Calculus on a Dense Flow of Time.
AAAI/IAAI, Vol. 1 1996: 633-638 |
| 8 | | Akira Fusaoka:
Nonmonotonic Reasoning on a Constructive Time Structure.
TIME 1996 |
| 1987 |
|---|
| 7 | | Akira Fusaoka:
Basic research on artificial intelligence at Mitsubishi Electric.
AI in Engineering 2(2): 93-96 (1987) |
| 1986 |
|---|
| 6 | | Akira Fusaoka,
Kazuko Takahashi:
On a mechanical reasoning about causal relations.
AI in Engineering 1(1): 15-22 (1986) |
| 1984 |
|---|
| 5 | | Akira Fusaoka,
Hirohisa Seki,
Kuzuko Takahashi:
Description and Reasoning of VLSI Circuit in Temporal Logic.
New Generation Comput. 2(1): 79-90 (1984) |
| 1983 |
|---|
| 4 | | Akira Fusaoka,
Hirohisa Seki,
Kazuko Takahashi:
A Description and Reasoning of Plant Controllers in Temporal Logic.
IJCAI 1983: 405-408 |
| 1982 |
|---|
| 3 | | Akira Fusaoka,
Masaharu Hirayama:
Compiler Chip: A Hardware Implementation of Compiler.
ASPLOS 1982: 92-95 |
| 1980 |
|---|
| 2 | | Akira Fusaoka,
Masaharu Hirayama,
Tadashi Kanamori:
A Control Shared Processor MELPIP-1: Design Evaluation.
ACM Pacific 1980: 77-85 |
| 1971 |
|---|
| 1 | | Akira Fusaoka:
A Note on a Decomposition Theorem for Simple Deterministic Languages
Information and Control 19(3): 272-274 (1971) |
