Sadaki Hirose

Publication Activity (10 Years)

Years Active: 1981-2014
Publications (10 Years): 0

Top Topics

Firing Squad Synchronization

Cellular Automaton

Top Venues

Inf. Process. Lett.

Publications

Kazuya Yamashita, Yasuaki Nishitani, Sadaki Hirose, Satoshi Okawa, Nobuyasu Osato
The firing squad synchronization problem with sub-generals. Inf. Process. Lett. 114 (1-2) (2014)
Kazuya Yamashita, Mitsuru Sakai, Sadaki Hirose, Yasuaki Nishitani
The Firing Squad Synchronization Problems for Number Patterns on a Seven-Segment Display and Segment Arrays. IEICE Trans. Inf. Syst. (12) (2010)
Satoshi Okawa, Sadaki Hirose
The Relations among Watson-Crick Automata and Their Relations with Context-Free Languages. IEICE Trans. Inf. Syst. (10) (2006)
Sadaki Hirose, Satoshi Okawa
On Computational Power of Insertion-Deletion Systems without Using Contexts. IEICE Trans. Inf. Syst. (8) (2005)
Makoto Koshino, Tadashi Okamine, Haruhiko Kimura, Sadaki Hirose
Improving heuristic function of cost-based abduction system using real-time heuristic search. Systems and Computers in Japan 35 (6) (2004)
Sadaki Hirose, Kunifumi Tsuda, Yasuhiro Ogoshi, Haruhiko Kimura
Some Relations between Watson-Crick Finite Automata and Chomsky Hierarchy. IEICE Trans. Inf. Syst. (5) (2004)
Sadaki Hirose, Satoshi Okawa
Characterizations of Language Classes: Universal Grammars, Dyck Reductions, and Homomorphisms. Grammars and Automata for String Processing (2003)
Yasuhiro Ogoshi, Haruhiko Kimura, Sadaki Hirose, Nobuyasu Osato
Elevator group control system using multiagent system. Systems and Computers in Japan 34 (1) (2003)
Haruhiko Kimura, Sadaki Hirose, Hidetaka Nambo
High-speed consistency checking for hypothetical reasoning systems using inference path network. Systems and Computers in Japan 33 (9) (2002)
Satoshi Okawa, Sadaki Hirose
Homomorphic characterizations of recursively enumerable languages with very small language classes. Theor. Comput. Sci. 250 (1-2) (2001)
Hidetaka Nambo, Haruhiko Kimura, Sadaki Hirose
High-speed production system using dynamic two-way switching of match algorithm. Systems and Computers in Japan 32 (9) (2001)
Pál Dömösi, Satoshi Okawa, Sadaki Hirose
A Chomsky and Stanley Type Homomorphic Characterization of the Class of Linear Languages. Bull. EATCS 68 (1999)
Hideaki Nobata, Haruhiko Kimura, Sadaki Hirose
A proposal to reduce cumulative reasoning time in hypothetical reasoning. Systems and Computers in Japan 30 (12) (1999)
Haruhiko Kimura, Sadaki Hirose, Kuniyasu Tajima
High speed subsumption processing for hypothetical reasoning using inference-path networks. Systems and Computers in Japan 28 (12) (1997)
Satoshi Okawa, Sadaki Hirose
Subclasses of Linear Context - Free Languages and Homomorphic Characterizations of Languages. Systems and Computers in Japan 22 (5) (1991)
Satoshi Okawa, Sadaki Hirose, Masaaki Yoneda
On the Impossibility of the Homomorphic Characterization of Context-Sensitive Languages. Theor. Comput. Sci. 44 (1986)
Sadaki Hirose, Masaaki Yoneda
On the Chomsky and Stanley's Homomorphic Characterization of Context-Free Languages. Theor. Comput. Sci. 36 (1985)
Sadaki Hirose, Satoshi Okawa, Masaaki Yoneda
A Homomorphic Characterization of Recursively Enumerable Languages. Theor. Comput. Sci. 35 (1985)
Nobuaki Kawato, Takao Uehara, Sadaki Hirose, Takao Saito
An interactive logic synthesis system based upon AI techniques. DAC (1982)
Sadaki Hirose, Masakazu Nasu
Left Universal Context-Free Grammars and homomorphic Characterizations of Languages Inf. Control. 50 (2) (1981)