Masateru Harao

31 papers B 11Misc 1Journal 11Unranked 8
YearRankTypeTitle / Venue / Authors
2007 J jnl
Efficient schema matching algorithm based on pre-checking.
Syst. Comput. Jpn.
Kengo Kubo, Keizo Yamada, Kouichi Hirata, Masateru Harao
2007 B conf
Mining Frequent Diamond Episodes from Event Sequences.
MDAI
Takashi Katoh, Kouichi Hirata, Masateru Harao
2007 J jnl
Multiagent-based modelling and simulation of consensus formations in arguments.
Int. J. Agent Oriented Softw. Eng.
Kosuke Ono, Masateru Harao
2006 B conf
Mining Sectorial Episodes from Event Sequences.
Discovery Science
Takashi Katoh, Kouichi Hirata, Masateru Harao
2005 — conf
Development of a Multi-Agent Based Generic Traffic Simulator.
JSAI Workshops
Kosuke Ono, Takashi Hata, Toyofumi Maetani, Masateru Harao, Kouichi Hirata
2005 B conf
Extraction of Frequent Few-Overlapped Monotone DNF Formulas with Depth-First Pruning.
PAKDD
Yoshikazu Shima, Kouichi Hirata, Masateru Harao
2005 — conf
Multi-Agent Based Modeling and Simulation of Consensus Formations in Arguments.
ICITA (1)
Kosuke Ono, Masateru Harao, Kouichi Hirata
2005 B conf
On Finding Acyclic Subhypergraphs.
FCT
Kouichi Hirata, Megumi Kuwabara, Masateru Harao
2005 — conf
On Generalization and Subsumption for Ordered Clauses.
JSAI Workshops
Megumi Kuwabara, Takeshi Ogawa, Kouichi Hirata, Masateru Harao
2005 — conf
Performance Analysis for Construction of a Performance Practice Support System.
ICITA (2)
Shogo Ozaki, Masateru Harao, Kouichi Hirata
2005 B conf
The
Discovery Science
Nobuhito Ohkura, Kouichi Hirata, Tetsuji Kuboyama, Masateru Harao
2004 B conf
Extracting Minimal and Closed Monotone DNF Formulas.
Discovery Science
Yoshikazu Shima, Shinji Mitsuishi, Kouichi Hirata, Masateru Harao
2004 B conf
Generalization Algorithms for Second-Order Terms.
ILP
Kouichi Hirata, Takeshi Ogawa, Masateru Harao
2004 J jnl
Tractable and intractable second-order matching problems.
J. Symb. Comput.
Kouichi Hirata, Keizo Yamada, Masateru Harao
2003 B conf
Extraction of Coverings as Monotone DNF Formulas.
Discovery Science
Kouichi Hirata, Ryosuke Nagazumi, Masateru Harao
2000 J jnl
Higher order generalization and its application in program verification.
Ann. Math. Artif. Intell.
Jianguo Lu, John Mylopoulos, Masateru Harao, Masami Hagiya
1999 Misc conf
Tractable and Intractable Second-Order Matching Problems.
COCOON
Kouichi Hirata, Keizo Yamada, Masateru Harao
1998 B conf
Higher Order Generalization.
JELIA
Jianguo Lu, Masateru Harao, Masami Hagiya
1997 — conf
Proof Discovery in LK System By Analogy.
ASIAN
Masateru Harao
1992 — conf
Analogical Reasoning for L K Theorem Proving.
IWAR
Masateru Harao
1991 B conf
Proving based on similarity.
ALT
Ken-etsu Fujita, Masateru Harao
1990 B conf
Analogical Reasoning Based on Higher-Order Unification.
ALT
Masateru Harao
1990 J jnl
Automated Design of Circuits from Recursion Equations Using Theorem-Proving Technique.
Syst. Comput. Jpn.
Masateru Harao, Koji Iwanuma
1989 J jnl
Transformation rules for automated design of circuits by theorem-proving techniques. Transformation from recursion equations to circuit descriptions.
Syst. Comput. Jpn.
Masateru Harao, Koji Iwanuma
1988 — conf
Knowledge Representation and Inference Based on First-Order Modal Logic.
FGCS
Koji Iwanuma, Masateru Harao
1987 J jnl
Completeness of temporal and spatial logic ETSL.
Syst. Comput. Jpn.
Koji Iwanuma, Masateru Harao, Shoichi Noguchi
1987 — conf
Knowledge Representation and Inference Based on First-Order Modal Logic.
LP
Koji Iwanuma, Masateru Harao
1984 J jnl
Indecomposable Maps in Tessellation Structures of Arbitrary Dimension.
J. Comput. Syst. Sci.
Hiromi Miyajima, Masateru Harao, Shoichi Noguchi
1979 J jnl
Global Mapping Space of Cellular Systems
Inf. Control.
Masateru Harao, Shoichi Noguchi
1978 J jnl
On Some Dynamical Properties of Finite Cellular Automaton.
IEEE Trans. Computers
Masateru Harao, Shoichi Noguchi
1975 J jnl
Fault Tolerant Cellular Automata.
J. Comput. Syst. Sci.
Masateru Harao, Shoichi Noguchi