| 2009 |
|---|
| 4 | EE | Akimasa Morihata,
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi:
The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer.
POPL 2009: 177-185 |
| 2008 |
|---|
| 3 | EE | Akimasa Morihata,
Kiminori Matsuzaki,
Masato Takeichi:
Write it recursively: a generic framework for optimal path queries.
ICFP 2008: 169-178 |
| 2007 |
|---|
| 2 | EE | Kazutaka Morita,
Akimasa Morihata,
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi:
Automatic inversion generates divide-and-conquer parallel programs.
PLDI 2007: 146-155 |
| 2006 |
|---|
| 1 | EE | Akimasa Morihata,
Kazuhiko Kakehi,
Zhenjiang Hu,
Masato Takeichi:
Swapping Arguments and Results of Recursive Functions.
MPC 2006: 379-396 |
