dblp.uni-trier.dewww.uni-trier.de

Zhenjiang Hu Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
73EEYingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei: Supporting automatic model inconsistency fixing. ESEC/SIGSOFT FSE 2009: 315-324
72EEYingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi: Supporting Parallel Updates with Bidirectional Model Transformations. ICMT 2009: 213-228
71EEKrzysztof 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
70EESoichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano: A compositional approach to bidirectional model transformation. ICSE Companion 2009: 235-238
69EEKazutaka Matsuda, Zhenjiang Hu, Masato Takeichi: Type-based specialization of xml transformations. PEPM 2009: 61-72
68EEAkimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. POPL 2009: 177-185
67EESoichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano: Towards a compositional approach to model transformation for software development. SAC 2009: 468-475
2008
66EEYijun Yu, Haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Nobukazu Yoshioka: Enforcing a security pattern in stakeholder goal models. QoP 2008: 9-14
65EEZhenjiang 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)
2007
64EEYasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi: A Web Service Architecture for Bidirectional XML Updating. APWeb/WAIM 2007: 721-732
63EEYingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei: Towards automatic model synchronization from model transformations. ASE 2007: 164-173
62EEKento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Domain-Specific Optimization Strategy for Skeleton Programs. Euro-Par 2007: 705-714
61EEKazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi: Bidirectionalization transformation based on automatic derivation of view complement functions. ICFP 2007: 47-58
60EEDongxi Liu, Zhenjiang Hu, Masato Takeichi: Bidirectional interpretation of XQuery. PEPM 2007: 21-30
59EEKazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Automatic inversion generates divide-and-conquer parallel programs. PLDI 2007: 146-155
58EEKento 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)
2006
57EEKento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. Euro-Par 2006: 605-614
56EEZhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi: Program Optimizations and Transformations in Calculation Form. GTTSE 2006: 144-168
55EEKiminori Matsuzaki, Hideya Iwasaki, Kento Emoto, Zhenjiang Hu: A library of constructive skeletons for sequential style of parallel programming. Infoscale 2006: 13
54EEAkimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi: Swapping Arguments and Results of Recursive Functions. MPC 2006: 379-396
53EEKiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Towards automatic parallelization of tree reductions in dynamic programming. SPAA 2006: 39-48
52EEKiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Parallel skeletons for manipulating general trees. Parallel Computing 32(7-8): 590-603 (2006)
2005
51EEDongxi Liu, Zhenjiang Hu, Masato Takeichi: An environment for maintaining computation dependency in XML documents. ACM Symposium on Document Engineering 2005: 42-51
50EEIsao Sasano, Mizuhito Ogawa, Zhenjiang Hu: Maximum Marking Problems with Accumulative Weight Functions. ICTAC 2005: 562-578
49EEYixiong Liang, Weiguo Gong, Yingjun Pan, Weihong Li, Zhenjiang Hu: Gabor Features-Based Classification Using SVM for Face Recognition. ISNN (2) 2005: 118-123
48EEKiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi: Systematic Derivation of Tree Contraction Algorithms. Parallel Processing Letters 15(3): 321-336 (2005)
2004
47EEDana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu: PType System: A Featherweight Parallelizability Detector. APLAS 2004: 197-212
46EEShin-Cheng Mu, Zhenjiang Hu, Masato Takeichi: An Algebraic Approach to Bi-directional Updating. APLAS 2004: 2-20
45EEKiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi: A Fusion-Embedded Skeleton Library. Euro-Par 2004: 644-653
44EEShin-Cheng Mu, Zhenjiang Hu, Masato Takeichi: An Injective Language for Reversible Computation. MPC 2004: 289-313
43EEZhenjiang Hu, Shin-Cheng Mu, Masato Takeichi: A programmable editor for developing structured documents based on bidirectional transformations. PEPM 2004: 178-189
42EETetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: Deterministic second-order patterns. Inf. Process. Lett. 89(6): 309-314 (2004)
41EEHideya Iwasaki, Zhenjiang Hu: A New Parallel Skeleton for General Accumulative Computations. International Journal of Parallel Programming 32(5): 389-414 (2004)
2003
40EEKiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Parallelization with Tree Skeletons. Euro-Par 2003: 789-798
39EEMizuhito Ogawa, Zhenjiang Hu, Isao Sasano: Iterative-free program analysis. ICFP 2003: 111-123
38EETakuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi: An Efficient Staging Algorithm for Binding-Time Analysis. LOPSTR 2003: 106-107
37EETetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: Deterministic Higher-Order Patterns for Program Transformation. LOPSTR 2003: 128-142
36 Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi: List Homomorphism with Accumulation. SNPD 2003: 250-259
35EEZhenjiang Hu, Mario Rodríguez-Artalejo: Editorial: the Sixth International Symposium on Functional and Logic Programming. Journal of Functional and Logic Programming 2003: (2003)
2002
34 Zhenjiang Hu, Mario Rodríguez-Artalejo: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings Springer 2002
33 Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi: Fusion Transformation on Functional Programs of Regular Expression Types. APLAS 2002: 160-174
32 Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu: A Type-Based Approach to Parallelization (preliminary report). APLAS 2002: 175-192
31 Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. APLAS 2002: 246-257
30 Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Implementation of Parallel Tree Skeletons on Distributed Systems. APLAS 2002: 258-271
29 Takuma Murakami, Zhenjiang Hu, Masato Takeichi: An Optimal Staging Algorithm. APLAS 2002: 272-284
28 Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: Yicho - A System for Programming Program Calculations. APLAS 2002: 366-382
27 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
26EEHaiyan Zhao, Zhenjiang Hu, Masato Takeichi: A Compositional Framework for Mining Longest Ranges. Discovery Science 2002: 406-413
25EEZhenjiang Hu, Hideya Iwasaki, Masato Takeichi: An Accumulative Parallel Skeleton for All. ESOP 2002: 83-97
24EEWei-Ngan Chin, Zhenjiang Hu: Towards a Modular Program Derivation via Fusion and Tupling. GPCE 2002: 140-155
2001
23 Haiyan Zhao, Zhenjiang Hu, Masato Takeichi: A Compositional Framework for Querying Optimized Ranges. APLAS 2001: 363-376
22 Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: An Accumulative Parallel Skeleton for All. APLAS 2001: 89-101
21EEIsao Sasano, Zhenjiang Hu, Masato Takeichi: Generation of Efficient Programs for Solving Maximum Multi-marking Problems. SAIG 2001: 72-91
20 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)
2000
19 Haiyan Zhao, Zhenjiang Hu, Masato Takeichi: Mining Optimized Ranges. APLAS 2000: 119-127
18EEIsao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa: Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. ICFP 2000: 137-149
17EEZhenjiang Hu, Wei-Ngan Chin, Masato Takeichi: Calculating a New Data Mining Algorithm for Market Basket Analysis. PADL 2000: 169-184
16 Seiichi Adachi, Hideya Iwasaki, Zhenjiang Hu: Diff: A Powerful Parallel Skeleton. PDPTA 2000
15 Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi: Deriving Parallel Codes via Invariants. SAS 2000: 75-94
1999
14 Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki: Diffusion: Calculating Efficient Parallel Programs. PEPM 1999: 85-94
13 Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Calculating Accumulations. New Generation Comput. 17(2): 153-173 (1999)
12EEZhenjiang Hu, Masato Takeichi: Calculating an Optimal Homomorphic Algorithm for Bracket Matching. Parallel Processing Letters 9(3): 335-345 (1999)
1998
11 Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi: Towards Manipulation of Mutually Recursive Functions. Fuji International Symposium on Functional and Logic Programming 1998: 61-79
10EEWei-Ngan Chin, Akihiko Takano, Zhenjiang Hu: Parallelization via Context Preservation. ICCL 1998: 153-
9EEZhenjiang Hu, Masato Takeichi, Wei-Ngan Chin: Parallelization in Calculational Forms. POPL 1998: 316-328
8EEAkihiko Takano, Zhenjiang Hu, Masato Takeichi: Program Transformation in Calculational Form. ACM Comput. Surv. 30(3es): 7 (1998)
1997
7 Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: A calculational fusion system HYLO. Algorithmic Languages and Calculi 1997: 76-106
6 Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano: Tupling Calculation Eliminates Multiple Data Traversals. ICFP 1997: 164-175
5EEZhenjiang 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)
1996
4EEZhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. Euro-Par, Vol. I 1996: 553-562
3 Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Deriving Structural Hylomorphisms From Recursive Definitions. ICFP 1996: 73-82
2EEZhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Construction of List Homomorphisms by Tupling and Fusion. MFCS 1996: 407-418
1EEZhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Cheap Tupling in Calculational Form. PLILP 1996: 471-472

