2009 |
18 | EE | Katsunori Nakamura,
Akira Fusaoka:
An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata.
HSCC 2009: 450-454 |
2007 |
17 | EE | Katsunori Nakamura,
Akira Fusaoka:
Reasoning About Hybrid Systems Based on a Nonstandard Model.
Australian Conference on Artificial Intelligence 2007: 749-754 |
2006 |
16 | EE | Satoshi Hiratsuka,
Hsin-Hung Lu,
Akira Fusaoka:
Model-Based Monitoring and Diagnosis Chip for Embedded Systems.
AIMSA 2006: 255-264 |
15 | EE | Akira Fusaoka,
Katsunori Nakamura,
Mitsunari Sato:
On a Linear Framework for Belief Dynamics in Multi-agent Environments.
CLIMA VII 2006: 41-59 |
2005 |
14 | EE | Katsunori Nakamura,
Akira Fusaoka:
On Transfinite Hybrid Automata.
HSCC 2005: 495-510 |
2004 |
13 | EE | Katsunori Nakamura,
Akira Fusaoka:
On Description and Reasoning About Hybrid Systems.
IEA/AIE 2004: 274-283 |
2002 |
12 | EE | Akira Fusaoka:
On a Linear Representation Theory for Quantitative Belief Change.
Australian Joint Conference on Artificial Intelligence 2002: 48-59 |
11 | EE | Satoshi Hiratsuka,
Akira Fusaoka:
On a Model-Based Design Verificationfor Combinatorial Boolean Networks.
IEA/AIE 2002: 758-767 |
2000 |
10 | EE | 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 | EE | Akira Fusaoka:
Basic research on artificial intelligence at Mitsubishi Electric.
AI in Engineering 2(2): 93-96 (1987) |
1986 |
6 | EE | 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) |