Fault Tolerant Cellular Automata. - Masateru Harao; Shoichi Noguchi (J. Comput. Syst. Sci., 1975)

On Some Dynamical Properties of Finite Cellular Automaton. - Masateru Harao; Shoichi Noguchi (IEEE Trans. Computers, 1978)

Global Mapping Space of Cellular Systems - Masateru Harao; Shoichi Noguchi (Inf. Control., 1979)

Indecomposable Maps in Tessellation Structures of Arbitrary Dimension. - Hiromi Miyajima; Masateru Harao; Shoichi Noguchi (J. Comput. Syst. Sci., 1984)

Completeness of temporal and spatial logic ETSL. - Koji Iwanuma; Masateru Harao; Shoichi Noguchi (Syst. Comput. Jpn., 1987)

Knowledge Representation and Inference Based on First-Order Modal Logic. - Koji Iwanuma; Masateru Harao (FGCS, 1988)

Transformation rules for automated design of circuits by theorem-proving techniques. Transformation from recursion equations to circuit descriptions. - Masateru Harao; Koji Iwanuma (Syst. Comput. Jpn., 1989)

Analogical Reasoning Based on Higher-Order Unification. - Masateru Harao (ALT, 1990)

Automated Design of Circuits from Recursion Equations Using Theorem-Proving Technique. - Masateru Harao; Koji Iwanuma (Syst. Comput. Jpn., 1990)

Proving based on similarity. - Ken-etsu Fujita; Masateru Harao (ALT, 1991)

Analogical Reasoning for L K Theorem Proving. - Masateru Harao (IWAR, 1992)

Proof Discovery in LK System By Analogy. - Masateru Harao (ASIAN, 1997)

Higher Order Generalization. - Jianguo Lu; Masateru Harao; Masami Hagiya (JELIA, 1998)

Tractable and Intractable Second-Order Matching Problems. - Kouichi Hirata; Keizo Yamada; Masateru Harao (COCOON, 1999)

Higher order generalization and its application in program verification. - Jianguo Lu; John Mylopoulos; Masateru Harao; Masami Hagiya (Ann. Math. Artif. Intell., 2000)

Extraction of Coverings as Monotone DNF Formulas. - Kouichi Hirata; Ryosuke Nagazumi; Masateru Harao (Discovery Science, 2003)

Extracting Minimal and Closed Monotone DNF Formulas. - Yoshikazu Shima; Shinji Mitsuishi; Kouichi Hirata; Masateru Harao (Discovery Science, 2004)

Generalization Algorithms for Second-Order Terms. - Kouichi Hirata; Takeshi Ogawa; Masateru Harao (ILP, 2004)

The q-Gram Distance for Ordered Unlabeled Trees. - Nobuhito Ohkura; Kouichi Hirata; Tetsuji Kuboyama; Masateru Harao (Discovery Science, 2005)

On Finding Acyclic Subhypergraphs. - Kouichi Hirata; Megumi Kuwabara; Masateru Harao (FCT, 2005)

Multi-Agent Based Modeling and Simulation of Consensus Formations in Arguments. - Kosuke Ono; Masateru Harao; Kouichi Hirata (ICITA (1), 2005)

Performance Analysis for Construction of a Performance Practice Support System. - Shogo Ozaki; Masateru Harao; Kouichi Hirata (ICITA (2), 2005)

On Generalization and Subsumption for Ordered Clauses. - Megumi Kuwabara; Takeshi Ogawa; Kouichi Hirata; Masateru Harao (JSAI Workshops, 2005)

Development of a Multi-Agent Based Generic Traffic Simulator. - Kosuke Ono; Takashi Hata; Toyofumi Maetani; Masateru Harao; Kouichi Hirata (JSAI Workshops, 2005)

Extraction of Frequent Few-Overlapped Monotone DNF Formulas with Depth-First Pruning. - Yoshikazu Shima; Kouichi Hirata; Masateru Harao (PAKDD, 2005)

Mining Sectorial Episodes from Event Sequences. - Takashi Katoh; Kouichi Hirata; Masateru Harao (Discovery Science, 2006)

Mining Frequent Diamond Episodes from Event Sequences. - Takashi Katoh; Kouichi Hirata; Masateru Harao (MDAI, 2007)

Multiagent-based modelling and simulation of consensus formations in arguments. - Kosuke Ono; Masateru Harao (Int. J. Agent Oriented Softw. Eng., 2007)

Efficient schema matching algorithm based on pre-checking. - Kengo Kubo; Keizo Yamada; Kouichi Hirata; Masateru Harao (Syst. Comput. Jpn., 2007)