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