| 2008 |
|---|
| 10 | EE | Risa Suzuki,
Taro Suzuki,
Seiichi Ariga,
Makoto Iida,
Chuichi Arakawa:
"ephemeral melody": music played with wind and bubbles.
SIGGRAPH Posters 2008: 80 |
| 2002 |
|---|
| 9 | EE | Tetsuo Ida,
Mircea Marin,
Taro Suzuki:
Reducing Search Space in Solving Higher-Order Equations.
Progress in Discovery Science 2002: 19-30 |
| 8 | EE | Aart Middeldorp,
Taro Suzuki,
Mohamed Hamada:
Complete Selection Functions for a Lazy Conditional Narrowing Calculus.
Journal of Functional and Logic Programming 2002: (2002) |
| 2001 |
|---|
| 7 | EE | Tetsuo Ida,
Mircea Marin,
Taro Suzuki:
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations.
EUROCAST 2001: 479-493 |
| 6 | EE | Taro Suzuki,
Aart Middeldorp:
A Complete Selection Function for Lazy Conditional Narrowing.
FLOPS 2001: 201-215 |
| 2000 |
|---|
| 5 | | Mircea Marin,
Tetsuo Ida,
Taro Suzuki:
Higher-order Lazy Narrowing Calculi in Perspective.
WFLP 2000: 238-252 |
| 1999 |
|---|
| 4 | | Mircea Marin,
Tetsuo Ida,
Taro Suzuki:
On Reducing the Search Space of Higher-Order Lazy Narrowing.
Fuji International Symposium on Functional and Logic Programming 1999: 319-334 |
| 1997 |
|---|
| 3 | | Taro Suzuki,
Koji Nakagawa,
Tetsuo Ida:
Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language.
ALP/HOA 1997: 99-113 |
| 1996 |
|---|
| 2 | | Taro Suzuki:
Standardization Theorem Revisited.
ALP 1996: 122-134 |
| 1995 |
|---|
| 1 | | Taro Suzuki,
Aart Middeldorp,
Tetsuo Ida:
Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides.
RTA 1995: 179-193 |
