| 2006 |
|---|
| 11 | EE | Keiji Hirata,
Satoshi Tojo:
Lattice for Musical Structure and Its Arithmetics.
JSAI 2006: 54-64 |
| 2005 |
|---|
| 10 | EE | Masatoshi Hamanaka,
Keiji Hirata,
Satoshi Tojo:
ATTA: Automatic Time-Span Tree Analyzer Based on Extended GTTM.
ISMIR 2005: 358-365 |
| 2004 |
|---|
| 9 | EE | Rumi Hiraga,
Roberto Bresin,
Keiji Hirata,
Haruhiro Katayose:
Rencon 2004: Turing Test for Musical Expression.
NIME 2004: 120-123 |
| 2002 |
|---|
| 8 | EE | Keiji Hirata,
Shu Matsuda:
Interactive Music Summarization based on GTTM.
ISMIR 2002 |
| 1999 |
|---|
| 7 | | Keiji Hirata,
Kenichi Yamazaki:
Declarative Priority in a Concurrent Logic Language ON.
ICLP 1999: 215-229 |
| 1995 |
|---|
| 6 | | Keiji Hirata:
Proving Correctness of Translation from Moded Flat GHC to Pi-Calculus.
ICLP 1995: 818 |
| 1994 |
|---|
| 5 | | Kouichi Kumon,
Keiji Hirata:
A New Transformation based on Process-Message Duality for Concurrent Logic Languages.
ICLP 1994: 684-698 |
| 1992 |
|---|
| 4 | | Keiji Hirata,
Reki Yamamoto,
Akira Imai,
Hideo Kawai,
Kiyoshi Hirano,
Tsuneyoshi Takagi,
Kazuo Taki,
Akihiko Nakase,
Kazuaki Rokusawa:
Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1.
FGCS 1992: 436-459 |
| 1988 |
|---|
| 3 | | Keiji Hirata,
Tatsuya Aoyagi,
Hiroki Konaka:
How to Realize Jazz Feelings - A Logic Programming Approach.
FGCS 1988: 1081-1088 |
| 1985 |
|---|
| 2 | | Tsutomu Maruyama,
Keiji Hirata,
Hidehiko Tanaka,
Tohru Moto-Oka:
A Note on the Elementary Execution Unit in a Parallel Inference Machine.
LP 1985: 25-34 |
| 1984 |
|---|
| 1 | | Tohru Moto-Oka,
Hidehiko Tanaka,
Hitoshi Aida,
Keiji Hirata,
Tsutomu Maruyama:
The Architecture of a Parallel Inference Engine - PIE.
FGCS 1984: 479-488 |
