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 | 220 | 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 | 186 | 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 | 154 | 2007 |
Deriving structural hylomorphisms from recursive definitions Z Hu, H Iwasaki, M Takeichi ACM Sigplan Notices 31 (6), 73-82, 1996 | 131 | 1996 |
Tupling calculation eliminates multiple data traversals Z Hu, H Iwasaki, M Takeichi, A Takano ACM Sigplan Notices 32 (8), 164-175, 1997 | 127 | 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 | 120 | 2009 |
An algebraic approach to bi-directional updating SC Mu, Z Hu, M Takeichi Asian Symposium on Programming Languages and Systems, 2-20, 2004 | 112 | 2004 |
An injective language for reversible computation SC Mu, Z Hu, M Takeichi International Conference on Mathematics of Program Construction, 289-313, 2004 | 102 | 2004 |
A calculational fusion system HYLO Y Onoue, Z Hu, H Iwasaki, M Takeichi Algorithmic Languages and Calculi, 76-106, 1997 | 101 | 1997 |
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 | 88 | 2007 |
Entering text with a four-button device K Tanaka-Ishii, Y Inutsuka, M Takeichi COLING 2002: The 19th International Conference on Computational Linguistics, 2002 | 63 | 2002 |
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 |
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 | 57 | 2009 |
Bidirectional interpretation of XQuery D Liu, Z Hu, M Takeichi Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007 | 56 | 2007 |
Synchronizing concurrent model updates based on bidirectional transformation Y Xiong, H Song, Z Hu, M Takeichi Software & Systems Modeling 12 (1), 89-104, 2013 | 53 | 2013 |
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 International Conference on Theory and Practice of Model Transformations …, 2009 | 49 | 2009 |
An accumulative parallel skeleton for all Z Hu, H Iwasaki, M Takeichi European Symposium on Programming, 83-97, 2002 | 45 | 2002 |
Towards automatic parallelization of tree reductions in dynamic programming K Matsuzaki, Z Hu, M Takeichi Proceedings of the eighteenth annual ACM Symposium on Parallelism in …, 2006 | 39 | 2006 |