 | 2012 |
|---|
| 9 |       | Naoki Kobayashi,
Kazutaka Matsuda,
Ayumi Shinohara:
Functional programs as compressed data.
PEPM 2012: 121-130 |
| 8 | | Kazutaka Matsuda,
Kazuhiro Inaba,
Keisuke Nakano:
Polynomial-time inverse computation for accumulative functions with multiple data traversals.
PEPM 2012: 5-14 |
| 2010 |
|---|
| 7 | | Kazutaka Matsuda,
Shin-Cheng Mu,
Zhenjiang Hu,
Masato Takeichi:
A Grammar-Based Approach to Invertible Programs.
ESOP 2010: 448-467 |
| 6 | | Janis Voigtländer,
Zhenjiang Hu,
Kazutaka Matsuda,
Meng Wang:
Combining syntactic and semantic bidirectionalization.
ICFP 2010: 181-192 |
| 5 | | Soichiro Hidaka,
Zhenjiang Hu,
Kazuhiro Inaba,
Hiroyuki Kato,
Kazutaka Matsuda,
Keisuke Nakano:
Bidirectionalizing graph transformations.
ICFP 2010: 205-216 |
| 4 | | Meng Wang,
Jeremy Gibbons,
Kazutaka Matsuda,
Zhenjiang Hu:
Gradual Refinement.
MPC 2010: 397-425 |
| 2009 |
|---|
| 3 | | Kazutaka Matsuda,
Zhenjiang Hu,
Masato Takeichi:
Type-based specialization of xml transformations.
PEPM 2009: 61-72 |
| 2007 |
|---|
| 2 | | Yasushi Hayashi,
Dongxi Liu,
Kento Emoto,
Kazutaka Matsuda,
Zhenjiang Hu,
Masato Takeichi:
A Web Service Architecture for Bidirectional XML Updating.
APWeb/WAIM 2007: 721-732 |
| 1 | | Kazutaka Matsuda,
Zhenjiang Hu,
Keisuke Nakano,
Makoto Hamana,
Masato Takeichi:
Bidirectionalization transformation based on automatic derivation of view complement functions.
ICFP 2007: 47-58 |
Data released under the ODC-BY 1.0 license — See also our legal information page