Masateru Harao Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2007
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kosuke Ono, Masateru Harao: Multiagent-based modelling and simulation of consensus formations in arguments. IJAOSE 1(2): 193-204 (2007)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Takashi Katoh, Kouichi Hirata, Masateru Harao: Mining Frequent Diamond Episodes from Event Sequences. MDAI 2007: 477-488
2006
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Takashi Katoh, Kouichi Hirata, Masateru Harao: Mining Sectorial Episodes from Event Sequences. Discovery Science 2006: 137-148
2005
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nobuhito Ohkura, Kouichi Hirata, Tetsuji Kuboyama, Masateru Harao: The q-Gram Distance for Ordered Unlabeled Trees. Discovery Science 2005: 189-202
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kouichi Hirata, Megumi Kuwabara, Masateru Harao: On Finding Acyclic Subhypergraphs. FCT 2005: 491-503
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kosuke Ono, Masateru Harao, Kouichi Hirata: Multi-Agent Based Modeling and Simulation of Consensus Formations in Arguments. ICITA (1) 2005: 264-267
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Shogo Ozaki, Masateru Harao, Kouichi Hirata: Performance Analysis for Construction of a Performance Practice Support System. ICITA (2) 2005: 415-418
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Megumi Kuwabara, Takeshi Ogawa, Kouichi Hirata, Masateru Harao: On Generalization and Subsumption for Ordered Clauses. JSAI Workshops 2005: 212-223
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kosuke Ono, Takashi Hata, Toyofumi Maetani, Masateru Harao, Kouichi Hirata: Development of a Multi-Agent Based Generic Traffic Simulator. JSAI Workshops 2005: 249-260
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yoshikazu Shima, Kouichi Hirata, Masateru Harao: Extraction of Frequent Few-Overlapped Monotone DNF Formulas with Depth-First Pruning. PAKDD 2005: 50-60
2004
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kouichi Hirata, Keizo Yamada, Masateru Harao: Tractable and intractable second-order matching problems. J. Symb. Comput. 37(5): 611-628 (2004)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yoshikazu Shima, Shinji Mitsuishi, Kouichi Hirata, Masateru Harao: Extracting Minimal and Closed Monotone DNF Formulas. Discovery Science 2004: 298-305
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kouichi Hirata, Takeshi Ogawa, Masateru Harao: Generalization Algorithms for Second-Order Terms. ILP 2004: 147-163
2003
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kouichi Hirata, Ryosuke Nagazumi, Masateru Harao: Extraction of Coverings as Monotone DNF Formulas. Discovery Science 2003: 166-179
2000
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kouichi Hirata, Keizo Yamada, Masateru Harao: Tractable and Intractable Second-Order Matching Problems. COCOON 1999: 432-441
1998
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jianguo Lu, Masateru Harao, Masami Hagiya: Higher Order Generalization. JELIA 1998: 368-381
1997
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masateru Harao: Proof Discovery in LK System By Analogy. ASIAN 1997: 197-211
1992
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masateru Harao: Analogical Reasoning for L K Theorem Proving. IWAR 1992: 265-274
1990
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masateru Harao: Analogical Reasoning Based on Higher-Order Unification. ALT 1990: 151-163
1988
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Koji Iwanuma, Masateru Harao: Knowledge Representation and Inference Based on First-Order Modal Logic. FGCS 1988: 499-506
1987
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Koji Iwanuma, Masateru Harao: Knowledge Representation and Inference Based on First-Order Modal Logic. LP 1987: 236-251
1984
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hiromi Miyajima, Masateru Harao, Shoichi Noguchi: Indecomposable Maps in Tessellation Structures of Arbitrary Dimension. J. Comput. Syst. Sci. 29(2): 171-182 (1984)
1979
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masateru Harao, Shoichi Noguchi: Global Mapping Space of Cellular Systems. Information and Control 43(2): 241-254 (1979)
1978
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masateru Harao, Shoichi Noguchi: On Some Dynamical Properties of Finite Cellular Automaton. IEEE Trans. Computers 27(1): 42-52 (1978)
1975
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Masateru Harao, Shoichi Noguchi: Fault Tolerant Cellular Automata. J. Comput. Syst. Sci. 11(2): 171-185 (1975)

Coauthor Index

1Masami Hagiya
[j5] [c6]
2Takashi Hata
[c12]
3Kouichi Hirata
[j7] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c12] [c11] [j6] [c10] [c9] [c8] [c7]
4Koji Iwanuma
[c2] [c1]
5Takashi Katoh
[c19] [c18]
6Kengo Kubo
[j7]
7Tetsuji Kuboyama
[c17]
8Megumi Kuwabara
[c16] [c13]
9Jianguo Lu
[j5] [c6]
10Toyofumi Maetani
[c12]
11Shinji Mitsuishi
[c10]
12Hiromi Miyajima
[j4]
13John Mylopoulos
[j5]
14Ryosuke Nagazumi
[c8]
15Shoichi Noguchi
[j4] [j3] [j2] [j1]
16Takeshi Ogawa
[c13] [c9]
17Nobuhito Ohkura
[c17]
18Kosuke Ono
[j8] [c15] [c12]
19Shogo Ozaki
[c14]
20Yoshikazu Shima
[c11] [c10]
21Keizo Yamada
[j7] [j6] [c7]

Colors in the list of coauthors

Last update Wed May 22 08:47:02 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page