Sadaki Hirose

	2010
18		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 Transactions 93-D(12): 3276-3283 (2010)
	2006
17		Satoshi Okawa, Sadaki Hirose: The Relations among Watson-Crick Automata and Their Relations with Context-Free Languages. IEICE Transactions 89-D(10): 2591-2599 (2006)
	2005
16		Sadaki Hirose, Satoshi Okawa: On Computational Power of Insertion-Deletion Systems without Using Contexts. IEICE Transactions 88-D(8): 1993-1995 (2005)
	2004
15		Sadaki Hirose, Kunifumi Tsuda, Yasuhiro Ogoshi, Haruhiko Kimura: Some Relations between Watson-Crick Finite Automata and Chomsky Hierarchy. IEICE Transactions 87-D(5): 1261-1264 (2004)
14		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): 89-97 (2004)
	2003
13		Sadaki Hirose, Satoshi Okawa: Characterizations of Language Classes: Universal Grammars, Dyck Reductions, and Homomorphisms. Grammars and Automata for String Processing 2003: 253-262
12		Yasuhiro Ogoshi, Haruhiko Kimura, Sadaki Hirose, Nobuyasu Osato: Elevator group control system using multiagent system. Systems and Computers in Japan 34(1): 45-58 (2003)
	2002
11		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): 109-118 (2002)
	2001
10		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): 61-70 (2001)
9		Satoshi Okawa, Sadaki Hirose: Homomorphic characterizations of recursively enumerable languages with very small language classes. Theor. Comput. Sci. 250(1-2): 55-69 (2001)
	1999
8		Pál Dömösi, Satoshi Okawa, Sadaki Hirose: A Chomsky and Stanley Type Homomorphic Characterization of the Class of Linear Languages. Bulletin of the EATCS 68: 151 (1999)
7		Hideaki Nobata, Haruhiko Kimura, Sadaki Hirose: A proposal to reduce cumulative reasoning time in hypothetical reasoning. Systems and Computers in Japan 30(12): 63-71 (1999)
	1997
6		Haruhiko Kimura, Sadaki Hirose, Kuniyasu Tajima: High speed subsumption processing for hypothetical reasoning using inference-path networks. Systems and Computers in Japan 28(12): 43-52 (1997)
	1986
5		Satoshi Okawa, Sadaki Hirose, Masaaki Yoneda: On the Impossibility of the Homomorphic Characterization of Context-Sensitive Languages. Theor. Comput. Sci. 44: 225-228 (1986)
	1985
4		Sadaki Hirose, Satoshi Okawa, Masaaki Yoneda: A Homomorphic Characterization of Recursively Enumerable Languages. Theor. Comput. Sci. 35: 261-269 (1985)
3		Sadaki Hirose, Masaaki Yoneda: On the Chomsky and Stanley's Homomorphic Characterization of Context-Free Languages. Theor. Comput. Sci. 36: 109-112 (1985)
	1982
2		Nobuaki Kawato, Takao Uehara, Sadaki Hirose, Takao Saito: An interactive logic synthesis system based upon AI techniques. DAC 1982: 858-864
	1981
1		Sadaki Hirose, Masakazu Nasu: Left Universal Context-Free Grammars and homomorphic Characterizations of Languages Information and Control 50(2): 110-118 (1981)

Coauthor Index

1	Pál Dömösi	[8]
2	Nobuaki Kawato	[2]
3	Haruhiko Kimura	[6] [7] [10] [11] [12] [14] [15]
4	Makoto Koshino	[14]
5	Hidetaka Nambo	[10] [11]
6	Masakazu Nasu	[1]
7	Yasuaki Nishitani	[18]
8	Hideaki Nobata	[7]
9	Yasuhiro Ogoshi	[12] [15]
10	Tadashi Okamine	[14]
11	Satoshi Okawa	[4] [5] [8] [9] [13] [16] [17]
12	Nobuyasu Osato	[12]
13	Takao Saito	[2]
14	Mitsuru Sakai	[18]
15	Kuniyasu Tajima	[6]
16	Kunifumi Tsuda	[15]
17	Takao Uehara	[2]
18	Kazuya Yamashita	[18]
19	Masaaki Yoneda	[3] [4] [5]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page