| 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 | 352 | 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 | 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 |
| 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 | 130 | 2010 |
| 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 |
| 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 | 113 | 2006 |
| 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 |
| 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 | 97 | 2011 |
| Parallelization in calculational forms Z Hu, M Takeichi, WN Chin Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998 | 92 | 1998 |
| Feature-based classification of bidirectional transformation approaches S Hidaka, M Tisi, J Cabot, Z Hu Software & Systems Modeling 15 (3), 907-928, 2016 | 91 | 2016 |
| 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 |
| 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 | 84 | 1997 |
| 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 | 78 | 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 | 70 | 2011 |
| Generating synchronization engines between running systems and their model-based views H Song, Y Xiong, F Chauvel, G Huang, Z Hu, H Mei International Conference on Model Driven Engineering Languages and Systems …, 2009 | 61 | 2009 |
Masato TakeichiUniversity of Tokyo確認したメール アドレス: acm.org
