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

A programmable editor for developing structured documents based on bidirectional transformations Z Hu, SC Mu, M Takeichi Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004 | 187 | 2004 |

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

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

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 | 129 | 2009 |

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

An algebraic approach to bi-directional updating SC Mu, Z Hu, M Takeichi Programming Languages and Systems: Second Asian Symposium, APLAS 2004 …, 2004 | 111 | 2004 |

An injective language for reversible computation SC Mu, Z Hu, M Takeichi Mathematics of Program Construction: 7th International Conference, MPC 2004 …, 2004 | 105 | 2004 |

A calculational fusion system HYLO Y Onoue, Z Hu, H Iwasaki, M Takeichi Algorithmic Languages and Calculi: IFIP TC2 WG2. 1 International Workshop on …, 1997 | 100 | 1997 |

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

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

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

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

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 | 61 | 2009 |

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

Bidirectional interpretation of XQuery D Liu, Z Hu, M Takeichi Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007 | 56 | 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 | 53 | 2000 |

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

An accumulative parallel skeleton for all Z Hu, H Iwasaki, M Takeichi Programming Languages and Systems: 11th European Symposium on Programming …, 2002 | 45 | 2002 |

Calculating accumulations Z Hu, H Iwasaki, M Takeichi New Generation Computing 17, 153-173, 1999 | 41 | 1999 |