| Bidirectional transformations: A cross-discipline perspective K Czarnecki, JN Foster, Z Hu, R Lämmel, A Schürr, JF Terwilliger International Conference on Theory and Practice of Model Transformations …, 2009 | 331 | 2009 |
| 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 | 207 | 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-2), 89-118, 2008 | 172 | 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 | 144 | 2007 |
| Deriving structural hylomorphisms from recursive definitions Z Hu, H Iwasaki, M Takeichi ACM Sigplan Notices 31 (6), 73-82, 1996 | 125 | 1996 |
| Bidirectionalizing graph transformations S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010 | 123 | 2010 |
| Tupling calculation eliminates multiple data traversals Z Hu, H Iwasaki, M Takeichi, A Takano ACM Sigplan Notices 32 (8), 164-175, 1997 | 121 | 1997 |
| A library of constructive skeletons for sequential style of parallel programming K Matsuzaki, H Iwasaki, K Emoto, Z Hu Proceedings of the 1st international conference on Scalable information …, 2006 | 110 | 2006 |
| An algebraic approach to bi-directional updating SC Mu, Z Hu, M Takeichi Asian Symposium on Programming Languages and Systems, 2-20, 2004 | 105 | 2004 |
| 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 | 104 | 2009 |
| A calculational fusion system HYLO Y Onoue, Z Hu, H Iwasaki, M Takeichi Algorithmic Languages and Calculi, 76-106, 1997 | 100 | 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 |
| Formal derivation of efficient parallel programs by construction of list homomorphisms Z Hu, H Iwasaki, M Takechi ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (3), 444-461, 1997 | 80 | 1997 |
| Supporting runtime software architecture: A bidirectional-transformation-based approach H Song, G Huang, F Chauvel, Y Xiong, Z Hu, Y Sun, H Mei Journal of Systems and Software 84 (5), 711-723, 2011 | 77 | 2011 |
| 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 | 77 | 2007 |
| Feature-based classification of bidirectional transformation approaches S Hidaka, M Tisi, J Cabot, Z Hu Software & Systems Modeling 15 (3), 907-928, 2016 | 72 | 2016 |
| GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations S Hidaka, Z Hu, K Inaba, H Kato, K Nakano 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 68 | 2011 |
| BiGUL: a formally verified core language for putback-based bidirectional programming HS Ko, T Zan, Z Hu Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016 | 66 | 2016 |
| Diffusion: Calculating E cient Parallel Programs Z Hu, M Takeichi, H Iwasaki Partial Evaluation and Semantics-Based Program Manipulation PEPM’99, 85, 1999 | 58 | 1999 |
Masato TakeichiUniversity of Tokyo確認したメール アドレス: acm.org
