Bidirectionalization transformation based on automatic derivation of view complement functions K Matsuda, Z Hu, K Nakano, M Hamana, M Takeichi ACM SIGPLAN Notices 42 (9), 47-58, 2007 | 133 | 2007 |

Bidirectionalizing graph transformations S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano ACM Sigplan Notices 45 (9), 205-216, 2010 | 115 | 2010 |

Three complementary approaches to bidirectional programming N Foster, K Matsuda, J Voigtländer Generic and indexed programming, 1-46, 2012 | 43 | 2012 |

Combining syntactic and semantic bidirectionalization J Voigtländer, Z Hu, K Matsuda, M Wang ACM Sigplan Notices 45 (9), 181-192, 2010 | 43 | 2010 |

Functional programs as compressed data N Kobayashi, K Matsuda, A Shinohara, K Yaguchi Higher-Order and Symbolic Computation 25 (1), 39-84, 2012 | 33 | 2012 |

Gradual refinement M Wang, J Gibbons, K Matsuda, Z Hu International Conference on Mathematics of Program Construction, 397-425, 2010 | 22 | 2010 |

Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem K Matsuda, M Wang Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013 | 18 | 2013 |

FliPpr: A prettier invertible printing system K Matsuda, M Wang European Symposium on Programming, 101-120, 2013 | 18 | 2013 |

Applicative bidirectional programming with lenses K Matsuda, M Wang ACM SIGPLAN Notices 50 (9), 62-74, 2015 | 17 | 2015 |

A grammar-based approach to invertible programs K Matsuda, SC Mu, Z Hu, M Takeichi European Symposium on Programming, 448-467, 2010 | 17 | 2010 |

Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins J Voigtländer, Z Hu, K Matsuda, M Wang Journal of Functional Programming 23 (5), 515-551, 2013 | 16 | 2013 |

Marker-directed optimization of uncal graph transformations S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano, I Sasano International Symposium on Logic-Based Program Synthesis and Transformation …, 2011 | 16 | 2011 |

Refactoring pattern matching M Wang, J Gibbons, K Matsuda, Z Hu Science of Computer Programming 78 (11), 2216-2242, 2013 | 13 | 2013 |

HOBiT: Programming lenses without using lens combinators K Matsuda, M Wang European Symposium on Programming, 31-59, 2018 | 10 | 2018 |

“Bidirectionalization for free” for monomorphic transformations K Matsuda, M Wang Science of computer programming 111, 79-109, 2015 | 9 | 2015 |

Pairwise reachability analysis for higher order concurrent programs by higher-order model checking K Yasukata, N Kobayashi, K Matsuda International Conference on Concurrency Theory, 312-326, 2014 | 9 | 2014 |

Polynomial-time inverse computation for accumulative functions with multiple data traversals K Matsuda, K Inaba, K Nakano Higher-Order and Symbolic Computation 25 (1), 3-38, 2012 | 8 | 2012 |

Bidirectionalizing programs with duplication through complementary function derivation K Matsuda, Z Hu, K Nakano, M Hamana, M Takeichi JSSST Journal: Computer Software 26 (2), 5, 2009 | 8 | 2009 |

The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics M Hamana, K Matsuda, K Asada Mathematical Structures in Computer Science 28 (2), 287-337, 2018 | 6 | 2018 |

A web service architecture for bidirectional XML updating Y Hayashi, D Liu, K Emoto, K Matsuda, Z Hu, M Takeichi Advances in Data and Web Management, 721-732, 2007 | 6 | 2007 |