The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Akira Fusaoka: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  17. Reasoning About Hybrid Systems Based on a Nonstandard Model. [Citation Graph (, )][DBLP]


  18. An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata. [Citation Graph (, )][DBLP]


Search in 0.018secs, Finished in 0.019secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002