dblp.uni-trier.dewww.uni-trier.de

Akira Fusaoka Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Satoshi Hiratsuka [10] [11] [16]
2Masaharu Hirayama [2] [3]
3Tadashi Kanamori [2]
4Hsin-Hung Lu [16]
5Katsunori Nakamura [13] [14] [15] [17] [18]
6Mitsunari Sato [15]
7Hirohisa Seki [4] [5]
8Kazuko Takahashi [4] [6]
9Kuzuko Takahashi [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)