Coauthor Index

1Seiichi Adachi [16]
2Yoshiki Akashi [45]
3Wei-Ngan Chin [9] [10] [15] [17] [20] [24] [32]
4Krzysztof Czarnecki [71]
5Kento Emoto [55] [57] [58] [62] [64]
6J. Nathan Foster [71]
7Weiguo Gong [49]
8Makoto Hamana [61]
9Yasushi Hayashi [64]
10Soichiro Hidaka [67] [70]
11Hideya Iwasaki [1] [2] [3] [4] [5] [6] [7] [11] [13] [14] [16] [22] [25] [31] [41] [45] [55]
12Haruhiko Kaiya [66]
13Kazuhiko Kakehi [33] [36] [38] [45] [48] [54] [58]
14Hiroyuki Kato [67] [70]
15Siau-Cheng Khoo [15] [32] [47]
16Ralf Lämmel (Ralf Laemmel, Ralf Lammel) [71]
17Weihong Li [49]
18Yixiong Liang [49]
19Dongxi Liu [51] [60] [63] [64]
20Kazutaka Matsuda [61] [64] [69]
21Kiminori Matsuzaki [30] [40] [45] [48] [52] [53] [55] [57] [59] [62] [68]
22Hong Mei [63] [73]
23Akimasa Morihata [54] [59] [68]
24Kazutaka Morita [59]
25Shin-Cheng Mu [43] [44] [46] [65]
26Takuma Murakami [29] [38]
27Keisuke Nakano [61] [67] [70]
28Mizuhito Ogawa [18] [27] [39] [50]
29Yoshiyuki Onoue [7]
30Yingjun Pan [49]
31Mario Rodríguez-Artalejo [34] [35]
32Isao Sasano [18] [21] [27] [39] [50]
33Andy Schürr [71]
34Hui Song [72] [73]
35Akihiko Takano [6] [8] [10]
36Masato Takeichi [1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [15] [17] [18] [19] [20] [21] [22] [23] [25] [26] [27] [28] [29] [30] [31] [33] [36] [37] [38] [40] [42] [43] [44] [46] [48] [51] [52] [53] [54] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [68] [69] [72] [73]
37James F. Terwilliger [71]
38Hironori Washizaki [66]
39Yingfei Xiong [63] [66] [72] [73]
40Dana N. Xu [32] [47]
41Tetsuo Yokoyama [28] [37] [42] [56]
42Nobukazu Yoshioka [66]
43Yijun Yu [66]
44Haiyan Zhao [19] [23] [26] [63] [73]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)