dblp.uni-trier.dewww.uni-trier.de

Masateru Harao

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
27EETakashi Katoh, Kouichi Hirata, Masateru Harao: Mining Frequent Diamond Episodes from Event Sequences. MDAI 2007: 477-488
26EEKosuke Ono, Masateru Harao: Multiagent-based modelling and simulation of consensus formations in arguments. IJAOSE 1(2): 193-204 (2007)
25EEKengo 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
24EETakashi Katoh, Kouichi Hirata, Masateru Harao: Mining Sectorial Episodes from Event Sequences. Discovery Science 2006: 137-148
2005
23EENobuhito Ohkura, Kouichi Hirata, Tetsuji Kuboyama, Masateru Harao: The q-Gram Distance for Ordered Unlabeled Trees. Discovery Science 2005: 189-202
22EEKouichi Hirata, Megumi Kuwabara, Masateru Harao: On Finding Acyclic Subhypergraphs. FCT 2005: 491-503
21EEKosuke Ono, Masateru Harao, Kouichi Hirata: Multi-Agent Based Modeling and Simulation of Consensus Formations in Arguments. ICITA (1) 2005: 264-267
20EEShogo Ozaki, Masateru Harao, Kouichi Hirata: Performance Analysis for Construction of a Performance Practice Support System. ICITA (2) 2005: 415-418
19EEMegumi Kuwabara, Takeshi Ogawa, Kouichi Hirata, Masateru Harao: On Generalization and Subsumption for Ordered Clauses. JSAI Workshops 2005: 212-223
18EEKosuke Ono, Takashi Hata, Toyofumi Maetani, Masateru Harao, Kouichi Hirata: Development of a Multi-Agent Based Generic Traffic Simulator. JSAI Workshops 2005: 249-260
17EEYoshikazu Shima, Kouichi Hirata, Masateru Harao: Extraction of Frequent Few-Overlapped Monotone DNF Formulas with Depth-First Pruning. PAKDD 2005: 50-60
2004
16EEYoshikazu Shima, Shinji Mitsuishi, Kouichi Hirata, Masateru Harao: Extracting Minimal and Closed Monotone DNF Formulas. Discovery Science 2004: 298-305
15EEKouichi Hirata, Takeshi Ogawa, Masateru Harao: Generalization Algorithms for Second-Order Terms. ILP 2004: 147-163
14EEKouichi Hirata, Keizo Yamada, Masateru Harao: Tractable and intractable second-order matching problems. J. Symb. Comput. 37(5): 611-628 (2004)
2003
13EEKouichi 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
11EEKouichi Hirata, Keizo Yamada, Masateru Harao: Tractable and Intractable Second-Order Matching Problems. COCOON 1999: 432-441
1998
10EEJianguo 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)