$BH/I=O@J8(B:

$B1Q8lHG(B
The documents distributed here have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
$B::FIIU$-9q:]O@J8!&;(;oO@J8(B - $B$=$NB>$NO@J8(B

$B::FIIU$-9q:]O@J8!&;(;oO@J8(B

    2020

  1. Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu, Programmable View Update Strategies on Relations , 46th International Conference on Very Large Data Bases (VLDB 2020), Tokyo, Japan, August 31 - September 4, 2020.

  2. Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu, Question Selection for Interactive Program Synthesis , 41st ACM-SIGPLAN Symposium on Programming Language Design and Implementation (PLDI 2020), June 15-20, 2020.

  3. Kanae Tsushima, Bach Nguyen Trong, Robert Glück and Zhenjiang Hu, An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update , 15th International Symposium on Functional and Logic Programming (FLOPS 2020), Japan, 2020.

  4. Yongzhe Zhang, Ariful Azad, Zhenjiang Hu, FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence , SIAM Conference on Parallel Processing for Scientific Computing (PP 2020), Seatle, Washington, United States, February 13-15, 2020.

  5. Zirun Zhu, Hsiang-Shang Ko, Yongzhe Zhang, Pedro Martins, Joao Saraiva, Zhenjiang Hu, Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars , New Generation Computing, to appear.

    6. 2019

  6. Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi, Model-Driven Design of City Spaces via Bidirectional Transformations IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), Munich, Germany, September 15-20, 2019.

  7. Ludovic Capelli, Zhenjiang Hu, Timothy Zakianc, Nick Brownd, Mark Bull, iPregel: Vertex-centric Programmability vs Memory Efficiency and Performance, Why Choose? , Parallel Computing, Vol. 86, August 2019, 45-56.

  8. Yongzhe Zhang, Zhenjiang Hu, Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2019), Rio de Janeiro, Brizil, May 20-24, 2019.

  9. Timothy A. K. Zakian, Ludovic A. R. Capelli, Zhenjiang Hu, Incrementalization of Vertex-Centric Programs 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2019), Rio de Janeiro, Brizil, May 20-24, 2019.

  10. Chunmiao Li, Yang Cao, Zhenjiang Hu, Masatoshi Yoshikawa, Blockchain-based Bidirectional Updates on Fine-grained Medical Data , First International Workshop on Blockchain and Data Management (BlockDM 2019), Macau SAR, China, Apr 8, 2019.

  11. Yijun Yu, Arosha K. Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi A. Muller, John Mylopoulos, Bashar Nuseibeh (Eds.), Engineering Adaptive Software Systems , Communications of NII Shonan Meetings, Springer, 2019, ISBN 978-981-13-2184-9.

  12. Lionel Montrieux, Naoyasu Ubayashi, Tianqi Zhao, Zhi Jin, Zhenjiang Hu, Bidirectional Transformations for Self-Adaptive Systems , Engineering Adaptive Software Systems, Communications of NII Shonan Meetings, Springer, 2019. pp. 95-114.

  13. Soichiro Hidaka, Zhenjiang Hu, Marin Litoiu, Lin Liu, Patrick Martin, Xin Peng, Guiling Wang, Yijun Yu, Design and Engineering of Adaptive Software Systems , Engineering Adaptive Software Systems, Communications of NII Shonan Meetings, Springer, 2019. pp. 1-33.

  14. Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi, POET: Privacy on the Edge with Bidirectional Data Transformations, IEEE International Conference on Pervasive Computing and Communications (PerCom 2019), March 11-15, 2019, Kyoto, Japan.

  15. Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Makoto Onizuka, Masatoshi Yoshikawa, Controlling and Sharing Distributed Data for Implementing Service Alliance Transformations, Second Workshop on Software Foundations for Data Interoperability (SFDI 2019), February 27, 2019, Kyoto University, Japan.

  16. Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida Zhenjiang Hu, Towards Bidirectional Synchronization between Communicating Processes and Session Types Second Workshop on Software Foundations for Data Interoperability (SFDI 2019), February 27, 2019, Kyoto University, Japan.

    17. 2018

  17. Xiao He, Zhenjiang Hu, Putback-based Bidirectional Model Transformations, 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018), Lake Buena Vista, Florida, United States, Gothenburg, Sweden, November 4-9, 2018.

  18. Ludovic Capelli, Timothy Zakian, Zhenjiang Hu, iPregel: A Combiner-Based In-Memory Shared-Memory Vertex-Centric Framework , Eleventh International Workshop on Parallel Programming Models and Systems Software for High-End Computing (P2S2 2018), Oregon, August 13, 2018.

  19. Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi, On Early Statistical Requirements Validation of Cyber-Physical Space Systems , 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018), Gothenburg, Sweden, May 27, 2018.

  20. Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu and Hideya Iwasaki, Optimizing Declarative Parallel distributed Graph Processing by using Constraint Solvers , Fourteenth International Symposium on Functional and Logic Programming (FLOPS 2018), Nagoya, Japan, 9-11 May, 2018.

  21. Zhenjiang Hu, Hsiang-Shang Ko, Principles and practice of bidirectional programming in BiGUL , Lecture Notes in International Summer School on Bidirectional Transformations (BX School 2016), Oxford, LNCS 9715, 2018.

  22. Adrien Duchene, Hugues Marchal, Zhenjiang Hu, Pierre Yves Schobbens, A Lightweight Data Sharing System based on Bidirectional Transformations (Experience paper), Seventh International Workshop on Bidirectional Transformations (BX 2018), Nice, France, April 10, 2018.

  23. Hsiang-Shang Ko, Zhenjiang Hu, An Axiomatic Basis for Bidirectional Programming , 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), Los Angeles, California, United States, Januray 8-13, 2018.

    24. 2017

  24. Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu, Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access , 15th Asian Symposium on Programming Languages and Systems (APLAS 2017), Suzhou, China, November 27-29, 2017.

  25. Xiao He, Zhenjiang Hu, Yi Liu, Towards Variability Management in Bidirectional Model Transformation , 41st IEEE Annual Computer Software and Applications Conference, (COMPSAC 2017), Turin, Italy, July 4-8, 2017. pp.224-243.

  26. Yijun Yu, Haruhiko Kaiya, Nobukazu Yoshioka, Zhenjiang Hu, Hironori Washizaki, Yingfei Xiong, Amin Hosseinian Far, Goal Modelling for Security Problem Matching and Pattern Enforcement , International Journal of Secure Software Engineering, 8(3): 42-57, July, 2017.

  27. Le Dec Tung, Zhenjiang Hu, Towards Systematic Parallelization of Graph Transformations over Pregel , International Journal of Parallel Programming (IJPP), 45(2):320-339, 2017.

    28. 2016

  28. Tianqi Zhao, Tao Zan, Haiyan Zhao, Zhenjiang Hu, Zhi Jin, Integrating Goal Model into Rule-based Adaptation , 23rd Asia-Pacific Software Engineering Conference (APSEC 2016), Hamilton, New Zealand, December 6-9, 2016. pp.289-296.

  29. Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, Joao Saraiva, Zhenjiang Hu, Parsing and Reflective Printing, Bidirectionally, 9th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2016), Amsterdam, October 31 - November 1, 2016. pp.2-14.

  30. Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihara, Hideya Iwasaki, Think Like a Vertex, Behave Like a Function! -- A Functional DSL for Vertex-centric Big Graph Processing --, 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016), Nara, Japan, September 18-21, 2016. pp.200-213.

  31. Weize Zhao, Haiyan Zhao, Zhenjiang Hu, A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming , Sixth International Model-Driven Requirements Engineering Workshop (MoDRE), Peking, China, September 12, 2016. pp.170-179.

  32. Tao Zan, Hugo Pacheco, Hsiang-Shang Ko, Zhenjiang Hu, BiFluX: A Bidirectional Functional Update Language for XML, JSSST Computer Software, 33(4): 93-115, 2016.

  33. Chong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu, Let High-level Graph Queries Be Parallel Efficient: An Approach Over Structural Recursion On Pregel, IPSJ Transactions on Programming, Vol.24, No.6, 2016. pp.928-936.

  34. Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu, Transforming Programs between APIs with Many-to-Many Mappings, 30th European Conference on Object-Oriented Programming (ECOOP 2016), Rome, Italy, July 17-22, 2016. pp.25:1-25:26.

  35. Xiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu, Jianjun Zhao, Rule-Directed Code Clone Synchronization, 24th IEEE International Conference on Program Comprehension (ICPC 2016), Austin, Texas, USA, May 16-17, 2016. pp.1-10.

  36. Robin Dupuis, Kevin Colson, Lionel Montrieux, Zhenjiang Hu, Seastian Uchitel, Pierre-Yves Schobbens, Reusable Self-Adaptation through Bidirectional Programming, 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2016) Austin, Texas, USA, May 16-17, 2016. pp.4-15.

  37. Tao Zan, Li Liu, Hsiang-Shang Ko, Zhenjiang Hu, Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views , 5th International Workshop on Bidirectional Transformations (BX 2016), as part of ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016. pp.77-89.

  38. Chong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu, Derivation of Parallel-Efficient Structural Recursive Functions from Declarative Graph Queries (Short Paper/Poster), 31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016), Pisa, Italy, April 4-8, 2016. pp.1922-1925.

  39. Xiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu Liu, Hao Zhong, Jianjun Zhao, Supporting Selective Undo for Refactoring, 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016), Osaka, Japan, March 14-18, 2016. pp.13-23.

  40. Hsiang-Shang Ko, Tao Zan, Zhenjiang Hu, BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming, ACM SIGPLAN 2016 Workshop on Partial Evaluation and Program Manipulation (PEPM 2016), St. Petersburg, Florida, United States, January 18 - 19, 2016. pp.61-72.

  41. Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu, Feature-Based Classification of Bidirectional Transformation Approaches, Software and Systems Modeling, Springer, 15(3): 907-928, 2016.

    2015

  42. Zhenjiang Hu, John Hughes, Meng Wang, How Functional Programming Mattered, National Science Review, Oxford Journal, 2(3):349-270, 2015.

  43. Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, Joao Saraiva, Zhenjiang Hu, BiYacc: Roll Your Parser and Reflective Printer into One , 4th International Workshop on Bidirectional Transformations (BX 2015), L'Aquila, Italy, July 24, 2015. pp.43-50.

  44. Le Dec Tung, Zhenjiang Hu, Towards Systematic Parallelization of Graph Transformations over Pregel , International Journal of Parallel Programming (IJPP), to appear. (also appears in 8th International Symposium on High-level Parallel Programming and Applications (HLPP 2015), Pisa, Italy, July 2-3, 2015)

  45. Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco, A Clear Picture of Lens Laws, 12th International Conference on Mathematics of Program Construction (MPC 2015), Konigswinter, Germany, June 29 - July 1, 2015. pp.215-223.

  46. Montrieux Lionel, Zhenjiang Hu, Towards Attribute-Based Authorisation for Bidirectional Programming, 20th ACM Symposium on Access Control Models and Technologies (SACMAT 2015), Vienna, Austria, June 1-3, 2015. pp.185-196.

  47. Lichao Wang, Guoqiang Li, Zhenjiang Hu, Constructing Format-Preserving Printing from Syntax-Directed Definition, Science China Information Sciences, Springer, Vol. 58, No.11, 2015.pp. 1-14.

  48. Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco, The Essence of Bidirectional Programming, Science China Information Sciences, Springer, Vol.58, No.5, 2015. pp. 1--21.

  49. Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu, Feature-Based Classification of Bidirectional Transformation Approaches, Software and Systems Modeling, Springer, 2015. To appear.

  50. $BF|9b=!0lO:(B, Jean Bezivin, $B8U?69>(B, Frederic Jouault, $B!X%b%G%k6nF09)3X$N86M}$H1~MQ!Y(B(2)$B%b%G%k6nF09)3X$NM}O@$H4pK\86M}!J2r@bO@J8!K(B, $B%3%s%T%e!<%?%=%U%H%&%'%"(B, Vol.32, No.2, 2015. pp.63-78.

  51. Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang Hu, SWIN: Towards Type-Safe Java Program Adaptation between APIs, ACM SIGPLAN 2015 Workshop on Partial Evaluation and Program Manipulation (PEPM 2015), Mumbai, India, January 13-14, 2015. pp.91-102.

    2014

  52. Hugo Pacheco, Tao Zan, Zhenjiang Hu, BiFluX: A Bidirectional Functional Update Language for XML, 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014), Canterbury, UK, September 8-10, 2014.

  53. Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei, Interactive Inconsistency Fixing in Feature Modeling, Journal of Computer Science and Technology (JCST), Springer, Vol.19, No.4, 2014. (This is an extended version of the paper presented in MODELS 2010)

  54. Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu, Optimization for Iterative Queries on MapReduce, 40th International Conference on Very Large Data Base (VLDB 2014), Hanzhou, China, September 1-5, 2014. PVLDB 7(4), pp.241 - 252, 2013.

  55. Tao Zan, Hugo Pacheco, Zhenjiang Hu, Writing Bidirectional Model Transformations as Intentional Updates (NIER Track Paper), 36th International Conference on Software Engineering, New Idea and Emerging Results Track, (ICSE 2014 (NIER Track)), India, May 31-June 7, 2014.

  56. Zhenjiang Hu, Hugo Pacheco, Sebastian Fischer, Validity Checking of Putback Transformations in Bidirectional Programming (Invited Paper), 19th Interntional Symposium on Formal Methods (FM 2014), Singapore, May 12-16, 2014.

  57. Hugo Pacheco, Zhenjiang Hu, Sebastian Fischer, Monadic Combinators for ``Putback'' Style Bidirectional Programming , ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation (PEPM 2014), San Diego, California, USA, January 20-21, 2014.

  58. Frederic Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, Zhenjiang Hu, Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem , 29th ACM Symposium On Applied Computing (SAC 2014), Gyeongju, Korea, March 24 - 28, 2014.

  59. Yu Liu, Kento Emoto, Zhenjiang Hu, A Generate-Test-Aggregate Parallel Programming Library for Systematic Parallel Programming , Parallel Computing, Elservier, Volume 40, Issue 2, 2014. pp. 116-135.

  60. Bernhard Hoisl, Soichiro Hidaka, Zhenjiang Hu, Towards Co-Evolution in Model-driven Development via Bidirectional Higher-Order Transformation (Position Paper), 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014), Lisbon, Portugal, January 7-9, 2014.

  61. $B2CF#(B $B90G7(B, $B8U(B $B?69>(B, $BF|9b(B $B=!0lO:(B, $B>>ED(B $BOB9'(B, $B9bCLohO@!'APJ}8~JQ49$N86M}$H, $B%3%s%T%e!<%?%=%U%H%&%(%"(B, 31(2), pp. 44-56, 2014.

  62. $BN-(B $B1+(B, $B9>K\(B $B7rEM(B, $B>>:j(B $B8x5*(B, $B8U(B $B?69>(B, Accumulative Computation on MapReduce , $B>pJs=hM}3X2qO@J8;o(B, $B%W%m%0%i%_%s%0(B, Vol.1, 2014. pp.18-27.

    63. 2013
  63. Janis Voigtlander, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang, Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins, Journal of Functional Programming, Vol. 23, Issue 05, 2013. pp. 515-551.

  64. Le Dec Tung, Nguyen-Van Quyet, Zhenjiang Hu, Efficient Query Evaluation on Distributed Graphs with Hadoop Environment , 4th International Symposium on Information and Communication Technology (SoICT 2013), Da Nang, Vietnam, December 5-6, 2013.

  65. Nguyen-Van Quyet, Le Dec Tung, Zhenjiang Hu, Minimizing Data Transfers for Regular Reachability Queries on Distributed Graphs , 4th International Symposium on Information and Communication Technology (SoICT 2013), Da Nang, Vietnam, December 5-6, 2013.

  66. Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Structural Recursion for Querying Ordered Graphs, 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013), Boston, Massachusetts; September 25-27, 2013. pp.305-318.

  67. Qi Wang, Meixian Chen, Yu Liu, Zhenjiang Hu, Towards Systematic Parallel Programming of Graph Problems via Tree Decomposition and Tree Parallelism, 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC 2013), Boston, Massachusetts, September 23, 2013.

  68. Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano, A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches, 15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013), Madrid, Spain, September 16-18, 2013. pp.73-84.

  69. $BF|9b=!0lO:(B, Jean Bezivin, $B8U?69>(B, Frederic Jouault, $B!X%b%G%k6nF09)3X$N86M}$H1~MQ!Y(B(1) $B%b%G%k6nF09)3X$NNr;K$HGX7J(B $B!J2r@bO@J8!K(B, $B%3%s%T%e!<%?%=%U%H%&%'%"(B, 30(3):25-44, 2013$BG/(B8$B7n(B.

  70. Joeffrey Legaux, Zhenjiang Hu, Frederic Loulergue, Kiminori Matsuzaki, Julien Tesson, Programming with BSP Homomorphism, 19th International European Conference on Parallel and Distributed Computing (Euro-Par 2013), Aachen, Germany, August 26-30, 2013. pp.446-457.

  71. Lionel Montrieux, Yijun Yu, Michel Wermelinger, Zhenjiang Hu, Issues in Representing Domain-Specific Concerns in Model-Driven Engineering, 5th Workshop on Modeling in Software Engineering (MiSE 2013), San Francisco, CA, May 18th - 19th, 2013.

  72. Bo Wang, Zhenjiang Hu, Qiang Sun, Haiyan Zhao, Yingfei Xiong, Wei Zhang, Hong Mei, Supporting Feature Model Refinement with Updatable View, Frontiers of Computer Science, Volume 7, Issue 2, pp 257-271, April 2013.

  73. Yu Liu Kento Emoto, Zhenjiang Hu, A Generate-Test-Aggregate Parallel Programming Library, 2013 International Workshop on Programming Models and Applications for Multicores and Manycores (PMAM 2013), conjunction with PPoPP 2013, Shenzhen, China, February 23, 2013.

  74. Dongxi Liu, Zhenjiang Hu, Masato Takeichi, An Expressive Bidirectional Transformation Language for XQuery View Update, Progress in Informatics, Vol.10, 2013. pp.89-130.

  75. Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations, Progress in Informatics, Vol.10, 2013. pp.131-148.

  76. Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu, Refactoring Pattern Matching, Science of Computer Programming, Vol.18, No.11, 2013. pp.2216-2242.

  77. Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi, Synchronizing Concurrent Model Updates Based on Bidirectional Transformation. Software and Systems Modeling, Springer, Vol.12, No.1, 2013. pp.89-104.

    2012

  78. Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara, Context-Preserving XQuery Fusion, Mathematical Structures in Computer Science (MSCS), Cambridge University Press, Accepted, 2012.

  79. Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi, Manipulating Accumulative Functions by Swapping Call-time and Return-time Computations, Journal of Functional Programming, Vol. 22, No. 3, pp. 275-299, 2012.

  80. Zhenjiang Hu, Juan de Lara (Eds): Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. LNCS 7307, Springer 2012.

  81. Kento Emoto, Sebastian Fischer, Zhenjiang Hu, Filter-embedding Semiring Fusion for Programming with MapReduce, Formal Aspects of Computing, Vol. 24, No.4-6, Springer, 2012. pp.623-645.

  82. Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux, Maintaining Invariant Traceability through Bidirectional Transformations, 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, Kune 2-9, 2012. pp.540-550.

  83. Kento Emoto, Sebastian Fischer, Zhenjiang Hu, Generate, Test, and Aggregate --- A Calculation-based Framework for Systematic Parallel Programming with MapReduce, 22nd European Symposium on Programming (ESOP 2012), Tallinn, Estonia, March 24 - April 1, 2012. pp. 254-273.

  84. Hugo Pacheco, Alcino Cunha , Zhenjiang Hu, Delta Lenses over Inductive Types, First International Workshop on Bidirectional Transformations (BX 2012), Tallinn, Estonia, March 25, 2012. Extended version appears in Electronic Communications of the EASST, Volume 49, 2012. 17pp.

  85. $BCfLn(B $B7=2p(B, $BF|9b(B $B=!0lO:(B, $B8U(B $B?69>(B, $B0pMU(B $B0l9@(B, $B2CF#(B $B90G7(B, $BLOJo$K4p$E$/%0%i%U%9%-!<%^$rMxMQ$7$?%S%e!<99?72DG=@-H=Dj(B, $B%3%s%T%e!<%?%=%U%H%&%(%"(B, 29$B4,(B2$B9f(B,2012. pp. 174-191.

    2011

  86. Zhenjiang Hu, Andy Schurr, Perdita Stevens, James Terwilliger, Dagstuhl Seminar on Bidirectional Transformations, SIGMOD Record, Vol.40, No.1 2011. pp.35-39.

  87. Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, GRoundTram: An IntegratEd Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper), 26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011), Oread, Lawrence, Kansas, USA, November 6-10, 2011.

  88. Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano, Marker-Directed Optimization of UnCAL Graph Transformations, 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011), Odense, Denmark, July 18-20, 2011.

  89. Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Graph-Transformation Verification using Monadic Second-Order Logic, 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011), Odense, Denmark, July 20-22, 2011.

  90. Yu Liu, Zhenjiang Hu, Kiminori Matsuzaki, Towards Systematic Parallel Programming over MapReduce, 17th International European Conference on Parallel and Distributed Computing (EuroPar 2011), Bordeaux, France, August 29 - September 2, 2011.

  91. Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Toward bidirectionalization of ATL with GRoundTram, International Conference on Model Transformation (ICMT 2011), Zurich, Switzerland, June 27-28, 2011. LNCS 6707. pp.138-151.

  92. Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Yanchun Sun, Hong Mei, Supporting Runtime Software Architecture: A Bidirectional-Transformation-Based Approach, Journal of Systems and Software, Elsevier, Volume 84, Issue 5, May 2011. pp. 711-723.

    2010

  93. Louis Gesbert, Zhenjiang Hu, Frederic Loulergue, Kiminori Matsuzaki, Julien Tesson, Systematic Development of Correct Bulk Synchronous Parallel Programs, 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2010), Wuhan, China, 8-11, December 2010.

  94. Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara, Context-Preserving XQuery Fusion, Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, November 22 - December 1, 2010.

  95. Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei, A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models, ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10), Oslo, Norway, October 3-8, 2010.

  96. Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda, Bidirectionalizing Graph Transformations, 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010), Baltimore, Maryland, USA, September 27-29, 2010.

  97. Janis Voigtlander, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang, Combining Syntactic and Semantic Bidirectionalization, 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010), Baltimore, Maryland, USA, September 27-29, 2010.

  98. Bo Wang, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei, Tolerating Inconsistency in Feature Models, 3rd Workshop on Living with Inconsistencies in Software Development (LWI'10), co-located with ASE 2010, Antwerp, Belgium September 21, 2010.

  99. Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi, Generators-of-generators Library with Optimization Capabilities in Fortress, 16th International European Conference on Parallel and Distributed Computing (EuroPar 2010), Ischia, Italy, August 31- September 3, 2010.

  100. Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frederic Loulergue, Masato Takeichi, Prorgam Calculation in Coq, Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST 2010), Quebec City, Canada, 23-26 June 2010.

  101. Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu, Gradual Refinement: Blending Pattern Matching with Data Abstraction, 10th International Conference on Mathematics of Program Construction (MPC 2010), Quebec City, Canada, 21-23 June 2010.

  102. Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi, Grammar-based Approach to Invertible Programs, 19th European Symposium on Programming (ESOP 2010), Paphos, Cyprus, March 22-26, 2010. LNCS 6012, pp.448-467.

    2009

  103. Zhenjiang Hu (Ed.): Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings. Lecture Notes in Computer Science 5904 Springer 2009.

  104. Keisuke Nakano, Zhenjiang Hu, Masato Takeichi, Consistent Web Site Updating based on Bidirectional Transformation, International Journal on Software Tools for Technology Transfer (STTT), Vol.11, No.6, 2009. pp.453-468. (This is an extended version of the paper presented in 10th IEEE International Symposium on Web Site Evolution (WSE 2008), Beijing, China, October 3-4, 2008. )

  105. Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei, Generating Synchronization Engines between Running Systems and their Model-Based Views, Proceedings of the 4th Workshop on Models@run.time, held at the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS'09) , Denver, USA, October 5th, 2009. LNCS 6002, 140-154. (Best Paper)

  106. Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei, Supporting Automatic Model Inconsistency Fixing, The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009), Amsterdam, The Netherlands, August 24-28 2009. pp.315-324.

  107. Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lammel, Andy Schurr, James F. Terwilliger, Bidirectional Transformations: A Cross-Discipline Perspective, International Conference on Model Transformation (ICMT 2009), ETH Zurich, Switzerland, June 29-July 3 2009. LNCS 5563, Springer. pp.260-283.

  108. Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi, Supporting Parallel Updates with Bidirectional Model Transformations, International Conference on Model Transformation (ICMT 2009), ETH Zurich, Switzerland, June 29-July 3 2009. pp.213-228. LNCS 5563, Springer.

  109. Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, A Compositional Approach to Bidirectional Model Transformation , New Ideas and Emerging Results Track of 31st International Conference on Software Engineering (ICSE 2009, NIER Track), Vancouver, Canada, May 16-24, 2009. pp.235-238.

  110. Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, The Third Homomorphism Theorem on Trees: Downward & Upward Lead to Divide-and-Conquer, The 36th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL 2009), Savannah, Georgia, USA, January 21-23, 2009. pp.177-185.

  111. $B?9H*L@>;!$>>:j8x5*!$8U?69>!$Ip;T@5?M!$(B $BJBNs%W%m%0%i%`$N8uJd@8@.$HE,9g@-8!::$K$h$kJBNs2=(B , $B>pJs=hM}3X2qO@J8;o(B, $B%W%m%0%i%_%s%0(B Vol.2(2), 2009. pp.132-143.

  112. Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi, Type-based Specialization of XML Transformations, ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM 2009), Savannah, Georgia, USA, January 19-20, 2009. pp.61-72.

  113. Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Keisuke Nakano, Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store, ACM SIGPLAN Workshop on Programming Language Techniques for XML (PLAN-X 2009), Savannah, Georgia, USA, January 14, 2009.

  114. Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Towards Compositional Approach to Model Transformations for Software Development, 24th Annual ACM Symposium on Applied Computing (SAC 2009, Software Engineering Track), Honolulu, Hawaii, USA, March 8-12, 2009. pp.468-475.

  115. $B>>ED0l9'(B, $B8U?69>(B, $BCfLn7=2p(B, $BIML>@?(B, $BIp;T@5?M(B, $BJd4X?t$N@8@.$K$h$kJ#@=$r4^$`%W%m%0%i%`$N<+F0APJ}8~2=(B , $B%3%s%T%e!<%?%=%U%H%&%(%"(B, Vol. 26, No. 2, 2009.

    2008

  116. Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Nobukazu Yoshioka, Enforcing a Security Pattern in Stakeholder Goal Models , 4th ACM Workshop on Quality of Protection (QoP 2008), Alexandria VA, USA, Oct. 27, 2008.

  117. Keisuke Nakano, Zhenjiang Hu, Masato Takeichi, Consistent Web Site Updating based on Bidirectional Transformation, 10th IEEE International Symposium on Web Site Evolution (WSE 2008), Beijing, China, October 3-4, 2008.

  118. Kiminori Matsuzaki, Zhenjiang Hu, Efficient Implementation of Tree Skeletons on Distributed-Memory Parallel Computers, Scalable Computing: Practice & Experience (SCPE), 2008. To appear.

  119. Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi, A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations, Higher-Order and Symbolic Computation (HOSC), Vol. 21, No. 1-2, Springer, June 2008. pp.89-118. (An extended version of the paper presented at ACM PEPM'04.)

  120. $B>>:j8x5*!$8U?69>!$Ip;T@5?M!$(B $B%j%9%H>e$N:GBg%^!<%/IU$1LdBj$r2r$/JBNs%W%m%0%i%`$NF3=P(B , $B>pJs=hM}3X2qO@J8;o(B, Vol.49, No.SIG3, PRO36. 2008. pp.16-27.

    2007
  121. Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei, Towards Automatic Model Synchronization from Model Transformations, 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), Atlanta, Georgia, November 5-9, 2007.

  122. Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi, Bidirectionalization Transformation based on Automatic Derivation of View Complement Functions, 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007), Freiburg, Germany, October 1-3, 2007.

  123. Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, Domain-Specific Optimization Strategy for Skeleton Programs, 13th International European Conference on Parallel and Distributed Computing (EuroPar 2007), IRISA, Rennes, France, August 28-31, 2007.

  124. Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi, A Compositional Framework for Developing Parallel Programs on Two Dimensional Arrays, International Journal of Parallel Programming (IJPP), Volume 35, Number 6, Springer, 2007. pp. 615-658.

  125. $BLnBK\7rEM(B, $B>>:j8x5*(B, $B8U?69>(B, $BIp;T@5?M(B, $BLZ%9%1%k%H%s$K$h$k(BXPath$B%/%(%j$NJBNs2=$H$=$NI>2A(B , $B%3%s%T%e!<%?%=%U%H%&%(%"(B, 24(3):51-62, 2007.

  126. Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, Automatic Inversion Generates Divide-and-Conquer Parallel Programs, ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007), San Diego, CA, USA, June 10-13, 2007. pp.146-155.

  127. Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi, A Web Service Architecture for Bidirectional XML Updating, Joint conference of the 9th Asia-Pacific Web Conference and the 8th International Conference on Web-Age Information Management (APWeb/WAIM 2007), Huangshan, China, June 16-18, 2007. pp.721-732.

  128. Dongxi Liu, Zhenjiang Hu, Masato Takeichi, Kazuhiko Kakehi, Hao Wang, A Java Library for Bidirectional XML Transformation, JSSST Computer Software, 24(2): 164-177, 2007.

  129. Dongxi Liu, Zhenjiang Hu, Masato Takeichi, Bidirectional Interpretation of XQuery, ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM 2007), Nice, France, January 15-16, 2007. pp.21-30.

    2006

  130. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, Towards Automatic Parallelization of Tree Reductions in Dynamic Programming, 18th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2006), Cambridge, MA, USA, July 30 - August 2, 2006. pp.39-48.

  131. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, Parallel Skeletons for Manipulating General Trees, Parallel Computing, Vol.32, No.7-8, Elsevier, 2006. pp.590-603.

  132. Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi, Program Optimizations and Transformations in Calculational Form, Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2005), Braga, Portugal, 4-7 July, 2005. (Slides), LNCS 4143, 2006. Springer. pp.139-164.

  133. Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions, European Conference on Parallel Computing (EuroPar 2006), Dresden, Germany, August 29 - September 2, 2006. LNCS 4128, Springer. pp.605-614.

  134. Akimasa Morihata Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi, Swapping Arguments and Results of Recursive Functions, 8th International Conference on Mathematics of Program Construction (MPC 2006), Kuressaare, Estonia, 3-5 July 2006. LNCS 4014, Springer. pp.379-396.

  135. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi, Bidirectionalizing Tree Transformation Languages: A Case Study, JSSST Computer Software, Vol.23, No.2, 2006. pp.129-141.

  136. Kiminori Matsuzaki, Kento Emoto, Hideya Iwasaki, Zhenjiang Hu, A Library of Constructive Skeletons for Sequential Style of Parallel Programming (Invited Paper), First International Conference on Scalable Information Systems (InfoScale 2006), Hong Kong, May 29 - June 1, 2006. Vol. 152 of ACM International Conference Proceeding Series.

  137. $B>>ED0l9'!$Bg@nFAG7!$LnB9,!$d*0lI'!$8U?69>!$Ip;T@5?M!$(B $BLZ>e$NAPJ}8~JQ49$rMxMQ$7$?%U%!%$%k%^%M!<%8%c$N , $B>pJs=hM}3X2qO@J8;o(B, Vol.47, No.SIG 2 (PRO28). 2006. pp.84-98.

    2005

  138. Dongxi Liu, Zhenjiang Hu, Masato Takeichi, An Environment for Maintaining Computation Dependency in XML Documents, ACM Symposium on Document Engineering (DocEng 2005), Bristol, United Kingdom, 2-4 November 2005. pp.42-51.

  139. Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu, Maximum Marking Problems with Accumulative Weight Functions, International Colloquium on Theoretical Aspects of Computing (ICTAC 2005), Hanoi, Vietnam, 17-21 October, 2005. LNCS 3722, Springer Verlag. pp.562-578.

  140. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi, Calculation Rules for Warming-up in Fusion Transformation, Sixth Symposium on Trends in Functional Programming (TFP 2005), Tallinn, Estonia, September 23-24, 2005.

  141. Akimasa Morihara Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi, IO Swapping Leads You There and Back Again, 7th Generative Programming and Component Engineering (GPCE'05) Young Researchers Workshop (GPCE_YRW05), Tallinn, Estonia, September 27, 2005.

  142. Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi, iDocument Builder: An Environment for Building XML-Based Interactive Teaching Materials, The 3nd International Conference on Education and Information Systems, Technologies and Applications (EISTA 2005), Orlando, Florida, 14-17 July, 2005. pp.423-428.

  143. $BL@@P(B $BNI $B>>:j(B $B8x5*(B, $B4d:j(B $B1Q:H(B, $Bd*(B $B0lI'(B, $B8U(B $B?69>(B, $B:GE,2=5!9=$r;}$D(B C++ $BJBNs%9%1%k%H%s%i%$%V%i%j(B, $B%3%s%T%e!<%?%=%U%H%&%(%"(B, Vol.22, No.3, 2005. pp.214-222.

  144. $B>>ED(B $B0l9'(B, $Bd*0lI'(B, $B8U(B $B?69>(B, $BIp;T(B $B@5?M(B, $B%G!<%?%^%$%K%s%0$N%"%k%4%j%:%`5-=R$rMF0W$K$9$k3HD%9TNs1i;;$NDs0F(B , $B>pJs=hM}3X2qO@J8;o(B ($B%H%i%s%6%/%7%g%s(B), Vol.46, $B%W%m%0%i%_%s%0(B (PRO26), 2005. pp.1-15.

  145. Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi, Systematic Derivation of Tree Contraction Algorithms, Parallel Processing Letters, Vol. 15, No. 3, 2005. pp.321-336.

    2004

  146. Zhenjiang Hu, Kento Emoto, Shin-Cheng Mu, Masato Takeichi, Bidirectionalizing Tree Transformations, Workshop on New Approaches to Software Construction (WNASC 2004), The University of Tokyo, Komaba, Tokyo, Japan, September 13-14, 2004. pp.3-22.

  147. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi, An Algebraic Approach to Bidirectional Updating, Second ASIAN Symposium on Programming Languages and Systems (APLAS 2004), Taipei, Taiwan, November 4-6, 2004. LNCS 3302, Springer Verlag. pp.2-18.

  148. Dana Na Xu, Siau-Cheng Khoo, Zhenjiang Hu, PType System : A Featherweight Parallelizability Detector, Second ASIAN Symposium on Programming Languages and Systems (APLAS 2004), Taipei, Taiwan, November 4-6, 2004. LNCS 3302, Springer Verlag. pp.197-212.

  149. Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi, A Fusion-Embedded Skeleton Library, International Conference on Parallel and Distributed Computing (EuroPar 2004), Pisa, Italy, 31st August - 3rd September, 2004. LNCS 3149, Spinger Verlag. pp.644-653 .

  150. Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi, A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations, ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM'04), Verona, Italy, August 24 - 25, 2004. ACM Press. pp.178-189.

  151. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi, An Injective Language for Reversible Computation, Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, 12-14 July, 2004. LNCS 3125, Springer Verlag. pp. 289-313.

  152. Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi, Systematic Derivation of Tree Contraction Algorithms, 4th International Workshop on Constructive Methods for Parallel Programming (CMPP 2004), Stirling, Scotland, UK, 14 July, 2004. pp. 109-124.

  153. $B2#;3(B $BE/O:(B, $B8U(B $B?69>(B, $BIp;T(B $B@5?M(B, $B7hDjO@E*(B2$B3,%Q%?!<%s$H%W%m%0%i%`JQ49$X$N1~MQ(B, $B%3%s%T%e!<%?%=%U%H%&%(%"(B, 21 (5): 71-76, 2004.

  154. Hideya Iwasaki, Zhenjiang Hu, A New Parallel Skeleton for General Accumulative Computations, International Journal of Parallel Programming (IJPP), 32 (5): 389-414, October 2004.

  155. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi, Deterministic Second-order Patterns, Information Processing Letters, Vol. 89, No.6, Elsevier, 2004. pp. 309-314.

    2003

  156. Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi, List Homomorphism with Accumulation, 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03), Lubeck, Germany. October 16-18, 2003. pp. 250-259.

  157. Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Iterative-free Program Analysis, 8th ACM SIGPLAN International Conference on Functional Programming, (ICFP 2003), Uppsala, Sweden: 25-29 August 2003. ACM Press. pp.111-123.

  158. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi, Deterministic Second-order Patterns and Its Application to Program Transformation, International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003) Uppsala, Sweden: 25-27 August 2003. pp. 165-178. Revised version appears in LNCS 3018, 2004. Springer Verlag. pp. 128-142.

  159. Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi, An Efficient Staging Algorithm for Binding-Time Analysis, International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003) Uppsala, Sweden: 25-27 August 2003. Revised version appears in LNCS 3018, 2004. Springer Verlag. pp. 106-107.

  160. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, Parallelization with Tree Skeletons, International Conference on Parallel and Distributed Computing (Euro-Par 2003), Klagenfurt, Austria, 26th - 29th August 2003. Lecture Notes in Computer Science 2790, Springer Verlag. pp.789-798. An extended version appears as Technical Report METR 2003-21, Department of Mathematical Informatics, University of Tokyo, 2003.

  161. $B;32,M5;J(B, $B8U(B $B?69>(B, $BIp;T(B $B@5?M(B, $B>.@n?p;K(B, $B%b%G%k8!::5;=Q$rMxMQ$7$?%W%m%0%i%`2r@O$N@8@.%D!<%k(B , $B>pJs=hM}3X2qO@J8;o(B, Vol.44, No. SIG13 (PRO 18), 2003. pp. 25-37.

    2002

  162. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi, A Compositional Framework for Mining Longest Ranges, 5th International Conference on Discovery Science (DS 2002), Lubeck, Germany, November 24-26, 2002. Lecture Notes in Computer Science 2534, Springer Verlag. pp.406-413.

  163. Zhenjiang Hu, Tomonari Takahashi, Hideya Iwasaki, Masato Takeichi, Segmented Diffusion Theorem (invited paper), 2002 IEEE International Conference on Systems, Man and Cybernetics (SMC 02), Hammamet, Tunisia, October 6-9, 2002. IEEE Press.

  164. Wei-Ngan Chin, Zhenjiang Hu, Towards a Modular Program Derivation via Fusion and Tupling, The First ACM SIGPLAN Conference on Generators and Components (GCSE/SAIG 2002), Pittsburgh, PA, USA, October 6-8, 2002. Affiliated with (PLI 2002). Lecture Notes in Computer Science 2487, Springer Verlag. pp.140-155.

  165. $B0KF#N4(B, $BEDCfE/O/(B, $B8U(B $B?69>(B, $BIp;T(B $B@5?M(B, $B$7$j$H$j%2!<%`$N?tM}E*2r@O(B , $B>pJs=hM}3X2qO@J8;o(B, Vol. 43, No.10, October 2002. pp.3012-3020.

  166. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, An Accumulative Parallel Skeleton for All , 11th European Symposium on Programming ( ESOP 2002), Grenoble, France, April 8 - 10, 2002. Lecture Notes in Computer Science 2305, Springer Verlag. pp.83-97.

  167. Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa, $BMxF@$N:GE,O"A[5,B'$r5a$a$k@~7A;~4V%"%k%4%j%:%`$NF3=P(B, $B%3%s%T%e!<%?%=%U%H%&%(%"(B, Vol.19, No.4 (2002), pp.39-44.

  168. $B2#;3(B $BE/O:(B, $B, $B8U(B $B?69>(B, $BIp;T(B $B@5?M(B, $BJQ49@oN,$N5-=R$K4p$E$/%W%m%0%i%`$N<+F0@8@.%7%9%F%`$N, $B>pJs=hM}3X2qO@J8;o(B, Vol. 43, No. SIG 3(PRO 14), pp. 62-77, March 2002.

  169. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi, Multidimensional Searching Trees with Minimum Attribute, $B%3%s%T%e!<%?%=%U%H%&%(%"(B, Vol.19, No.1, 2002. pp.22-28.

    2001

  170. $B, $B8U(B $B?69>(B, $BIp;T(B $B@5?M(B, $B>.@n?p;K(B, $B:GBg=E$_OBLdBj$N@~7A;~4V%"%k%4%j%:%`$NF3=P(B, $B%3%s%T%e!<%?%=%U%H%&%(%"(B, Vol. 18, No.5, 2001. pp.1-16.

  171. Isao Sasano, Zhenjiang Hu, Masato Takeichi, Generation of Efficient Programs for Maximum Multi-Marking Problems, ACM SIGPLAN Workshop on Semantics, Applications and Implementation of Program Generation ( SAIG'01), Firenze, Italy, September 6th, 2001. Lecture Notes in Computer Sciencce 2196, pp.72-91. Springer Verlag.

  172. Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi, Calculating a New Data Mining Algorithm for Market Basket Analysis, (Revised version of the paper presented at (PADL'00).) Journal of Functional and Logic Programming, October 2001.

  173. Raku Shirasawa, Zhenjiang Hu, Hideya Iwasaki, Diffusion after Fusion: Deriving Efficient Parallel Algorithms , The 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001), Monte Carlo Resort, Las Vegas, June 25 - 28, 2001. CSREA Press.

  174. Tomorani Takahashi, Hideya Iwasaki, Zhenjiang Hu, Efficient Parallel Skeletons for Nested Data Structures , The 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001), Monte Carlo Resort, Las Vegas, June 25 - 28, 2001. CSREA Press.

  175. $B, $B8U(B $B?69>(B, $BIp;T(B $B@5?M(B, $B>.@n?p;K(B, $B%J%C%W%5%C%/LdBj$*$h$S$=$NH/E8LdBj$NE}0lE*2rK!(B, $B%3%s%T%e!<%?%=%U%H%&%(%"(B, Vol. 18, No.2, 2001. pp.59-63.

  176. $B4d:j(B $B1Q:H(B, $B8U(B $B?69>(B, $BIp;T(B $B@5?M(B, $BA2, $B%3%s%T%e!<%?%=%U%H%&%(%"(B, Vol.18, No.0, 2001. pp.46-59.

    2000

  177. Masato Takeichi, Zhenjiang Hu, Calculation Carrying Programs: How to Code Program Transformations (Invited Paper), International Sumposium on Principles of Software Evolution (ISPSE 2000), Kanazawa, Japan, 1-2 November 2000. IEEE Press.

  178. Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa, Make it Practical: A Generic Linear Time Algorithm for Solving Maximum Weightsum Problems , The 2000 ACM SIGPLAN International Conference on Functional Programming, (ICFP 2000), Montreal, Canada, 18-20 September 2000. ACM Press. pp.137-149.

  179. Litong Song, Yoshihiko Futamura, Robert Glueck, Zhenjiang Hu, Loop Quasi-Invariance Code Motion, IEICE Transactions on Information and Systems, Vol. E83-D, No. 10, October 2000. pp.1841-1850.

  180. Litong Song, Yoshihiko Futamura, Robert Glueck, Zhenjiang Hu, A Loop Optimization Technique Based on Quasi-Invariance, The 2000 International Conference on Software: Theory and Practice (IFIP World Computer Congress 2000), Beijing, August 21 - 24, 2000.

  181. Seichi Adachi, Hideya Iwasaki, Zhenjiang Hu, diff: A Powerful Parallel Skeleton, The 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000), Monte Carlo Resort, Las Vegas, June 26 - 29, 2000. CSREA Press. pp.525--527.

  182. Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi, Deriving Parallel Codes via Invariants, International Static Analysis Symposium (SAS2000), University of California, Santa Barbara, 29 June-1 July, 2000. LNCS 1824, Springer Verlag. pp. 75--94.

  183. Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi, Calculating a New Data Mining Algorithm for Market Basket Analysis, Second International Workshop on Practical Aspects of Declarative Languages (PADL'00), Boston, Massachusetts, January 17-18, 2000. LNCS 1753, Springer Verlag. pp. 169-184.

  184. $B, $B8U(B $B?69>(B, $BIp;T(B $B@5?M(B, $B%0%i%U$NC5:w4X?t$N:F5"E*Dj5A$HJQ49(B , $B%3%s%T%e!<%?%=%U%H%&%(%"(B, Vol. 17, No.3, 2000. pp.2-19.

  185. $BHx>e(B $BG=G7(B, $B8U(B $B?69>(B, $B4d:j(B $B1Q:H(B, $BIp;T(B $B@5?M(B, $B%W%m%0%i%`M;9gJQ49$NZ(B, $B%3%s%T%e!<%?%=%U%H%&%(%"(B, Vol. 17, No.3, 2000. pp.81-85.

  186. $B8U(B $B?69>(B, $B%W%m%0%i%`1?;;$K$h$kJBNs%W%m%0%i%_%s%0(B, $B%3%s%T%e!<%?%=%U%H%&%(%"(B, Vol. 17, No.1, January 2000. pp 21-23.

    1999

  187. Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki, Diffusion: Calculating Efficient Parallel Programs, 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'99). San Antonio, Texas, January 22-23, 1999, pp. 85-94.

  188. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Calculating Accumulations, New Generation Computing, Vol. 17, No. 2, 1999, pp.153--173.

  189. Zhenjiang Hu, Masato Takeichi, Calculating an Optimal Homomorphic Algorithm for Bracket Matching, Parallel Processing Letters. Vol. 9, No. 3, 1999. pp. 335-345.

    1998

  190. Akihiko Takano, Zhenjiang Hu, Masato Takeichi, Program Transformation in Calculational Form, ACM Computing Surveys, Vol. 30, No.3, 1998. A special issue for 1998 Symposium on Partial Evaluation (SOPE'98).

  191. $BHx>eG=G7(B, $B8U?69>(B, $BIp;T@5?M(B, HYLO $B%7%9%F%`$K$h$k%W%m%0%i%`M;9gJQ49$N , $B%3%s%T%e!<%?%=%U%H%&%(%"(B, Vol. 15, No.6, November 1998, pp. 52-56.

  192. Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu, Parallelization via Context Preservation , in IEEE Computer Society International Conference on Computer Languages (ICCL'98), Loyola University Chicago, Chicago, USA, May 1998. IEEE Press.

  193. $B4d:j1Q:H(B, $B8U?69>(B, $BC_@Q0z?t$r;}$D4X?t%W%m%0%i%`$NM;9gJQ49(B, $B>pJs=hM}3X2qO@J8;o(B, Vol. 39, No. 3, 1998, pp. 664-673.

  194. Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi, Towards Manipulation of Mutually Recursive Functions , 3rd Fuji International Symposium on Functional and Logic Programming (FLOPS'98), Kyoto, Japan, April 1998, pp. 61-79. World Scientific.

  195. Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin, Parallelization in Calculational Forms , 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'98), San Diego, California, USA, January 1998, pp. 316-328. ACM Press.

    1997

  196. Zhenjiang Hu, Masato Takeichi, A Calculational Framework for Parallelization of Sequential Programs, IPSJ International Symposium on Information Systems and Technologies for Network Society, Fukuoka, Japan, September 1997, pp. 102-109. World Scientific.

  197. $B8U?69>(B, $BIp;T@5?M(B, Synthesizing Calculational Laws for Parallelization. $BBh(B14$B2sF|K\%=%U%H%&%(%"2J3X2qA49qBg2q(B, JAIST, 1997, pp. 481-484. $B9b66>)Ne>^(B $B^!%(B

  198. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, A. Takano, Tupling Calculation Eliminates Multiple Data Traversals , 2nd ACM SIGPLAN International Conference on Functional Programming (ICFP'97), Amsterdam, The Netherlands, June 1997, pp.164-175. ACM Press.

  199. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms, ACM Transactions on Programming Langauges and Systems, 19(3), May 1997, pp.444-461.

  200. Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, A Calculational Fusion System HYLO , IFIP TC 2 Working Conference on Algorithmic Languages and Calculi. Le Bischenberg, France, February 1997, pp.76-106. Chapman&Hall.

    1996

  201. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, An Extension of the Acid Rain Theorem, 2nd Fuji International Workshop on Functional and Logic Programming (Fuji'96). Shonan Village, Japan, November 1996, pp.91-105. World Scientific.

  202. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Cheap Tupling Transformation, Technical Report METR 96-08, University of Tokyo. October 1996.
    (Poster abstract appears in PLILP'96, LNCS 1140, pp.471-472, September 1996)

  203. Zhenjiang Hu, A Calculational Approach to Optimizing Functional Programs, Ph.D thesis, Department of Information Engineering, The University of Tokyo. September 1996.
    ( List of Contents) $BBh#1#42s0f>e8&5f>)Ne>^^!%(B

  204. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Construction of List Homomorphisms by Tupling and Fusion, 21st International Symposium on Mathematical Foundations of Computer Science (MFCS '96), Cracow, September 1996, LNCS 1113, pp.407-418. Springer-Verlag.

  205. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem, The Annual European conference on Parallel Processing (Euro-Par'96), LIP, ENS Lyon, France, August 1996, LNCS 1123, pp.553-562. Springer-Verlag.

  206. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Deriving Structural Hylomorphisms from Recursive Definitions, ACM SIGPLAN International Conference on Functional Programming (ICFP'96), Philadelphia, May 1996, pp.73-82. ACM Press.

    1995$B0JA0(B

  207. Zhenjiang Hu, Hideya Iwasaki, Promotional Transformation of Monadic Programs, Fuji International Workshop on Functional and Logic Programming, Susono, July 1995, pp.196-210. World Scientific.

  208. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Deriving Efficient Functional Programs by Constructing Medio-types, Proceedings of Workshop on Functional Programming JSSST'94, Kyoto, November, 1994, pp.17-32. Kindai Publisher.

  209. Yongqiang Sun, Zhenjiang Hu, X. Yuan, FP-VLSI -- An Automatic Synthesis System, Journal of Software, Vol.5, No.1, January 1994. (in Chinese)

  210. Zhenjiang Hu, Yongqiang Sun, FP Description of Parallel Algorithms and its Decidability of Implementation of Systolic Arrays, Journal of Software, Vol.3, No.3, pp.9-16, July, 1992. (in Chinese)

  211. Xinjie Xia, Yongqiang Sun, Zhenjiang Hu, Automatic Synthesis of Systolic Arrays -- FP Approach, Journal of Software, Vol.3, No.3, pp.1-8, July, 1992. (in Chinese)

  212. Yongqiang Sun, Zhenjiang Hu, Xin Yuan, Algebraic Transformation for the Synthesis of Systolic Arrays, Journal of Shanghai Jiaotong University, 26(6), pp. 10-18, 1992.

  213. Yongqiang Sun and Zhenjiang Hu, Algebraic Approach to the Synthesis of Systolic Arrays, Proceedings of 2nd German-Chinese Electronics Congress, Germany, October, 1991. VDE Verlag.

  214. Zhenjiang Hu and Yongqiang Sun, Functional Approach to the Synthesis of Systolic Arrays, Proceedings of 2nd Int'l Conf. for Young Computer Scientists, Beijing, China, July, 1991.

  215. Zhenjiang Hu and Yongqiang Sun, Functional Approach to the Synthesis of Logic, Proceedings of 4th Int'l Symp. on IC Design, Implementation and Application, Singapore, 1991.

  216. Zhenjiang Hu, Yongqiang Sun, Optimizing Digital System Through Program Transformation, Journal of Software, Vol.1, No.2, pp.1-8, April, 1990. (in Chinese)

  217. Zhenjiang Hu, Xinjie Xia, Yongqiang Sun, Description, Synthesis and Simulation of Digital System by Functional Programming Language, Journal of Computer, Vol.13, No.6, pp.1-8, June, 1990. (in Chinese)

  218. Yincai Bai, Zhenjiang Hu, Jun Yang, Implement FP on Transputers, Microcomputer Systems, No.10, pp.1-16, October, 1990. (in Chinese)

$B$=$NB>$NO@J8(B(2001$BG/$h$j(B)

  1. Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu: Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. CoRR abs/1703.09542 (2017)

  2. Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu: Describing Pregel Algorithms with Non-adjacent Data Communication $BF|K\%=%U%H%&%'%"2J3X2q(B $BBh(B33$B2sBg2q9V1iO@J8=8(B, $BElKLBg3X(B $BJRJ?%-%c%s%Q%9(B, 2016$BG/(B9$B7n(B7$BF|(B 9$BF|(B.

  3. Le-Duc Tung, Kento Emoto, Zhenjiang Hu, Shortest Regular Category-Path Queries, GRACE-TR-2014-03, GRACE Center, National Institute of Informatics, August 2014, 10 pages.

  4. Zhenjiang Hu, Juan de Lara (eds), Guest editorial to the special section on model transformation, Software Modeling and Systems, December, 2013.

  5. Le Dec Tung, Quyet Nguyen-Van, Zhenjiang Hu, Efficient Query Evaluation on Distributed Graph with Hadoop Environment, $BF|K\%=%U%H%&%'%"2J3X2qBh(B30$B2sBg2q(B, $BEl5~Bg3XK\6?%-%c%s%Q%9(B, 2013$BG/(B9$B7n(B10$BF|!A(B13$BF|(B.

  6. Vo Huu Phuc, $B2CF#90G7(B, $BF|9b=!0lO:(B, $B8U?69>(B, An Experimental Implementation of Self-adjusting Bidirectional Transformations, $BF|K\%=%U%H%&%'%"2J3X2qBh(B30$B2sBg2q(B, $BEl5~Bg3XK\6?%-%c%s%Q%9(B, 2013$BG/(B9$B7n(B10$BF|!A(B13$BF|(B.

  7. $B@uEDOBG7(B, $BF|9b=!0lO:(B, $B2CF#90G7(B, $B8U?69>(B, $BCfLn7=2p(B, A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches, $BF|K\%=%U%H%&%'%"2J3X2qBh(B30$B2sBg2q(B, $BEl5~Bg3XK\6?%-%c%s%Q%9(B, 2013$BG/(B9$B7n(B10$BF|!A(B13$BF|(B.

  8. Tao Zan, Hugo Pacheco, $B8U?69>(B, BiFlux: A Bidirectional Functional Update Language for XML, $BF|K\%=%U%H%&%'%"2J3X2qBh(B30$B2sBg2q(B, $BEl5~Bg3XK\6?%-%c%s%Q%9(B, 2013$BG/(B9$B7n(B10$BF|!A(B13$BF|(B.

  9. Zhenjiang Hu, Shin-Cheng Mu, Stephanie Weirich, Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs, Progress in Informatics, Vol.10, 2013. pp.1-2.

  10. Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano Structural Recursion for Querying Ordered Graphs , $BBh(B15$B2s%W%m%0%i%_%s%0$*$h$S%W%m%0%i%_%s%08@8l%o!<%/%7%g%C%W(B (PPL 2013), $BJ!Eg8)2qDE>(B $BEl;329@t(B, 2013$BG/(B3$B7n(B4$BF|(B($B7n(B)$B!A(B6$BF|!J?e!K(B.

  11. Sebastian Fischer, Zhenjiang Hu and Hugo Pacheco, "Putback" is the Essence of Bidirectional Programming, GRACE-TR 2012-08, GRACE Center, National Institute of Informatics, December 2012, 36 pages.

  12. Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, and Keisuke Nakano, Parameterized Graph Transformation Languages with Monads, Technical Report GRACE-TR-2012-07, GRACE Center, National Institute of Informatics, October 2012.

  13. Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano, Structural Recursion on Ordered Graphs, $BF|K\%=%U%H%&%'%"2J3X2qBh(B29$B2sBg2q(B, $BK!@/Bg3X>.6b0f%-%c%s%Q%9(B, 2012$BG/(B8$B7n(B22$BF|(B($B?e(B)$B!A(B24$BF|(B($B6b(B).

  14. Yiqing Zhu, Tao Zan, Soichiro Hidaka, Zhenjiang Hu, iGRT: A Generic Interface for GRoundTram, $BF|K\%=%U%H%&%'%"2J3X2qBh(B29$B2sBg2q(B, $BK!@/Bg3X>.6b0f%-%c%s%Q%9(B, 2012$BG/(B8$B7n(B22$BF|(B($B?e(B)$B!A(B24$BF|(B($B6b(B).

  15. Tao Zan, Yu Liu, Zhenjiang Hu, Automatic Parallelization of Graph Queries with MapReduce, $BF|K\%=%U%H%&%'%"2J3X2qBh(B29$B2sBg2q(B, $BK!@/Bg3X>.6b0f%-%c%s%Q%9(B, 2012$BG/(B8$B7n(B22$BF|(B($B?e(B)$B!A(B24$BF|(B($B6b(B).

  16. Nguyen Minh Quy, $B8U?69>(B, Hive$B$K$h$k%M%C%H%o!<%/%m%02r@O$NJBNs2=(B(poster), $BF|K\%=%U%H%&%'%"2J3X2qBh(B29$B2sBg2q(B, $BK!@/Bg3X>.6b0f%-%c%s%Q%9(B, 2012$BG/(B8$B7n(B22$BF|(B($B?e(B)$B!A(B24$BF|(B($B6b(B).

  17. $BN-(B $B1+(B, $B9>K\(B $B7rEM(B, $B8U(B $B?69>(B, A Practical Generate-Test-and-Aggregate Framework on Hadoop (poster), $BBh(B14$B2s%W%m%0%i%_%s%0$*$h$S%W%m%0%i%_%s%08@8l%o!<%/%7%g%C%W(B, $BOB2N;38)(B $BFn5*GrIM(B $B$`$5$7(B, 2012$BG/(B3$B7n(B8$BF|(B($BLZ(B) - 10$BF|(B($BEZ(B).

  18. Yiqing ZHU, Tao ZAN, Soichiro HIDAKA and Zhenjiang HU, iGRT: A Generic Interface for GRoundTram, Technical Report GRACE-TR-2012-06, GRACE Center, National Institute of Informatics, June 2012. 31 pages.

  19. Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux, blinkit: Maintaining Invariant Traceability through Bidirectional Transformations - A Technical Report, Technical Report No. 2011/09, Department of Computing, The Open University, UK, September, 2012. 13 pages.

  20. Kento Emoto, Sebastian Fischer, Zhenjiang Hu, Generate, Test, and Aggregate---A Calculation-based Framework for Systematic Parallel Programming with MapReduce---, Technical Report METR 2011-34, Department of Mathematical Informatics, Univeristy of Tokyo, October 2011. 28 pages.

  21. Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations, Technical Report GRACE-TR-2011-05, GRACE Center, National Institute of Informatics, August 2011. 10 pages.

  22. Qing sun, Bo Wang, Zhenjiang Hu, Applying Bidirectional Transformation to Feature Model Refinement - Implementation Issues - , Technical Report GRACE-TR-2011-04, GRACE Center, National Institute of Informatics, August 2011. 14 pages.

  23. Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano, Marker-directed optimization of UnCAL graph transformations, Technical Report GRACE-TR-2011-02, GRACE Center, National Institute of Informatics, June 2011. 22pages.

  24. Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Simulation-based Graph Schema for View Updatability Checking of Graph Queries, Technical Report GRACE-TR-2011-01, GRACE Center, National Institute of Informatics, May 2011. 22pages.

  25. $B2CF#(B $B90G7(B, $B54DM(B $B??(B, $BF|9b(B $B=!0lO:(B, $BCfLn(B $B7=2p(B, $B8U(B $B?69>(B, Generate-Test-and-Aggregate $B%"%k%4%j%:%`$N(BHadoop$B, $BF|K\%=%U%H%&%'%"2J3X2qBh(B28$B2sBg2q(B , $B2-Fl8)FaGF;T(B, 2011$BG/(B9$B7n(B27$BF|(B($B2P(B)$B!A(B29$BF|(B($BLZ(B).

  26. $BN-(B $B1+(B, $B%;%P%9%F%#%"%s(B $B%U%#%C%7%c!<(B, $B9>K\(B $B7rEM(B, $B8U(B $B?69>(B, Generate-Test-and-Aggregate $B%"%k%4%j%:%`$N(BHadoop$B, $BF|K\%=%U%H%&%'%"2J3X2qBh(B28$B2sBg2q(B , $B2-Fl8)FaGF;T(B, 2011$BG/(B9$B7n(B27$BF|(B($B2P(B)$B!A(B29$BF|(B($BLZ(B).

  27. $B(B, $BF|9b(B $B=!0lO:(B, $B0pMU(B $B0l9@(B, $B2CF#(B $B90G7(B, $BCfLn(B $B7=2p(B, GRoundTram$B$K$h$k(BATL$B$NAPJ}8~2=$N, $BF|K\%=%U%H%&%'%"2J3X2qBh(B28$B2sBg2q(B , $B2-Fl8)FaGF;T(B, 2011$BG/(B9$B7n(B27$BF|(B($B2P(B)$B!A(B29$BF|(B($BLZ(B).

  28. Zhenjiang Hu, Andy Schurr, Perdita Stevens, James Terwilliger (Eds), Bidirectional Transformation "bx" (Dagstuhl Seminar 11031), Dagstuhl Reports, Vol.1, No.1, 2011. pp.42-67.

  29. Robert Glueck, Fritz Heiglein, Zhenjiang Hu, Masato Takeichi (Eds): Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, Technical Report no. 2011/01, DIKU, University of Copenhagen, 2011.

  30. Zhenjiang Hu (Ed): Special Issue on Programming Languages and Systems. New Generation Comput. 29(1), 2011. pp.1-2.

  31. $BCfLn(B $B7=2p(B, $BF|9b(B $B=!0lO:(B, $B8U(B $B?69>(B, $B0pMU(B $B0l9@(B, $B2CF#(B $B90G7(B, $BLOJo$K4p$E$/%0%i%U%9%-!<%^$rMxMQ$7$?%S%e!<99?72DG=@-H=Dj(B, $BBh(B13$B2s%W%m%0%i%_%s%0$*$h$S%W%m%0%i%_%s%08@8l%o!<%/%7%g%C%W(B, $BKL3$F;;%KZ;TDj;37L%S%e!<%[%F(B, 2011$BG/(B3$B7n(B9$BF|(B($B?e(B)$B!A(B11$BF|(B($B6b(B).

  32. Yu Liu, Zhenjiang Hu, A Homomorphism-based Framework for Systematic Parallel Programming with MapReduce, $BBh(B13$B2s%W%m%0%i%_%s%0$*$h$S%W%m%0%i%_%s%08@8l%o!<%/%7%g%C%W(B, $BKL3$F;;%KZ;TDj;37L%S%e!<%[%F(B, 2011$BG/(B3$B7n(B9$BF|(B($B?e(B)$B!A(B11$BF|(B($B6b(B).

  33. $B8U(B $B?69>(B, $B%3%i%`!'%"%8%"$G>pJs3X$N!VNB;3Gq!W$rB$$k(B, $B%3%s%T%e!<%?%=%U%H%&%(%"(B, Vol.27, No.4, 2010.

  34. Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara, Context-Preserving XQuery Fusion, Technical Report GRACE-TR-2010-07, GRACE Center, National Institute of Informatics, September 2010, 21pages.

  35. Yu Liu, Zhenjiang Hu, Wrapping MapReduce with Homomorphism (poster), Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, November 22 - December 1, 2010.

  36. Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba and Hiroyuki Kato, Range Analysis of Graph Transformation for Simulation-based Schema (poster), Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, November 22 - December 1, 2010.

  37. Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda and Keisuke Nakano, owards State-based Interface to a Graph Roundtrip Transformation System GRoundTram (poster), Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, November 22 - December 1, 2010.

  38. Soichiro Hidaka, Zhenjiang Hu,Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Bidirectionalizing Graph Transformations, GRACE-TR-2010-06, GRACE Center, National Institute of Informatics, July 2010. 16 pages.

  39. Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Sound and Complete Validation of Graph Transformations, Technical Report GRACE-TR-2010-04, GRACE Center, National Institute of Informatics, May 2010. 29 pages.

  40. $B9>K\(B $B7rEM(B, $B;{ED(B $BMN2p(B, $B>>:j(B $B8x5*(B, $B8U(B $B?69>(B, $BIp;T(B $B@5?M(B, $B:GE,CM$NJBNsC5:w$N$?$a$N(B Improving Value $B$N(B Fortress $B $BBh(B12$B2s%W%m%0%i%_%s%0$*$h$S%W%m%0%i%_%s%08@8l%o!<%/%7%g%C%W(B, $B6W;23U(B, $B9a@n8)(B, 2010$BG/(B3$B7n(B3$BF|(B($B?e(B)$B!A(B5$BF|(B($B6b(B).

  41. $B2CF#(B $B90G7(B, $BF|9b(B $B=!0lO:(B, $B8U(B $B?69>(B, $BCfLn(B $B7=2p(B, $B@P86(B $BLwE/(B, $B=g=x$r9MN8$KF~$l$?(BXQuery$B$NM;9gJQ49(B, WebDB Forum 2009, $B7D1~5A=NBg3X(B, 2009$BG/(B11$B7n(B19$BF|!A(B20$BF|(B.

  42. Yuting Chen, Zhenjiang Hu, AO Software Behavior Model Evolution and Synchronization: A Bidirectional Graph Transformation Approach, Technical Report GRACE-TR-2009-06, GRACE Center, National Institute of Informatics,September 2009. 18 pages.

  43. Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei. Beanbag: A Language for Automatic Model Inconsistency Fixing. In Proceedings of IPSJ/SIGSE Software Engineering Symposium 2009 (SES'09), Poster Paper, pp 189, September 2009.

  44. Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi. From Bidirectional Model Transformation to Model Synchronization. In Proceedings of the Sixth Asian Workshop on Foundations of Software (AWFS'09), Tokyo, Japan, pages 56-65, April 2009.

  45. $B>>ED(B $B0l9'(B, $BKT(B $B?.@.(B, $B8U(B $B?69>(B, $BIp;T(B $B@5?M(B, $B%,%$%IIU$-LZ%*!<%H%^%H%s$K4p$E$/5U%W%m%0%i%`$N<+F0@8@.(B , $BF|K\%=%U%H%&%'%"2J3X2qBh(B26$B2sBg2q(B , $BEg:,Bg3X!J>>9>%-%c%s%Q%9!K(B, 2009$BG/(B9$B7n(B16$BF|(B($B?e(B)$B!A(B18$BF|(B($B6b(B).

  46. $BLZDE(B $B9,;R(B, $BIp;T(B $B@5?M(B, $B8U(B $B?69>(B, $BFbIt;2>H$r$b$D(BXML$BJ8=q$NAPJ}8~JQ49$K$h$kJT=8(B , $BF|K\%=%U%H%&%'%"2J3X2qBh(B26$B2sBg2q(B , $BEg:,Bg3X!J>>9>%-%c%s%Q%9!K(B, 2009$BG/(B9$B7n(B16$BF|(B($B?e(B)$B!A(B18$BF|(B($B6b(B).

  47. $B66K\(B $B1Q(B, Julien Tesson, Frederic Loulergue, $BIp;T(B $B@5?M(B, $B%W%m%0%i%`1?;;$N$?$a$N(BCoq$B%i%$%V%i%j(B , $BF|K\%=%U%H%&%'%"2J3X2qBh(B26$B2sBg2q(B , $BEg:,Bg3X!J>>9>%-%c%s%Q%9!K(B, 2009$BG/(B9$B7n(B16$BF|(B($B?e(B)$B!A(B18$BF|(B($B6b(B).

  48. Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara, An XQuery Fusion with Preserving Document Order , $BF|K\%=%U%H%&%'%"2J3X2qBh(B26$B2sBg2q(B , $BEg:,Bg3X!J>>9>%-%c%s%Q%9!K(B, 2009$BG/(B9$B7n(B16$BF|(B($B?e(B)$B!A(B18$BF|(B($B6b(B).

  49. Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Bidirectionalizing Structural Recursion on Graphs , $BF|K\%=%U%H%&%'%"2J3X2qBh(B26$B2sBg2q(B , $BEg:,Bg3X!J>>9>%-%c%s%Q%9!K(B, 2009$BG/(B9$B7n(B16$BF|(B($B?e(B)$B!A(B18$BF|(B($B6b(B).

  50. Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara, An Order-Sensitive Fusion for XQuery Technical Report GRACE-TR-2009-04, GRACE Center, National Institute of Informatics, September 2009, 28 pages.

  51. Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Bidirectionalizing Structural Recursion on Graphs Technical Report GRACE-TR-2009-03, GRACE Center, National Institute of Informatics, August 2009. 41 pages.

  52. Zhenjiang Hu, Jian Zhang (editors), Proceedings of the sixth Asian Workshop on Foundations of Software, Technical Report GRACE-TR-2009-01, GRACE Center, National Institute of Informatics, April 2009. 153 pages.

  53. $B?9H*L@>;(B, $B8U?69>(B, $BIp;T@5?M(B, $BF0E*7W2hK!%"%k%4%j%:%`$r<+8JF3=P$9$k7k9g;R%i%$%V%i%j(B , $BBh(B11$B2s%W%m%0%i%_%s%0$*$h$S%W%m%0%i%_%s%08@8l%o!<%/%7%g%C%W(B (PPL2009), $B4tIl8)9b;3;T(B, 2009$BG/(B3$B7n(B9$BF|(B($B7n(B)$B!A(B11$BF|!J?e!K(B.

  54. $B4d:j1Q:H!$8U?69>!$(B $BJBNs7W;;%Q%?!<%s(B ($B%9%1%k%H%s(B) $B$K$h$kJBNs%W%m%0%i%_%s%0(B $B!$(B $B>pJs=hM}3X2q;o!V>pJs=hM}!W!$(BVol.49$B!$(BNo.12$B!$(Bpp.1385-1394, 2008.

  55. Hui Song, Yingfei Xiong, Zhenjiang Hu, Gang Huang, Hong Mei, A Model-Driven Framework for Constructing Runtime Architecture Infrastructures, Technical Report GRACE-TR-2008-05, GRACE Center, National Institute of Informatics, December 2008. 31 pages.

  56. Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Song Hui, Hong Mei, Beanbag: Operation-based Synchronization with Intra-relations, Technical Report GRACE-TR-2008-04, GRACE Center, National Institute of Informatics, December 2008. 33 pages.

  57. Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, An Algebraic Approach to Bidirectional Model Transformations, Technical Report GRACE-TR-2008-02, GRACE Center, National Institute of Informatics, September 2008. 14 pages.

  58. Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Towards Compositional Approach to Model Transformations, Technical Report GRACE-TR-2008-01, GRACE Center, National Institute of Informatics, August 2008. 37 pages.

  59. Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Towards Compostional Approach to Model Transformation for Software Development , $BF|K\%=%U%H%&%'%"2J3X2qBh(B25$B2sBg2q(B , $BC^GHBg3X(B $BBg3X1!%S%8%M%92J3X8&5f2J(B($BEl5~%-%c%s%Q%9(B), 2008$BG/(B9$B7n(B10$BF|(B($B?e(B)$B!A(B12$BF|(B($B6b(B). $B!V9b66>)Ne>^^!W(B

  60. Yingfei Xiong, Zhenjiang Hu, Hui Song, Masato Takeichi, Haiyan Zhao, Hong Mei, On-Site Synchronizers for Multi-View Applications , $BF|K\%=%U%H%&%'%"2J3X2qBh(B25$B2sBg2q(B , $BC^GHBg3X(B $BBg3X1!%S%8%M%92J3X8&5f2J(B($BEl5~%-%c%s%Q%9(B), 2008$BG/(B9$B7n(B10$BF|(B($B?e(B)$B!A(B12$BF|(B($B6b(B).

  61. Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi, A Generative Matrix Library in Fortress Relieves Programmers' Headache! , $BF|K\%=%U%H%&%'%"2J3X2qBh(B25$B2sBg2q(B , $BC^GHBg3X(B $BBg3X1!%S%8%M%92J3X8&5f2J(B($BEl5~%-%c%s%Q%9(B), 2008$BG/(B9$B7n(B10$BF|(B($B?e(B)$B!A(B12$BF|(B($B6b(B).

  62. $B>>ED(B $B0l9'!$(B $B8U(B $B?69>!$(B $BIp;T(B $B@5?M(B, $BJd4X?t$N@8@.$K4p$E$/?9>e$NJQ49$NAPJ}8~2=(B , $BF|K\%=%U%H%&%'%"2J3X2qBh(B25$B2sBg2q(B , $BC^GHBg3X(B $BBg3X1!%S%8%M%92J3X8&5f2J(B($BEl5~%-%c%s%Q%9(B), 2008$BG/(B9$B7n(B10$BF|(B($B?e(B)$B!A(B12$BF|(B($B6b(B).

  63. Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, The Third Homomorphism Theorem on Trees: Downward & Upward Lead to Divide-and-Conquer , $BF|K\%=%U%H%&%'%"2J3X2qBh(B25$B2sBg2q(B , $BC^GHBg3X(B $BBg3X1!%S%8%M%92J3X8&5f2J(B($BEl5~%-%c%s%Q%9(B), 2008$BG/(B9$B7n(B10$BF|(B($B?e(B)$B!A(B12$BF|(B($B6b(B).

  64. Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi, Generator-based GG Fortress Library, Technical Report METR2008-16, Department of Mathematical Informatics, University of Tokyo, 2008.

  65. Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi, Generator-based GG Fortress Library --Collection of GGs and Theories--, Technical Report METR2008-17, Department of Mathematical Informatics, University of Tokyo, 2008.

  66. $B8U?69>(B, $B8&5f2q?dA&Gn;NO@J8B.JsFC=8!'JT=8$K$"$?$C$F(B $B!$(B $B>pJs=hM}3X2q;o!V>pJs=hM}!W!$(BVol.49$B!$(BNo.6$B!$(Bpp.663-663, 2008.

  67. $BCfLn7=2p!$N-!!El4n!$NS!!9/;K!$8U!!?69>!$Ip;T@5?M(B, $BAPJ}8~JQ49$K4p$E$/%&%'%V%Q%V%j%C%7%s%0;Y1g%7%9%F%`(B Vu-X, $B>pJs=hM}3X2qBh(B70$B2sA49qBg2q(B, $BC^GHBg3X(B $BC^GH%-%c%s%Q%9(B, $BJ?@.(B20$BG/(B3$B7n(B13$BF|(B($BLZ(B)$B!A(B15$BF|(B($BEZ(B).

  68. $BNS!!9/;K!$N-!!El4n!$CfLn7=2p!$8U!!?69>!$Ip;T@5?M(B, $B0MB84X785-=R%9%-!<%^$K$h$kAPJ}8~(BXML$B%"%W%j%1!<%7%g%s$N3+H/(B, $B>pJs=hM}3X2qBh(B70$B2sA49qBg2q(B, $BC^GHBg3X(B $BC^GH%-%c%s%Q%9(B, $BJ?@.(B20$BG/(B3$B7n(B13$BF|(B($BLZ(B)$B!A(B15$BF|(B($BEZ(B).

  69. Dongxi Liu$B!$NS!!9/;K!$CfLn7=2p!$8U!!?69>!$Ip;T@5?M(B, Developing Bidirectional XML Applications with Bi-X , $B>pJs=hM}3X2qBh(B70$B2sA49qBg2q(B, $BC^GHBg3X(B $BC^GH%-%c%s%Q%9(B, $BJ?@.(B20$BG/(B3$B7n(B13$BF|(B($BLZ(B)$B!A(B15$BF|(B($BEZ(B).

  70. $B?9H*L@>;(B, $B>>:j8x5*(B, $B8U?69>(B, $BIp;T@5?M(B, $B;EMM5-=R8@8l$K4p$E$/:GE,7PO)LdBj$N2rK!$NF3=P(B , $BBh(B10$B2s%W%m%0%i%_%s%0$*$h$S%W%m%0%i%_%s%08@8l%o!<%/%7%g%C%W(B, $B@gBf;T(B $B=)J]29@t(B $BNP?eDb(B, 2008$BG/(B3$B7n(B5$BF|(B($B?e(B)$B!A(B3$B7n(B7$BF|(B($B6b(B). $B!VO@J8>^^!"H/I=>^^!W(B

  71. $B>>ED0l9'(B, $B8U?69>(B, $BCfLn7=2p(B, $BIML>@?(B, $BIp;T@5?M(B, $BJd4X?t$N@8@.$K$h$kJ#@=$r4^$`%W%m%0%i%`$N<+F0APJ}8~2=(B , $BBh(B10$B2s%W%m%0%i%_%s%0$*$h$S%W%m%0%i%_%s%08@8l%o!<%/%7%g%C%W(B, $B@gBf;T(B $B=)J]29@t(B $BNP?eDb(B, 2008$BG/(B3$B7n(B5$BF|(B($B?e(B)$B!A(B3$B7n(B7$BF|(B($B6b(B).

  72. $B8U?69>!$(B $B!VITOG!W$NCf9q, $B%3%s%T%e!<%?%=%U%H%&%(%"(B, Vol. 25, No.1, January 2008.

  73. $B>>:j8x5*!$(B $B8U?69>!$(B $BIp;T@5?M(B, $B%j%9%H>e$N:GBg%^!<%/IU$1LdBj$r2r$/JBNs%W%m%0%i%`$NF3=P(B , $B>pJs=hM}3X2q(B $BBh(B66$B2s%W%m%0%i%_%s%08&5f2q(B, $BL>8E20Bg3X(B $BBg3X1!B?85?tM}2J3X8&5f2J(B, $BJ?@.(B19$BG/(B10$B7n(B11$BF|(B($BLZ(B)$B!&(B12$BF|(B($B6b(B)

  74. $B>>:j(B $B9,B@O:!$(B $B>>ED(B $B0l9'!$(B $B8U(B $B?69>!$(B $BIp;T(B $B@5?M(B, XML$B%9%-!<%^$K4p$E$/%S%e!<99?72DG=@-H=Dj(B , $BF|K\%=%U%H%&%'%"2J3X2qBh(B24$B2sBg2q(B , $BF`NI@hC<2J3X5;=QBg3X1!Bg3X(B, 2007$BG/(B9$B7n(B12$BF|(B($B?e(B)$B!A(B14$BF|(B($B6b(B).

  75. $BNS(B $B9/;K!$(B $BN-(B $BEl4n!$(B $BCfLn(B $B7=2p!$(B $B8U(B $B?69>!$(B $BIp;T(B $B@5?M(B, $B9=B$2=J8=q$N0MB84X785-=R$N$?$a$N3HD%%9%-!<%^(B , $BF|K\%=%U%H%&%'%"2J3X2qBh(B24$B2sBg2q(B , $BF`NI@hC<2J3X5;=QBg3X1!Bg3X(B, 2007$BG/(B9$B7n(B12$BF|(B($B?e(B)$B!A(B14$BF|(B($B6b(B).

  76. $BCfLn(B $B7=2p!$(B $BNS(B $B9/;K!$(B $BN-(B $BEl4n!$(B $B8U(B $B?69>!$(B $BIp;T(B $B@5?M!$(B $B9>K\(B $B7rEM!$(B $B>>ED(B $B0l9'!$(B $BBPOCE*%G!<%?A`:n$K$h$kAPJ}8~JQ49%W%m%0%i%_%s%0(B , $BF|K\%=%U%H%&%'%"2J3X2qBh(B24$B2sBg2q(B , $BF`NI@hC<2J3X5;=QBg3X1!Bg3X(B, 2007$BG/(B9$B7n(B12$BF|(B($B?e(B)$B!A(B14$BF|(B($B6b(B).

  77. $B>>:j(B $B8x5*!$(B $B?9H*(B $BL@>;!$(B $B8U(B $B?69>!$(B $BIp;T(B $B@5?M(B, Associativity for Parallel Tree Computation , $BF|K\%=%U%H%&%'%"2J3X2qBh(B24$B2sBg2q(B , $BF`NI@hC<2J3X5;=QBg3X1!Bg3X(B, 2007$BG/(B9$B7n(B12$BF|(B($B?e(B)$B!A(B14$BF|(B($B6b(B).

  78. Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Masato Takeichi, A Bidirectional Transformation Appraoch towards Automatic Model Transformation, Participants Workshop of GTTSE Summer School, Braga, Portugal, 2007. pp.359-360.

  79. Dongxi Liu, Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Masato Takeichi, Bi-CQ: A Bidirectional Code Query Language, Participants Workshop of GTTSE Summer School, Braga, Portugal, 2007. pp.348-349.

  80. Kazutaka MATSUDA, Zhenjiang HU, Keisuke NAKANO, Makoto HAMANA and Masato TAKEICHI, Bidirectionalization Transformation based on Automatic Derivation of View Complement Function, Technical Report METR 2007-44, Department of Mathematical Informatics, University of Tokyo, January 2007.

  81. $B9>K\7rEM(B, $B>>:j8x5*(B, $B8U?69>(B, $BIp;T@5?M(B, $B6aK5MWAG$rI,MW$H$9$k%9%1%k%H%s%W%m%0%i%`$N:GE,2=(B , $BBh(B9$B2s%W%m%0%i%_%s%0$*$h$S%W%m%0%i%_%s%08@8l%o!<%/%7%g%C%W(B (PPL2007), $B@P@n8)2C2l;T;3(B, 2007$BG/(B3$B7n(B8$BF|(B($BLZ(B)$B!A(B10$BF|!JEZ!K(B.

  82. $B?9H*L@>;(B, $B8U?69>(B, $BIp;T@5?M(B, $B%W%m%0%i%`1?;;$K$h$k%0%i%U%"%k%4%j%:%`$NF3=P(B , $BBh(B9$B2s%W%m%0%i%_%s%0$*$h$S%W%m%0%i%_%s%08@8l%o!<%/%7%g%C%W(B (PPL2007), $B@P@n8)2C2l;T;3(B, 2007$BG/(B3$B7n(B8$BF|(B($BLZ(B)$B!A(B10$BF|!JEZ!K(B.

  83. $B7'1QHt!$8U?69>!$N-El4n!$Ip;T@5?M!$ld3$1m!$G_9((B, Realizing Bidirectional Graph Transformations From Bidirectional Tree Transformations , $B>pJs=hM}3X2qBh(B69$B2sA49qBg2q(B, $BAa0pEDBg3X(B $BBg5WJ]%-%c%s%Q%9(B, $BJ?@.(B19$BG/(B3$B7n(B6$BF|(B($B2P(B)$B!A(B8$BF|(B($BLZ(B).

  84. Kento EMOTO, Kiminori MATSUZAKI, Zhenjiang HU and Masato TAKEICHI, Domain-Specific Optimization for Skeleton Programs Involving Neighbor Elements, Technical Report METR 2007-05, Department of Mathematical Informatics, University of Tokyo, January 2007.

  85. Kiminori MATSUZAKI and Zhenjiang HU, Efficient Implementation of Tree Skeletons on Distributed-Memory Parallel Computers, Technical Report METR 2006-65, Department of Mathematical Informatics, University of Tokyo, December 2006.

  86. Kazuhiko KAKEHI, Kiminori MATSUZAKI, Kento EMOTO and Zhenjiang HU, An Practicable Framework for Tree Reductions under Distributed Memory Environments, Technical Report METR 2006-64, Department of Mathematical Informatics, University of Tokyo, December 2006.

  87. Zhenjiang HU, Dongxi LIU, Hong MEI, Masato TAKEICHI, Yingfei XIONG and Haiyan ZHAO, A Compositional Approach to Bidirectional Model Transformation, Technical Report METR 2006-54, Department of Mathematical Informatics, University of Tokyo, October 2006.

  88. $BNS(B $B9/;K(B, $BN-(B $BEl4n(B $B9>K\(B $B7rEM(B, $B>>ED(B $B0l9'(B, $B8U(B $B?69>(B, $BIp;T(B $B@5?M(B, A Web Service Architecture for Bidirectional Updating , $BF|K\%=%U%H%&%'%"2J3X2qBh(B23$B2sBg2q(B , $BEl5~Bg3X(B, 2006$BG/(B9$B7n(B13$BF|(B($B?e(B)$B!A(B15$BF|(B($B6b(B).

  89. $BCfLn(B $B7=2p(B, $B?9H*(B $BL@>;(B, $B8U(B $B?69>(B, $BIp;T(B $B@5?M(B, $BAPJ}8~JQ49$K4p$E$/%&%'%V%Z!<%899?75!9=(B , $BF|K\%=%U%H%&%'%"2J3X2qBh(B23$B2sBg2q(B , $BEl5~Bg3X(B, 2006$BG/(B9$B7n(B13$BF|(B($B?e(B)$B!A(B15$BF|(B($B6b(B).

  90. $B?9ED(B $BOB9'(B, $B?9H*(B $BL@>;(B, $B8U(B $B?69>(B, $BIp;T(B $B@5?M(B, $B, $BF|K\%=%U%H%&%'%"2J3X2qBh(B23$B2sBg2q(B , $BEl5~Bg3X(B, 2006$BG/(B9$B7n(B13$BF|(B($B?e(B)$B!A(B15$BF|(B($B6b(B).

  91. Robert Glueck and Zhenjiang Hu, editors. Proceedings of the 2nd DIKU-IST Workshop on the Foundations of Software. Volume 06/07 of DIKU Report. Dept. of Computer Science, University of Copenhagen. 2006.

  92. Dongxi Liu, Zhenjiang Hu, Masato Takeichi, Bidirectionalizing XQuery -- Updating XML through Materialized XQuery View , Technical Report METR 2006-05, Department of Mathematical Informatics, University of Tokyo, April 2006.

  93. $B8U?69>!$(B $B4d:j1Q:H!$(B $B%9%1%k%H%sJBNs%W%m%0%i%_%s%0(B $B!$(B $B>pJs=hM}3X2q;o!V>pJs=hM}!W!$(BVol.46$B!$(BNo.10$B!$(B2005$BG/(B10$B7n!%(Bpp.1158-1163.

  94. Robert Glueck and Zhenjiang Hu, editors. Proceedings of the 1st DIKU-IST Workshop on the Foundations of Software. Volume 05/07 of DIKU Report. Dept. of Computer Science, University of Copenhagen. 2005.

  95. $BN-El4n!$(B $Bd*0lI'!$(B $B8U?69>!$(B $BIp;T@5?M!$(B $B2&9@!$(B A Java Library for Bidirectional XML Transformation , $BF|K\%=%U%H%&%'%"2J3X2qBh(B22$B2sBg2q(B , $BElKLBg3X(B $B@DMU;3%-%c%s%Q%9!$(B 2005$BG/(B9$B7n(B13$BF|(B($B2P(B)$B!A(B15$BF|(B($BLZ(B)$B!%(B

  96. $BKT?.@.!$(B $B8U?69>!$(B $BIp;T@5?M!$(B Bidirectional scripting for Structured Documents , $BF|K\%=%U%H%&%'%"2J3X2qBh(B22$B2sBg2q(B , $BElKLBg3X(B $B@DMU;3%-%c%s%Q%9!$(B 2005$BG/(B9$B7n(B13$BF|(B($B2P(B)$B!A(B15$BF|(B($BLZ(B)$B!%(B

  97. $Bd*0lI'!$(B $B>>:j8x5*!$(B $B?9H*L@>;!$(B $B9>K\7rEM!$(B $B8U?69>!$(B Parallel Dynamic Programming using Data-Parallel Skeletons , $BF|K\%=%U%H%&%'%"2J3X2qBh(B22$B2sBg2q(B , $BElKLBg3X(B $B@DMU;3%-%c%s%Q%9!$(B 2005$BG/(B9$B7n(B13$BF|(B($B2P(B)$B!A(B15$BF|(B($BLZ(B)$B!%(B

  98. $B>>:j8x5*!$(B $BL@@PNIK\7rEM!$(B $B4d:j1Q:H!$(B $B8U?69>!$(B $B=u$C?M!'9=@.E*$JJBNs%9%1%k%H%s$K$h$kJBNs%W%m%0%i%_%s%0%i%$%V%i%j(B , $BF|K\%=%U%H%&%'%"2J3X2qBh(B22$B2sBg2q(B , $BElKLBg3X(B $B@DMU;3%-%c%s%Q%9!$(B 2005$BG/(B9$B7n(B13$BF|(B($B2P(B)$B!A(B15$BF|(B($BLZ(B)$B!%(B

  99. $BLnBK\7rEM!$(B $B>>:j8x5*!$(B $B8U?69>!$(B $BIp;T@5?M!$(B $BLZ%9%1%k%H%s$K$h$k(BXPath$B%/%(%j$NJBNs2=$H$=$NI>2A(B , $BF|K\%=%U%H%&%'%"2J3X2qBh(B22$B2sBg2q(B , $BElKLBg3X(B $B@DMU;3%-%c%s%Q%9!$(B 2005$BG/(B9$B7n(B13$BF|(B($B2P(B)$B!A(B15$BF|(B($BLZ(B)$B!%(B

  100. $B>>ED0l9'!$Bg@nFAG7!$LnB9,!$d*0lI'!$8U?69>!$Ip;T@5?M!$(B $BLZ>e$NAPJ}8~JQ49$rMxMQ$7$?%U%!%$%k%^%M!<%8%c$N, 2005$BG/JBNs!?J,;6!?6(D4=hM}$K4X$9$k(B $B!XIpM:!Y%5%^!SWoPP$BIpM:(B2005$B!K!$(B $BIpM:;TJ82=2q4[!$(B2005$BG/(B8$B7n(B3$BF|(B($B?e(B)$B!A(B8$B7n(B5$BF|(B($B6b(B)$B!%(B

  101. $BNS(B $B9/;K(B, $B8U(B $B?69>(B, $BIp;T(B $B@5?M(B, $BBPOCE*3X=,65:`$N:n@.;Y1g4D6-$K$D$$$F(B , $B>pJs=hM}3X2q!&%3%s%T%e!<%?$H650i8&5f2q(B $B>pJs650i%7%s%]%8%&%`(B2005, $B%d%^%O%j%>!<%H%-%m%m!JKL3$F;(B $B8e;V;YD#(B $BM>;T74(B $B@V0f@nB
  102. Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi, Reversing iterations: IO swapping leads you there and back again, Technical Report METR2005-11, Department of Mathematical Informatics, University of Tokyo, May 2005.

  103. Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi, A Compositional Framework for Developing Parallel Programs on Two Dimensional Arrays, Technical Report METR2005-09, Department of Mathematical Informatics, University of Tokyo, 2005.

  104. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi, Warm Fusion in Yicho , $BBh(B7$B2s%W%m%0%i%_%s%0$*$h$S%W%m%0%i%_%s%08@8l%o!<%/%7%g%C%W(B, $B72GO8)Mx:,74?e>eD.(B, 2005$BG/(B3$B7n(B9$BF|(B($B?e(B)$B!A(B3$B7n(B11$BF|(B($B6b(B) .

  105. $B?9H*L@>;(B, $Bd*0lI'(B, $B8U?69>(B, $BIp;T@5?M(B, $B8zN(E*$JN_@Q$J$7I=8=(B , $BBh(B7$B2s%W%m%0%i%_%s%0$*$h$S%W%m%0%i%_%s%08@8l%o!<%/%7%g%C%W(B, $B72GO8)Mx:,74?e>eD.(B, 2005$BG/(B3$B7n(B9$BF|(B($B?e(B)$B!A(B3$B7n(B11$BF|(B($B6b(B) .

  106. $B>>ED0l9'!$(B $Bd*0lI'!$(B $B8U?69>!$(B $BIp;T@5?M(B, $B3HD%9TNs1i;;$K4p$E$/%G!<%?%^%$%K%s%04D6-$N, $B>pJs=hM}3X2q(B $BBh(B52$B2s%W%m%0%i%_%s%08&5f2q(B, NTT $B8|LZ8&5f3+H/%;%s%?!<(B, $B#2#0#0#5G/#17n#2#0F|!JLZ!K!A#2#1F|!J6b!K(B.

  107. $B8U?69>(B, $B=qI>(B -- 20$B@$5*$NL>CxL>O@!'(BJoseph E. Stoy: Denotational Semantics: The Scott-Strachey Approach to rogramming Language Theory , $B>pJs=hM}(B, Vol.45, No.11, 2004.

  108. $B2#;3E/O:(B, $B8U?69>(B, $BIp;T@5?M(B, A Combinator Library for Specifying Program Transformation , $BF|K\%=%U%H%&%'%"2J3X2qBh(B21$B2sBg2q(B , $BEl5~9)6HBg3X(B, 2004$BG/(B9$B7n(B15$BF|!A(B17$BF|(B.

  109. $B@>2,??8c!$(B $BCfLn7=2p(B, $B8U?69>(B, $BIp;T@5?M(B, $B9=B$2=J8=q$N1~<{7W;;5!9=(B , $BF|K\%=%U%H%&%'%"2J3X2qBh(B21$B2sBg2q(B , $BEl5~9)6HBg3X(B, 2004$BG/(B9$B7n(B15$BF|!A(B17$BF|(B.

  110. $BNS9/;K!$(B $B8U?69>!$(B $BIp;T@5?M!$(B $BOB2H?-L@!$(B $B862mJ8!$(B $BBgEg65M:(B, Pruning DOM Trees for Structured Document Processing , $BF|K\%=%U%H%&%'%"2J3X2qBh(B21$B2sBg2q(B , $BEl5~9)6HBg3X(B, 2004$BG/(B9$B7n(B15$BF|!A(B17$BF|(B.

  111. $B?9H*L@>;!$(B $Bd*0lI'!$(B $B8U?69>!$(B $BIp;T@5?M!$(B $BB0@-J8K!>e$N(BShortcut Deforestation , $BF|K\%=%U%H%&%'%"2J3X2qBh(B21$B2sBg2q(B , $BEl5~9)6HBg3X(B, 2004$BG/(B9$B7n(B15$BF|!A(B17$BF|(B.

  112. $B9>K\7rEM!$(B $B8U?69>!$(B $Bd*0lI'!$(B $BIp;T@5?M!$(B $BFse$N9=@.E*JBNs%9%1%k%H%s$N, $BF|K\%=%U%H%&%'%"2J3X2qBh(B21$B2sBg2q(B , $BEl5~9)6HBg3X(B, 2004$BG/(B9$B7n(B15$BF|!A(B17$BF|(B.

  113. $Bd*0lI'!$(B $B>>:j8x5*!$(B $B8U?69>!$(B $BIp;T@5?M!$(B A Uniform Approach toward Nested Parallelism , $BF|K\%=%U%H%&%'%"2J3X2qBh(B21$B2sBg2q(B , $BEl5~9)6HBg3X(B, 2004$BG/(B9$B7n(B15$BF|!A(B17$BF|(B.

  114. $BN-El4n!$(B $BNS9/;K!$(B $B8U?69>!$(B $BIp;T@5?M!$(B Calculating Tree Nodes Instead of Table Cells , $BF|K\%=%U%H%&%'%"2J3X2qBh(B21$B2sBg2q(B , $BEl5~9)6HBg3X(B, 2004$BG/(B9$B7n(B15$BF|!A(B17$BF|(B.

  115. $B>>ED0l9'!$(B $B@>2,??8c(B, $B8U?69>!$(B $BIp;T@5?M!$(B $B3,AXE*J,3d$K$h$kJBNsO"A[7W;;(B , $BF|K\%=%U%H%&%'%"2J3X2qBh(B21$B2sBg2q(B , $BEl5~9)6HBg3X(B, 2004$BG/(B9$B7n(B15$BF|!A(B17$BF|(B.

  116. $BL@@PNI>:j8x5*!$(B $B4d:j1Q:H!$(B $Bd*0lI'!$(B $B8U?69>!$(B $B:GE,2=5!9=$r;}$D(BC++$BJBNs%9%1%k%H%s%i%$%V%i%j(B , $BF|K\%=%U%H%&%'%"2J3X2qBh(B21$B2sBg2q(B , $BEl5~9)6HBg3X(B, 2004$BG/(B9$B7n(B15$BF|!A(B17$BF|(B.

  117. Takuma Murakami, Zhenjiang Hu, Shingo Nishioka, Akihiko Takano, Masato Takeichi, An Algebraic Interface for GETA Search Engine, $BBh(B6$B2s%W%m%0%i%_%s%0$*$h$S%W%m%0%i%_%s%08@8l%o!<%/%7%g%C%W(B(PPL2004), $B%[%F%kC]Eg!J0&CN8)3w74;T(B), 2004$BG/(B3$B7n(B11$BF|(B($BLZ(B)$B!A(B3$B7n(B13$BF|(B($BEZ(B).

  118. $BHV(B $B?-9((B, $B8U(B $B?69>(B, $Bd*(B $B0lI'(B, $BIp;T(B $B@5?M(B, Java$B%W%m%0%i%`:GE,2=$N@k8@E*5-=R$H$=$N8zN(E*$J, $BBh(B6$B2s%W%m%0%i%_%s%0$*$h$S%W%m%0%i%_%s%08@8l%o!<%/%7%g%C%W(B(PPL2004), $B%[%F%kC]Eg!J0&CN8)3w74;T(B), 2004$BG/(B3$B7n(B11$BF|(B($BLZ(B)$B!A(B3$B7n(B13$BF|(B($BEZ(B).

  119. $Bd*0lI'(B, $B8U?69>(B, $BIp;T@5?M(B, MMPP: Maximum Marking Problems in Parallel , $BF|K\%=%U%H%&%'%"2J3X2qBh(B20$B2s5-G0Bg2q(B , $B0&CN8)N)Bg3X(B, 2003$BG/(B9$B7n(B16$BF|!A(B19$BF|(B.

  120. $B>>:j8x5*(B, $Bd*0lI'(B, $B8U?69>(B, $BIp;T@5?M(B, Parallelizing Polytypic Programs with Accumulations , $BF|K\%=%U%H%&%'%"2J3X2qBh(B20$B2s5-G0Bg2q(B , $B0&CN8)N)Bg3X(B, 2003$BG/(B9$B7n(B16$BF|!A(B19$BF|(B.

  121. $BIp;T@5?M(B, $B8U?69>(B, $Bd*0lI'(B, $BNS9/;K(B, $BKT?.@.(B, $BCfLn7=2p(B, TreeCalc : Towards Programmable Structured Documents , $BF|K\%=%U%H%&%'%"2J3X2qBh(B20$B2s5-G0Bg2q(B , $B0&CN8)N)Bg3X(B, 2003$BG/(B9$B7n(B16$BF|!A(B19$BF|(B.

  122. $B2#;3E/O:(B, $B8U?69>(B, $BIp;T@5?M(B, $B7hDjO@E*(B2$B3,%Q%?!<%s$H%W%m%0%i%`JQ49$X$N1~MQ(B , $BF|K\%=%U%H%&%'%"2J3X2qBh(B20$B2s5-G0Bg2q(B , $B0&CN8)N)Bg3X(B, 2003$BG/(B9$B7n(B16$BF|!A(B19$BF|(B.

  123. $BB<>eBs??(B, $B@>2,??8c(B, $B8U?69>(B, $B9bLnL@I'(B Scripting GETA Searching Engine in Haskell , $BF|K\%=%U%H%&%'%"2J3X2qBh(B20$B2s5-G0Bg2q(B , $B0&CN8)N)Bg3X(B, 2003$BG/(B9$B7n(B16$BF|!A(B19$BF|(B.

  124. $B;32,M5;J(B, $B8U?69>(B, $BIp;T@5?M(B, $B>.@n?p;K(B, $B%b%G%k8!::5;=Q$rMxMQ$7$?%W%m%0%i%`2r@O$N<+F0@8@.(B , IPSJ $BBh#4#22s%W%m%0%i%_%s%08&5f2q(B , $BL>8E20Bg3X(B $B%Y%s%A%c!<%S%8%M%9%i%\%i%H%j(B, 2003$BG/(B1$B7n(B23$BF|(B,24$BF|(B.

  125. Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi, Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses - , 3rd Aisan Workshop on Programming Languages and Systems , Shanghai, China, November 29 - December 1, 2002. (in English)

  126. Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi, Function Fusion with Types and Patterns of Regular Expressions , 3rd Aisan Workshop on Programming Languages and Systems , Shanghai, China, November 29 - December 1, 2002. (in English)

  127. Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu, A Type-Directed Approach to Parallelization (Preliminary Report) , 3rd Aisan Workshop on Programming Languages and Systems , Shanghai, China, November 29 - December 1, 2002. (in English)

  128. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Flattening Transformation for Efficient Segmented Computation , 3rd Aisan Workshop on Programming Languages and Systems , Shanghai, China, November 29 - December 1, 2002. (in English)

  129. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, Implementation of Parallel Tree Skeletons on Distributed Systems , 3rd Aisan Workshop on Programming Languages and Systems , Shanghai, China, November 29 - December 1, 2002. (in English)

  130. Takuma Murakami, Zhenjiang Hu, Masato Takeichi, An Optimal Staging Algorithm , 3rd Aisan Workshop on Programming Languages and Systems , Shanghai, China, November 29 - December 1, 2002. (in English)

  131. $Bd*(B $B0lI'(B, $B8U(B $B?69>(B, $BIp;T(B $B@5?M(B, Fusion Transformation on Functional Programs with Regular Patterns, $BF|K\%=%U%H%&%'%"2J3X2qBh(B19$B2sBg2qO@J8=8(B, $B;:6H5;=QAm9g8&5f=jNW3$I{ET?4%;%s%?!<(B $B!&F|K\2J3XL$Mh4[(B, 2002$BG/(B9$B7n(B11$BF|(B($B?e(B)$B!A(B13$BF|(B($B6b(B). (in English)

  132. $B>>:j(B $B8x5*(B, $B8U(B $B?69>(B, $BIp;T(B $B@5?M(B, $BJ,;6%a%b%j7?JBNs7W;;5!>e$G$NLZ$KBP$9$kJBNs%9%1%k%H%s$N, $BF|K\%=%U%H%&%'%"2J3X2qBh(B19$B2sBg2qO@J8=8(B, $B;:6H5;=QAm9g8&5f=jNW3$I{ET?4%;%s%?!<(B $B!&F|K\2J3XL$Mh4[(B, 2002$BG/(B9$B7n(B11$BF|(B($B?e(B)$B!A(B13$BF|(B($B6b(B).

  133. Zhenjiang Hu, Optimization of Skeletal Parallel Programs (Invited Talk, OHP Slides) 3rd International Workshop on Constructive Methods for Parallel Programming ( CMPP 2002), Schloss Dagstuhl, Germany, 10. July 2002.

  134. Haiyna Zhao, Zhenjiang Hu, Masato Takeichi, A Compositional Framework for Mining Longest Ranges, Technical Report METR 2002-05, Dept. of Mathematical Informatics, University of Tokyo, 2002$BG/(B.

  135. $B8U?69>(B, $B%G!<%?%^%$%K%s%0$K$*$1$k:GE,6h4VAj4X%k!<%k$N(B $B8zN(E*H/8+$r;Y1g$9$k%7%9%F%`$N3+H/(B, $B>pJs=hM}?66=;v6H6(2q(B $BJ?@.(B13$BG/EY@.2LJs9p=8(B, 2002$BG/(B.

  136. $BGrBt3Z(B, $B8U?69>(B, $B4d:j1Q:H(B, C$B8@8l>e$N%9%1%k%H%sJBNs%W%m%0%i%_%s%0%7%9%F%`(B, $BBh(B5$B2s%W%m%0%i%_%s%0$*$h$S1~MQ$N%7%9%F%`$K4X$9$k%o!<%/%7%g%C%W(B, $BJLI\(B $B?yG50f%[%F%k(B, 2002$BG/(B3$B7n(B4$BF|!A(B3$B7n(B6$BF|(B.

  137. $B9b66CN@.(B, $B8U?69>(B, $B4d:j1Q:H(B, $BIT6QEy%G!<%?>e$K$*$1$kHFMQE*JBNs%9%1%k%H%s(B "s-diff" $B$NDs0F(B, $BBh#42s%W%m%0%i%_%s%0$*$h$S%W%m%0%i%_%s%08@8l%o!<%/%7%g%C%W(B, $BJLI\(B $B?yG50f%[%F%k(B, 2002$BG/(B3$B7n(B5$BF|!A(B3$B7n(B7$BF|(B.

  138. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi, Mining Opitimized Ranges, Second Asian Workshop on Programming Languages and Systems, KAIST, Korea, Singapore, December 17-18, 2001.

  139. $B0KF#N4(B, $BEDCfE/O/(B, $B8U(B $B?69>(B, $BIp;T(B $B@5?M(B, $B$7$j$H$j%2!<%`$N?tM}E*2r@O(B, $BBh(B6$B2s%2!<%`%W%m%0%i%_%s%0%o!<%/%7%g%C%W(B 2001 (GPW-01), $B?@F`@n8)H":,%;%_%J!<%O%&%9(B, 2001$BG/(B10$B7n(B26-28$BF|(B.

  140. $B2#;3(B $BE/O:(B, $B(B, $BIp;T(B $B@5?M(B, $B:GBg%^!<%/IU$1LdBj$N8zN(E*%W%m%0%i%`$N<+F0@8@.(B, $B>pJs=hM}3X2qBh(B36$B2s%W%m%0%i%_%s%08&5f2q(B, $B9bCN9)2JBg3X(B, 2001$BG/(B10$B7n(B22$BF|!A(B23$BF|(B.

  141. Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa, Derivation of Linear Algorithm for Mining Optimized Gain Association Rules, $BF|K\%=%U%H%&%'%"2J3X2qBh(B18$B2sBg2qO@J8=8(B(CD-ROM$B$N$_(B), $B$O$3$@$FL$MhBg3X(B, 2001$BG/(B9$B7n(B18$BF|!A(B20$BF|(B. (in English)

  142. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi, Multidimensional Searching Trees with Minimum Attribut, $BF|K\%=%U%H%&%'%"2J3X2qBh(B18$B2sBg2qO@J8=8(B(CD-ROM$B$N$_(B), $B$O$3$@$FL$MhBg3X(B, 2001$BG/(B9$B7n(B18$BF|!A(B20$BF|(B. (in English)

  143. $B8U?69>(B, $BIp;T@5?M(B, $B%W%m%0%i%`1?;;$N?tM}(B, $B?t3X%;%_%J!<(B, 40(7), pp.47-53, 2001.

  144. $B>.@n?p;K(B, $B8U?69>(B, ACM PLI 2000 $B2q5DJs9p(B, $B%3%s%T%e!<%?%=%U%H%&%(%"(B, 18(3), pp.49-54. 2001.

  145. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi, Mining Opitimized Ranges: A functional Approach, $BBh(B3$B2s%W%m%0%i%_%s%0$*$h$S%W%m%0%i%_%s%08@8l%o!<%/%7%g%C%W(B(JSSST PPL 2001), $B552,!"(B2001$BG/(B3$B7n(B21$BF|!<(B23$BF|(B. pp.61-19.

Back to Hu's Home Page

Last modified: July 2002