Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Akira Fusaoka
2010 – today
- 2010
[c15]
2000 – 2009
- 2009
- [c14]Katsunori Nakamura, Akira Fusaoka: An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata. HSCC 2009: 450-454
- 2007
- [c13]Katsunori Nakamura, Akira Fusaoka: Reasoning About Hybrid Systems Based on a Nonstandard Model. Australian Conference on Artificial Intelligence 2007: 749-754
- 2006
- [c12]Satoshi Hiratsuka, Hsin-Hung Lu, Akira Fusaoka: Model-Based Monitoring and Diagnosis Chip for Embedded Systems. AIMSA 2006: 255-264
- [c11]Akira Fusaoka, Katsunori Nakamura, Mitsunari Sato: On a Linear Framework for Belief Dynamics in Multi-agent Environments. CLIMA 2006: 41-59
- 2005
- [c10]
- 2004
- [c9]Katsunori Nakamura, Akira Fusaoka: On Description and Reasoning About Hybrid Systems. IEA/AIE 2004: 274-283
- 2002
- [c8]Akira Fusaoka: On a Linear Representation Theory for Quantitative Belief Change. Australian Joint Conference on Artificial Intelligence 2002: 48-59
- [c7]Satoshi Hiratsuka, Akira Fusaoka: On a Model-Based Design Verificationfor Combinatorial Boolean Networks. IEA/AIE 2002: 758-767
- 2000
- [c6]Satoshi Hiratsuka, Akira Fusaoka: On a Model-Based Diagnosis for Synchronous Boolean Netowrk. IEA/AIE 2000: 198-203
1990 – 1999
- 1996
- [c5]
- [c4]
1980 – 1989
- 1987
- [j4]Akira Fusaoka: Basic research on artificial intelligence at Mitsubishi Electric. AI in Engineering 2(2): 93-96 (1987)
- 1986
- [j3]Akira Fusaoka, Kazuko Takahashi: On a mechanical reasoning about causal relations. AI in Engineering 1(1): 15-22 (1986)
- 1984
- [j2]Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi: Description and Reasoning of VLSI Circuit in Temporal Logic. New Generation Comput. 2(1): 79-90 (1984)
- 1983
- [c3]Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi: A Description and Reasoning of Plant Controllers in Temporal Logic. IJCAI 1983: 405-408
- 1982
- [c2]Akira Fusaoka, Masaharu Hirayama: Compiler Chip: A Hardware Implementation of Compiler. ASPLOS 1982: 92-95
- 1980
- [c1]Akira Fusaoka, Masaharu Hirayama, Tadashi Kanamori: A Control Shared Processor MELPIP-1: Design Evaluation. ACM Pacific 1980: 77-85
1970 – 1979
- 1971
- [j1]Akira Fusaoka: A Note on a Decomposition Theorem for Simple Deterministic Languages. Information and Control 19(3): 272-274 (1971)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-12 17:04 CET by the dblp team