Masateru Harao

	2007
27		Takashi Katoh, Kouichi Hirata, Masateru Harao: Mining Frequent Diamond Episodes from Event Sequences. MDAI 2007: 477-488
26		Kosuke Ono, Masateru Harao: Multiagent-based modelling and simulation of consensus formations in arguments. IJAOSE 1(2): 193-204 (2007)
25		Kengo Kubo, Keizo Yamada, Kouichi Hirata, Masateru Harao: Efficient schema matching algorithm based on pre-checking. Systems and Computers in Japan 38(4): 84-92 (2007)
	2006
24		Takashi Katoh, Kouichi Hirata, Masateru Harao: Mining Sectorial Episodes from Event Sequences. Discovery Science 2006: 137-148
	2005
23		Nobuhito Ohkura, Kouichi Hirata, Tetsuji Kuboyama, Masateru Harao: The q-Gram Distance for Ordered Unlabeled Trees. Discovery Science 2005: 189-202
22		Kouichi Hirata, Megumi Kuwabara, Masateru Harao: On Finding Acyclic Subhypergraphs. FCT 2005: 491-503
21		Kosuke Ono, Masateru Harao, Kouichi Hirata: Multi-Agent Based Modeling and Simulation of Consensus Formations in Arguments. ICITA (1) 2005: 264-267
20		Shogo Ozaki, Masateru Harao, Kouichi Hirata: Performance Analysis for Construction of a Performance Practice Support System. ICITA (2) 2005: 415-418
19		Megumi Kuwabara, Takeshi Ogawa, Kouichi Hirata, Masateru Harao: On Generalization and Subsumption for Ordered Clauses. JSAI Workshops 2005: 212-223
18		Kosuke Ono, Takashi Hata, Toyofumi Maetani, Masateru Harao, Kouichi Hirata: Development of a Multi-Agent Based Generic Traffic Simulator. JSAI Workshops 2005: 249-260
17		Yoshikazu Shima, Kouichi Hirata, Masateru Harao: Extraction of Frequent Few-Overlapped Monotone DNF Formulas with Depth-First Pruning. PAKDD 2005: 50-60
	2004
16		Yoshikazu Shima, Shinji Mitsuishi, Kouichi Hirata, Masateru Harao: Extracting Minimal and Closed Monotone DNF Formulas. Discovery Science 2004: 298-305
15		Kouichi Hirata, Takeshi Ogawa, Masateru Harao: Generalization Algorithms for Second-Order Terms. ILP 2004: 147-163
14		Kouichi Hirata, Keizo Yamada, Masateru Harao: Tractable and intractable second-order matching problems. J. Symb. Comput. 37(5): 611-628 (2004)
	2003
13		Kouichi Hirata, Ryosuke Nagazumi, Masateru Harao: Extraction of Coverings as Monotone DNF Formulas. Discovery Science 2003: 166-179
	2000
12		Jianguo Lu, John Mylopoulos, Masateru Harao, Masami Hagiya: Higher order generalization and its application in program verification. Ann. Math. Artif. Intell. 28(1-4): 107-126 (2000)
	1999
11		Kouichi Hirata, Keizo Yamada, Masateru Harao: Tractable and Intractable Second-Order Matching Problems. COCOON 1999: 432-441
	1998
10		Jianguo Lu, Masateru Harao, Masami Hagiya: Higher Order Generalization. JELIA 1998: 368-381
	1997
9		Masateru Harao: Proof Discovery in LK System By Analogy. ASIAN 1997: 197-211
	1992
8		Masateru Harao: Analogical Reasoning for L K Theorem Proving. IWAR 1992: 265-274
	1990
7		Masateru Harao: Analogical Reasoning Based on Higher-Order Unification. ALT 1990: 151-163
	1988
6		Koji Iwanuma, Masateru Harao: Knowledge Representation and Inference Based on First-Order Modal Logic. FGCS 1988: 499-506
	1987
5		Koji Iwanuma, Masateru Harao: Knowledge Representation and Inference Based on First-Order Modal Logic. LP 1987: 236-251
	1984
4		Hiromi Miyajima, Masateru Harao, Shoichi Noguchi: Indecomposable Maps in Tessellation Structures of Arbitrary Dimension. J. Comput. Syst. Sci. 29(2): 171-182 (1984)
	1979
3		Masateru Harao, Shoichi Noguchi: Global Mapping Space of Cellular Systems Information and Control 43(2): 241-254 (1979)
	1978
2		Masateru Harao, Shoichi Noguchi: On Some Dynamical Properties of Finite Cellular Automaton. IEEE Trans. Computers 27(1): 42-52 (1978)
	1975
1		Masateru Harao, Shoichi Noguchi: Fault Tolerant Cellular Automata. J. Comput. Syst. Sci. 11(2): 171-185 (1975)

Coauthor Index

1	Masami Hagiya	[10] [12]
2	Takashi Hata	[18]
3	Kouichi Hirata	[11] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [27]
4	Koji Iwanuma	[5] [6]
5	Takashi Katoh	[24] [27]
6	Kengo Kubo	[25]
7	Tetsuji Kuboyama	[23]
8	Megumi Kuwabara	[19] [22]
9	Jianguo Lu	[10] [12]
10	Toyofumi Maetani	[18]
11	Shinji Mitsuishi	[16]
12	Hiromi Miyajima	[4]
13	John Mylopoulos	[12]
14	Ryosuke Nagazumi	[13]
15	Shoichi Noguchi	[1] [2] [3] [4]
16	Takeshi Ogawa	[15] [19]
17	Nobuhito Ohkura	[23]
18	Kosuke Ono	[18] [21] [26]
19	Shogo Ozaki	[20]
20	Yoshikazu Shima	[16] [17]
21	Keizo Yamada	[11] [14] [25]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page