The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Masateru Harao: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.096secs, Finished in 0.097secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002