Towards automatic model synchronization from model transformations Y Xiong, D Liu, Z Hu, H Zhao, M Takeichi, H Mei Proceedings of the twenty-second IEEE/ACM international conference on …, 2007 | 215 | 2007 |

A programmable editor for developing structured documents based on bidirectional transformations Z Hu, SC Mu, M Takeichi Higher-Order and Symbolic Computation 21 (1), 89-118, 2008 | 178 | 2008 |

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 | 148 | 2007 |

Deriving structural hylomorphisms from recursive definitions Z Hu, H Iwasaki, M Takeichi ACM Sigplan Notices 31 (6), 73-82, 1996 | 129 | 1996 |

Tupling calculation eliminates multiple data traversals Z Hu, H Iwasaki, M Takeichi, A Takano ACM Sigplan Notices 32 (8), 164-175, 1997 | 122 | 1997 |

Supporting automatic model inconsistency fixing Y Xiong, Z Hu, H Zhao, H Song, M Takeichi, H Mei Proceedings of the 7th joint meeting of the European software engineering …, 2009 | 113 | 2009 |

An algebraic approach to bi-directional updating SC Mu, Z Hu, M Takeichi Asian Symposium on Programming Languages and Systems, 2-20, 2004 | 106 | 2004 |

A calculational fusion system HYLO Y Onoue, Z Hu, H Iwasaki, M Takeichi Algorithmic Languages and Calculi, 76-106, 1997 | 102 | 1997 |

An injective language for reversible computation SC Mu, Z Hu, M Takeichi International Conference on Mathematics of Program Construction, 289-313, 2004 | 96 | 2004 |

Parallelization in calculational forms Z Hu, M Takeichi, WN Chin Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998 | 92 | 1998 |

Automatic inversion generates divide-and-conquer parallel programs K Morita, A Morihata, K Matsuzaki, Z Hu, M Takeichi ACM SIGPLAN Notices 42 (6), 146-155, 2007 | 83 | 2007 |

Diffusion: Calculating E cient Parallel Programs Z Hu, M Takeichi, H Iwasaki Partial Evaluation and Semantics-Based Program Manipulation PEPM’99, 85, 1999 | 61 | 1999 |

Entering text with a four-button device K Tanaka-Ishii, Y Inutsuka, M Takeichi COLING 2002: The 19th International Conference on Computational Linguistics, 2002 | 59 | 2002 |

The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer A Morihata, K Matsuzaki, Z Hu, M Takeichi ACM SIGPLAN Notices 44 (1), 177-185, 2009 | 56 | 2009 |

Bidirectional interpretation of XQuery D Liu, Z Hu, M Takeichi Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007 | 55 | 2007 |

Make it practical: A generic linear-time algorithm for solving maximum-weightsum problems I Sasano, Z Hu, M Takeichi, M Ogawa ACM SIGPLAN Notices 35 (9), 137-149, 2000 | 52 | 2000 |

Supporting parallel updates with bidirectional model transformations Y Xiong, H Song, Z Hu, M Takeichi International Conference on Theory and Practice of Model Transformations …, 2009 | 48 | 2009 |

Synchronizing concurrent model updates based on bidirectional transformation Y Xiong, H Song, Z Hu, M Takeichi Software & Systems Modeling 12 (1), 89-104, 2013 | 46 | 2013 |

An accumulative parallel skeleton for all Z Hu, H Iwasaki, M Takeichi European Symposium on Programming, 83-97, 2002 | 45 | 2002 |

Parallel skeletons for manipulating general trees K Matsuzaki, Z Hu, M Takeichi Parallel Computing 32 (7-8), 590-603, 2006 | 39 | 2006 |