| Bidirectional Transformations: A Cross-Discipline Perspective: GRACE Meeting Notes, State of the Art, and Outlook K Czarnecki, JN Foster, Z Hu, R Lämmel, A Schürr, JF Terwilliger Theory and Practice of Model Transformations: Second International …, 2009 | 377 | 2009 |
| Towards automatic model synchronization from model transformations Y Xiong, D Liu, Z Hu, H Zhao, M Takeichi, H Mei Proceedings of the 22nd IEEE/ACM international conference on Automated …, 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 | 186 | 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 | 165 | 2007 |
| Deriving structural hylomorphisms from recursive definitions Z Hu, H Iwasaki, M Takeichi ACM Sigplan Notices 31 (6), 73-82, 1996 | 141 | 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 | 137 | 2010 |
| 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 | 131 | 2009 |
| Tupling calculation eliminates multiple data traversals Z Hu, H Iwasaki, M Takeichi, A Takano ACM Sigplan Notices 32 (8), 164-175, 1997 | 130 | 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 | 119 | 2006 |
| 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 | 114 | 2011 |
| An algebraic approach to bi-directional updating SC Mu, Z Hu, M Takeichi Programming Languages and Systems: Second Asian Symposium, APLAS 2004 …, 2004 | 109 | 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 | 107 | 1997 |
| Feature-based classification of bidirectional transformation approaches S Hidaka, M Tisi, J Cabot, Z Hu Software & Systems Modeling 15, 907-928, 2016 | 106 | 2016 |
| An injective language for reversible computation SC Mu, Z Hu, M Takeichi Mathematics of Program Construction: 7th International Conference, MPC 2004 …, 2004 | 105 | 2004 |
| 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 | 98 | 2007 |
| Parallelization in calculational forms Z Hu, M Takeichi, WN Chin Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998 | 96 | 1998 |
| 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 | 90 | 2016 |
| 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 | 90 | 1997 |
| 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 | 74 | 2011 |
| Maintaining invariant traceability through bidirectional transformations Y Yu, Y Lin, Z Hu, S Hidaka, H Kato, L Montrieux 2012 34th International Conference on Software Engineering (ICSE), 540-550, 2012 | 66 | 2012 |
Masato TakeichiUniversity of Tokyo在 acm.org 的电子邮件经过验证
