| 2009 |
|---|
| 69 | EE | Kazutaka Matsuda,
Zhenjiang Hu,
Masato Takeichi:
Type-based specialization of xml transformations.
PEPM 2009: 61-72 |
| 68 | EE | 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 |
| 67 | EE | Soichiro Hidaka,
Zhenjiang Hu,
Hiroyuki Kato,
Keisuke Nakano:
Towards a compositional approach to model transformation for software development.
SAC 2009: 468-475 |
| 2008 |
|---|
| 66 | EE | Yijun Yu,
Haruhiko Kaiya,
Hironori Washizaki,
Yingfei Xiong,
Zhenjiang Hu,
Nobukazu Yoshioka:
Enforcing a security pattern in stakeholder goal models.
QoP 2008: 9-14 |
| 65 | EE | 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) |
| 2007 |
|---|
| 64 | EE | 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 |
| 63 | EE | Yingfei Xiong,
Dongxi Liu,
Zhenjiang Hu,
Haiyan Zhao,
Masato Takeichi,
Hong Mei:
Towards automatic model synchronization from model transformations.
ASE 2007: 164-173 |
| 62 | EE | Kento Emoto,
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi:
Domain-Specific Optimization Strategy for Skeleton Programs.
Euro-Par 2007: 705-714 |
| 61 | EE | Kazutaka Matsuda,
Zhenjiang Hu,
Keisuke Nakano,
Makoto Hamana,
Masato Takeichi:
Bidirectionalization transformation based on automatic derivation of view complement functions.
ICFP 2007: 47-58 |
| 60 | EE | Dongxi Liu,
Zhenjiang Hu,
Masato Takeichi:
Bidirectional interpretation of XQuery.
PEPM 2007: 21-30 |
| 59 | EE | Kazutaka Morita,
Akimasa Morihata,
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi:
Automatic inversion generates divide-and-conquer parallel programs.
PLDI 2007: 146-155 |
| 58 | EE | 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) |
| 2006 |
|---|
| 57 | EE | Kento Emoto,
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi:
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions.
Euro-Par 2006: 605-614 |
| 56 | EE | Zhenjiang Hu,
Tetsuo Yokoyama,
Masato Takeichi:
Program Optimizations and Transformations in Calculation Form.
GTTSE 2006: 144-168 |
| 55 | EE | Kiminori Matsuzaki,
Hideya Iwasaki,
Kento Emoto,
Zhenjiang Hu:
A library of constructive skeletons for sequential style of parallel programming.
Infoscale 2006: 13 |
| 54 | EE | Akimasa Morihata,
Kazuhiko Kakehi,
Zhenjiang Hu,
Masato Takeichi:
Swapping Arguments and Results of Recursive Functions.
MPC 2006: 379-396 |
| 53 | EE | Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi:
Towards automatic parallelization of tree reductions in dynamic programming.
SPAA 2006: 39-48 |
| 52 | EE | Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi:
Parallel skeletons for manipulating general trees.
Parallel Computing 32(7-8): 590-603 (2006) |
| 2005 |
|---|
| 51 | EE | Dongxi Liu,
Zhenjiang Hu,
Masato Takeichi:
An environment for maintaining computation dependency in XML documents.
ACM Symposium on Document Engineering 2005: 42-51 |
| 50 | EE | Isao Sasano,
Mizuhito Ogawa,
Zhenjiang Hu:
Maximum Marking Problems with Accumulative Weight Functions.
ICTAC 2005: 562-578 |
| 49 | EE | Yixiong Liang,
Weiguo Gong,
Yingjun Pan,
Weihong Li,
Zhenjiang Hu:
Gabor Features-Based Classification Using SVM for Face Recognition.
ISNN (2) 2005: 118-123 |
| 48 | EE | Kiminori Matsuzaki,
Zhenjiang Hu,
Kazuhiko Kakehi,
Masato Takeichi:
Systematic Derivation of Tree Contraction Algorithms.
Parallel Processing Letters 15(3): 321-336 (2005) |
| 2004 |
|---|
| 47 | EE | Dana N. Xu,
Siau-Cheng Khoo,
Zhenjiang Hu:
PType System: A Featherweight Parallelizability Detector.
APLAS 2004: 197-212 |
| 46 | EE | Shin-Cheng Mu,
Zhenjiang Hu,
Masato Takeichi:
An Algebraic Approach to Bi-directional Updating.
APLAS 2004: 2-20 |
| 45 | EE | Kiminori Matsuzaki,
Kazuhiko Kakehi,
Hideya Iwasaki,
Zhenjiang Hu,
Yoshiki Akashi:
A Fusion-Embedded Skeleton Library.
Euro-Par 2004: 644-653 |
| 44 | EE | Shin-Cheng Mu,
Zhenjiang Hu,
Masato Takeichi:
An Injective Language for Reversible Computation.
MPC 2004: 289-313 |
| 43 | EE | Zhenjiang Hu,
Shin-Cheng Mu,
Masato Takeichi:
A programmable editor for developing structured documents based on bidirectional transformations.
PEPM 2004: 178-189 |
| 42 | EE | Tetsuo Yokoyama,
Zhenjiang Hu,
Masato Takeichi:
Deterministic second-order patterns.
Inf. Process. Lett. 89(6): 309-314 (2004) |
| 41 | EE | Hideya Iwasaki,
Zhenjiang Hu:
A New Parallel Skeleton for General Accumulative Computations.
International Journal of Parallel Programming 32(5): 389-414 (2004) |
| 2003 |
|---|
| 40 | EE | Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi:
Parallelization with Tree Skeletons.
Euro-Par 2003: 789-798 |
| 39 | EE | Mizuhito Ogawa,
Zhenjiang Hu,
Isao Sasano:
Iterative-free program analysis.
ICFP 2003: 111-123 |
| 38 | EE | Takuma Murakami,
Zhenjiang Hu,
Kazuhiko Kakehi,
Masato Takeichi:
An Efficient Staging Algorithm for Binding-Time Analysis.
LOPSTR 2003: 106-107 |
| 37 | EE | Tetsuo 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 |
| 35 | EE | Zhenjiang 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 |
| 26 | EE | Haiyan Zhao,
Zhenjiang Hu,
Masato Takeichi:
A Compositional Framework for Mining Longest Ranges.
Discovery Science 2002: 406-413 |
| 25 | EE | Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi:
An Accumulative Parallel Skeleton for All.
ESOP 2002: 83-97 |
| 24 | EE | Wei-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 |
| 21 | EE | Isao 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 |
| 18 | EE | 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 |
| 17 | EE | Zhenjiang 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) |
| 12 | EE | Zhenjiang 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 |
| 10 | EE | Wei-Ngan Chin,
Akihiko Takano,
Zhenjiang Hu:
Parallelization via Context Preservation.
ICCL 1998: 153- |
| 9 | EE | Zhenjiang Hu,
Masato Takeichi,
Wei-Ngan Chin:
Parallelization in Calculational Forms.
POPL 1998: 316-328 |
| 8 | EE | Akihiko 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 |
| 5 | EE | 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) |
| 1996 |
|---|
| 4 | | 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 |
| 3 | | Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi:
Deriving Structural Hylomorphisms From Recursive Definitions.
ICFP 1996: 73-82 |
| 2 | | Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi:
Construction of List Homomorphisms by Tupling and Fusion.
MFCS 1996: 407-418 |
| 1 | | Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi:
Cheap Tupling in Calculational Form.
PLILP 1996: 471-472 |
