Search the dblp DataBase
Akira Fusaoka :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Akira Fusaoka Situation Calculus on a Dense Flow of Time. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, Vol. 1, 1996, pp:633-638 [Conf ] 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 ] Akira Fusaoka , Masaharu Hirayama Compiler Chip: A Hardware Implementation of Compiler. [Citation Graph (0, 0)][DBLP ] ASPLOS, 1982, pp:92-95 [Conf ] 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 ] 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 ] Katsunori Nakamura , Akira Fusaoka On Transfinite Hybrid Automata. [Citation Graph (0, 0)][DBLP ] HSCC, 2005, pp:495-510 [Conf ] 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 ] 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 ] Katsunori Nakamura , Akira Fusaoka On Description and Reasoning About Hybrid Systems. [Citation Graph (0, 0)][DBLP ] IEA/AIE, 2004, pp:274-283 [Conf ] 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 ] 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 ] Akira Fusaoka Nonmonotonic Reasoning on a Constructive Time Structure. [Citation Graph (0, 0)][DBLP ] TIME, 1996, pp:- [Conf ] 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 ] 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 ] 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 ] 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 ] Reasoning About Hybrid Systems Based on a Nonstandard Model. [Citation Graph (, )][DBLP ] An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs