- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j22 |      | 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 7(2): 257-271 (2013) |
| j21 | | Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi: Synchronizing concurrent model updates based on bidirectional transformation. Software and System Modeling 12(1): 89-104 (2013) |
| c80 | | |
| c79 | | Yu Liu, Kento Emoto, Zhenjiang Hu: A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce. PMAM 2013: 71-81 |
| 2012 | ||
| j20 | | |
| j19 | | Kento Emoto, Sebastian Fischer, Zhenjiang Hu: Filter-embedding semiring fusion for programming with MapReduce. Formal Asp. Comput. 24(4-6): 623-645 (2012) |
| j18 | | Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi: Manipulating accumulative functions by swapping call-time and return-time computations. J. Funct. Program. 22(3): 275-299 (2012) |
| c78 | | Kento Emoto, Sebastian Fischer, Zhenjiang Hu: Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. ESOP 2012: 254-273 |
| c77 | | Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux: Maintaining invariant traceability through bidirectional transformations. ICSE 2012: 540-550 |
| e4 | | Zhenjiang Hu, Juan de Lara (Eds.): Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings. Lecture Notes in Computer Science 7307, Springer 2012, isbn 978-3-642-30475-0 |
| 2011 | ||
| j17 | | Hui Song, Gang Huang, Franck Chauvel, Yingfei Xiong, Zhenjiang Hu, Yanchun Sun, Hong Mei: Supporting runtime software architecture: A bidirectional-transformation-based approach. Journal of Systems and Software 84(5): 711-723 (2011) |
| j16 | | Zhenjiang Hu: Special Issue on Programming Languages and Systems. New Generation Comput. 29(1): 1-2 (2011) |
| j15 | | Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger: Dagstuhl seminar on bidirectional transformations (BX). SIGMOD Record 40(1): 35-39 (2011) |
| c76 | | Yu Liu, Zhenjiang Hu, Kiminori Matsuzaki: Towards Systematic Parallel Programming over MapReduce. Euro-Par (2) 2011: 39-50 |
| c75 | | Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano: Toward Bidirectionalization of ATL with GRoundTram. ICMT 2011: 138-151 |
| c74 | | Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano: GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations. ASE 2011: 480-483 |
| c73 | | Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano: Marker-Directed Optimization of UnCAL Graph Transformations. LOPSTR 2011: 123-138 |
| c72 | | Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano: Graph-transformation verification using monadic second-order logic. PPDP 2011: 17-28 |
| e3 |  | Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy (Eds.): Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011. ACM 2011, isbn 978-1-4503-0865-6 |
| i1 | | Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger: Bidirectional Transformation "bx" (Dagstuhl Seminar 11031). Dagstuhl Reports 1(1): 42-67 (2011) |
| 2010 | ||
| c71 | | Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi: Program Calculation in Coq. AMAST 2010: 163-179 |
| c70 | | Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara: Context-Preserving XQuery Fusion. APLAS 2010: 255-270 |
| c69 | | Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi: A Grammar-Based Approach to Invertible Programs. ESOP 2010: 448-467 |
| c68 | | Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi: Generators-of-Generators Library with Optimization Capabilities in Fortress. Euro-Par (2) 2010: 26-37 |
| c67 | | Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang: Combining syntactic and semantic bidirectionalization. ICFP 2010: 181-192 |
| c66 | | Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano: Bidirectionalizing graph transformations. ICFP 2010: 205-216 |
| c65 | | Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei: A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models. MoDELS (1) 2010: 181-195 |
| c64 | | |
| c63 | | Louis Gesbert, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson: Systematic Development of Correct Bulk Synchronous Parallel Programs. PDCAT 2010: 334-340 |
| 2009 | ||
| j14 | | Keisuke Nakano, Zhenjiang Hu, Masato Takeichi: Consistent Web site updating based on bidirectional transformation. STTT 11(6): 453-468 (2009) |
| c62 | | Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi: Supporting Parallel Updates with Bidirectional Model Transformations. ICMT 2009: 213-228 |
| c61 | | Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, James F. Terwilliger: Bidirectional Transformations: A Cross-Discipline Perspective. ICMT 2009: 260-283 |
| c60 | | Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano: A compositional approach to bidirectional model transformation. ICSE Companion 2009: 235-238 |
| c59 | | Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei: Generating Synchronization Engines between Running Systems and Their Model-Based Views. MoDELS Workshops 2009: 140-154 |
| c58 | | Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi: Type-based specialization of xml transformations. PEPM 2009: 61-72 |
| c57 | | Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. POPL 2009: 177-185 |
| c56 | | Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano: Towards a compositional approach to model transformation for software development. SAC 2009: 468-475 |
| c55 | | Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei: Supporting automatic model inconsistency fixing. ESEC/SIGSOFT FSE 2009: 315-324 |
| e2 | | 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, isbn 978-3-642-10671-2 |
| 2008 | ||
| j13 | | Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi: A programmable editor for developing structured documents based on bidirectional transformations. Higher-Order and Symbolic Computation 21(1-2): 89-118 (2008) |
| c54 | | Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Nobukazu Yoshioka: Enforcing a security pattern in stakeholder goal models. QoP 2008: 9-14 |
| c53 | | Keisuke Nakano, Zhenjiang Hu, Masato Takeichi: Consistent Web site updating based on bidirectional transformation. WSE 2008: 45-54 |
| 2007 | ||
| j12 | | Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi: A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays. International Journal of Parallel Programming 35(6): 615-658 (2007) |
| c52 | | Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Domain-Specific Optimization Strategy for Skeleton Programs. Euro-Par 2007: 705-714 |
| c51 | | Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi: Bidirectionalization transformation based on automatic derivation of view complement functions. ICFP 2007: 47-58 |
| c50 | | Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei: Towards automatic model synchronization from model transformations. ASE 2007: 164-173 |
| c49 | | |
| c48 | | Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Automatic inversion generates divide-and-conquer parallel programs. PLDI 2007: 146-155 |
| c47 | | Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi: A Web Service Architecture for Bidirectional XML Updating. APWeb/WAIM 2007: 721-732 |
| 2006 | ||
| j11 | | Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Parallel skeletons for manipulating general trees. Parallel Computing 32(7-8): 590-603 (2006) |
| c46 | | Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. Euro-Par 2006: 605-614 |
| c45 | | Kiminori Matsuzaki, Hideya Iwasaki, Kento Emoto, Zhenjiang Hu: A library of constructive skeletons for sequential style of parallel programming. Infoscale 2006: 13 |
| c44 | | Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi: Swapping Arguments and Results of Recursive Functions. MPC 2006: 379-396 |
| c43 | | Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Towards automatic parallelization of tree reductions in dynamic programming. SPAA 2006: 39-48 |
| 2005 | ||
| j10 | | Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi: Systematic Derivation of Tree Contraction Algorithms. Parallel Processing Letters 15(3): 321-336 (2005) |
| c42 | | Dongxi Liu, Zhenjiang Hu, Masato Takeichi: An environment for maintaining computation dependency in XML documents. ACM Symposium on Document Engineering 2005: 42-51 |
| c41 | | Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi: Program Optimizations and Transformations in Calculation Form. GTTSE 2005: 144-168 |
| c40 | | Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu: Maximum Marking Problems with Accumulative Weight Functions. ICTAC 2005: 562-578 |
| c39 | | Yixiong Liang, Weiguo Gong, Yingjun Pan, Weihong Li, Zhenjiang Hu: Gabor Features-Based Classification Using SVM for Face Recognition. ISNN (2) 2005: 118-123 |
| 2004 | ||
| j9 | | Hideya Iwasaki, Zhenjiang Hu: A New Parallel Skeleton for General Accumulative Computations. International Journal of Parallel Programming 32(5): 389-414 (2004) |
| j8 | | Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: Deterministic second-order patterns. Inf. Process. Lett. 89(6): 309-314 (2004) |
| c38 | | Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi: An Algebraic Approach to Bi-directional Updating. APLAS 2004: 2-20 |
| c37 | | Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu: PType System: A Featherweight Parallelizability Detector. APLAS 2004: 197-212 |
| c36 | | Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi: A Fusion-Embedded Skeleton Library. Euro-Par 2004: 644-653 |
| c35 | | Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi: An Injective Language for Reversible Computation. MPC 2004: 289-313 |
| c34 | | Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi: A programmable editor for developing structured documents based on bidirectional transformations. PEPM 2004: 178-189 |
| 2003 | ||
| j7 | | Zhenjiang Hu, Mario Rodríguez-Artalejo: Editorial: the Sixth International Symposium on Functional and Logic Programming. Journal of Functional and Logic Programming 2003 (2003) |
| j6 | | Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano: Iterative-free program analysis. SIGPLAN Notices 38(9): 111-123 (2003) |
| c33 | | Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Parallelization with Tree Skeletons. Euro-Par 2003: 789-798 |
| c32 | | |
| c31 | | Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi: An Efficient Staging Algorithm for Binding-Time Analysis. LOPSTR 2003: 106-107 |
| c30 | | Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: Deterministic Higher-Order Patterns for Program Transformation. LOPSTR 2003: 128-142 |
| c29 | | Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi: List Homomorphism with Accumulation. SNPD 2003: 250-259 |
| 2002 | ||
| c28 | | Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi: Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. APLAS 2002: 58-73 |
| c27 | | Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi: Fusion Transformation on Functional Programs of Regular Expression Types. APLAS 2002: 160-174 |
| c26 | | Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu: A Type-Based Approach to Parallelization (preliminary report). APLAS 2002: 175-192 |
| c25 | | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. APLAS 2002: 246-257 |
| c24 | | Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Implementation of Parallel Tree Skeletons on Distributed Systems. APLAS 2002: 258-271 |
| c23 | | |
| c22 | | Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: Yicho - A System for Programming Program Calculations. APLAS 2002: 366-382 |
| c21 | | Haiyan Zhao, Zhenjiang Hu, Masato Takeichi: A Compositional Framework for Mining Longest Ranges. Discovery Science 2002: 406-413 |
| c20 | | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: An Accumulative Parallel Skeleton for All. ESOP 2002: 83-97 |
| c19 | | Wei-Ngan Chin, Zhenjiang Hu: Towards a Modular Program Derivation via Fusion and Tupling. GPCE 2002: 140-155 |
| e1 | | Zhenjiang Hu, Mario Rodríguez-Artalejo (Eds.): Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings. Lecture Notes in Computer Science 2441, Springer 2002, isbn 3-540-44233-2 |
| 2001 | ||
| j5 | | Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi: Calculating a New Data Mining Algorithm for Market Basket Analysis. Journal of Functional and Logic Programming 2001(8) (2001) |
| c18 | | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: An Accumulative Parallel Skeleton for All. APLAS 2001: 89-101 |
| c17 | | Haiyan Zhao, Zhenjiang Hu, Masato Takeichi: A Compositional Framework for Querying Optimized Ranges. APLAS 2001: 363-376 |
| c16 | | Isao Sasano, Zhenjiang Hu, Masato Takeichi: Generation of Efficient Programs for Solving Maximum Multi-marking Problems. SAIG 2001: 72-91 |
| 2000 | ||
| c15 | | |
| c14 | | Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa: Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. ICFP 2000: 137-149 |
| c13 | | Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi: Calculating a New Data Mining Algorithm for Market Basket Analysis. PADL 2000: 169-184 |
| c12 | | |
| c11 | | Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi: Deriving Parallel Codes via Invariants. SAS 2000: 75-94 |
| 1999 | ||
| j4 | | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Calculating Accumulations. New Generation Comput. 17(2): 153-173 (1999) |
| j3 | | Zhenjiang Hu, Masato Takeichi: Calculating an Optimal Homomorphic Algorithm for Bracket Matching. Parallel Processing Letters 9(3): 335-345 (1999) |
| c10 | | Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki: Diffusion: Calculating Efficient Parallel Programs. PEPM 1999: 85-94 |
| 1998 | ||
| j2 | | Akihiko Takano, Zhenjiang Hu, Masato Takeichi: Program Transformation in Calculational Form. ACM Comput. Surv. 30(3es): 7 (1998) |
| c9 | | Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi: Towards Manipulation of Mutually Recursive Functions. Fuji International Symposium on Functional and Logic Programming 1998: 61-79 |
| c8 | | Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu: Parallelization via Context Preservation. ICCL 1998: 153- |
| c7 | | Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin: Parallelization in Calculational Forms. POPL 1998: 316-328 |
| 1997 | ||
| j1 | | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms. ACM Trans. Program. Lang. Syst. 19(3): 444-461 (1997) |
| c6 | | Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: A calculational fusion system HYLO. Algorithmic Languages and Calculi 1997: 76-106 |
| c5 | | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano: Tupling Calculation Eliminates Multiple Data Traversals. ICFP 1997: 164-175 |
| 1996 | ||
| c4 | | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. Euro-Par, Vol. I 1996: 553-562 |
| c3 | | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Deriving Structural Hylomorphisms From Recursive Definitions. ICFP 1996: 73-82 |
| c2 | | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Construction of List Homomorphisms by Tupling and Fusion. MFCS 1996: 407-418 |
| c1 | | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Cheap Tupling in Calculational Form. PLILP 1996: 471-472 |
Colors in the list of coauthors
Last update Sun May 26 04:49:19 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page