default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhenjiang Hu
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. The links to all actual bibliographies of persons of the same or a similar name can be found below. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Other persons with the same name
- Zhenjiang Hu 0001
![[0009-0006-5406-7560]](https://dblp.org/img/orcid-mark.12x12.png "0009-0006-5406-7560")
— Beijing Institute of Technology, Beijing, China - Zhenjiang Hu 0002 — Peking University, Beijing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j35]Zewen Du, Zhenjiang Hu, Guiyu Zhao, Ying Jin, Hongbin Ma:
Cross-Layer Feature Pyramid Transformer for Small Object Detection in Aerial Images. IEEE Trans. Geosci. Remote. Sens. 63: 1-14 (2025)- [j34]Zewen Du, Zhenjiang Hu, Guiyu Zhao, Ying Jin, Hongbin Ma:
Enhanced Head: Exploring Strong Detection Heads With Vision Transformer. IEEE Trans. Multim. 27: 7834-7848 (2025) - [i11]Xiwei Wu, Yueyang Feng, Xiaoyang Lu, Tianchuan Lin, Kan Liu, Zhiyi Wang, Shushu Wu, Lihan Xie, Chengxi Yang, Hongyi Zhong, Naijun Zhan, Zhenjiang Hu, Qinxiang Cao:
NEAT: QCP: A Practical Separation Logic-based C Program Verification Tool. CoRR abs/2505.12878 (2025) - [i10]Zhiyi Wang, Xiwei Wu, Yi Fang, Chengtao Li, Hongyi Zhong, Lihan Xie, Qinxiang Cao, Zhenjiang Hu:
Stellis: A Strategy Language for Purifying Separation Logic Entailments. CoRR abs/2512.05159 (2025) - 2024
- [j33]Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu:
Synthesis of Bidirectional Programs from Examples with Functional Dependencies. J. Inf. Process. 32: 451-465 (2024) - [j32]Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu:
SYNTHBX: An Example-guided Synthesizer for Bidirectional Programs on Relations. J. Inf. Process. 32: 471-486 (2024) - [i9]Zewen Du, Zhenjiang Hu, Guiyu Zhao, Ying Jin, Hongbin Ma:
Cross-Layer Feature Pyramid Transformer for Small Object Detection in Aerial Images. CoRR abs/2407.19696 (2024) - [i8]Zewen Du, Zhenjiang Hu, Guiyu Zhao, Ying Jin, Hongbin Ma:
LDA-AQU: Adaptive Query-guided Upsampling via Local Deformable Attention. CoRR abs/2411.19585 (2024) - 2023
- [c86]Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu:
Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. LOPSTR 2023: 9-27 - 2022
- [j31]Hideya Iwasaki, Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu:
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing. J. Funct. Program. 32: e4 (2022) - [c85]Ziyi Yang, Yushuo Xiao, Zhichao Guan, Zhenjiang Hu:
A Lazy Desugaring System for Evaluating Programs with Sugars. FLOPS 2022: 243-261 - [c84]Xing Zhang, Zhenjiang Hu:
Towards Bidirectional Live Programming for Incomplete Programs. ICSE 2022: 2154-2164 - 2021
- [j30]Yue Zhou, Wenjun Zong, Qiang Tan, Zhenjiang Hu, Tao Sun, Liyi Li:
End Effect Analysis of a Slot-Less Long-Stator Permanent Magnet Linear Synchronous Motor. Symmetry 13(10): 1939 (2021) - [c83]Han Xu, Zhenjiang Hu:
Analytical Differential Calculus with Integration. ICALP 2021: 143:1-143:20 - [c82]Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu:
Toward Recursive View Update Strategies on Relations. STAF Workshops 2021: 28-33 - [i7]Han Xu, Zhenjiang Hu:
Analytical Differential Calculus with Integration. CoRR abs/2105.02632 (2021) - 2020
- [j29]Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu:
Programmable View Update Strategies on Relations. Proc. VLDB Endow. 13(5): 726-739 (2020) - [j28]Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu:
BIRDS: Programming view update strategies in Datalog. Proc. VLDB Endow. 13(12): 2897-2900 (2020) - [c81]Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu:
A Counterexample-Guided Debugger for Non-recursive Datalog. APLAS 2020: 323-342 - [c80]Kanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu:
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. FLOPS 2020: 159-178 - [c79]Tao Zan, Zhenjiang Hu:
Blockchain-based Bidirectional Transformations for Access Control and Data Sharing in EMRs. Internetware 2020: 71-80 - [c78]Yongzhe Zhang, Ariful Azad, Zhenjiang Hu:
FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence. PP 2020: 46-57 - [c77]Xing Zhang, Van-Dang Tran, Zhenjiang Hu:
A Cheap Implementation of Resugaring in BIRDS Based on Bidirectional Transformation. SFDI/LSGDA@VLDB 2020: 116-130 - [c76]Jumpei Tanaka, Van-Dang Tran, Zhenjiang Hu:
Toward Programmable Strategy for Co-existence of Relational Schemes. SFDI/LSGDA@VLDB 2020: 138-151 - [e5]Casper Bach Poulsen, Zhenjiang Hu:
Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2020, New Orleans, LA, USA, January 20, 2020. ACM 2020, ISBN 978-1-4503-7096-7 [contents] - [i6]Ludovic Anthony Richard Capelli, Zhenjiang Hu, Timothy A. K. Zakian, Nick Brown, J. Mark Bull:
iPregel: Vertex-centric programmability vs memory efficiency and performance, why choose? CoRR abs/2010.08781 (2020)
2010 – 2019
- 2019
- [j27]Ludovic Anthony Richard Capelli, Zhenjiang Hu, Timothy A. K. Zakian, Nick Brown, Jonathan Mark Bull:
iPregel: Vertex-centric programmability vs memory efficiency and performance, why choose? Parallel Comput. 86: 45-56 (2019) - [c75]Yongzhe Zhang, Zhenjiang Hu:
Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels. IPDPS 2019: 428-438 - [c74]Timothy A. K. Zakian, Ludovic Anthony Richard Capelli, Zhenjiang Hu:
Incrementalization of Vertex-Centric Programs. IPDPS 2019: 1019-1029 - [c73]Hoang-Long Huynh, Van-Dang Tran, Huu-Duc Nguyen, Zhenjiang Hu, Trong-Vinh Le, Quyet-Thang Huynh:
Auto-Updating Portable Application Model of Multi-Cloud Marketplace Through Bidirectional Transformations System. SoMeT 2019: 11-24 - [p1]Lionel Montrieux, Naoyasu Ubayashi, Tianqi Zhao, Zhi Jin, Zhenjiang Hu:
Bidirectional Transformations for Self-Adaptive Systems. Engineering Adaptive Software Systems 2019: 95-114 - [i5]Yongzhe Zhang, Ariful Azad, Zhenjiang Hu:
FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence. CoRR abs/1910.05971 (2019) - [i4]Jumpei Tanaka, Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu:
Toward Co-existing Database Schemas based on Bidirectional Transformation. CoRR abs/1910.10959 (2019) - [i3]Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu:
Programmable View Update Strategies on Relations. CoRR abs/1911.05921 (2019) - 2018
- [c72]Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki:
Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. FLOPS 2018: 166-181 - [c71]Ludovic Anthony Richard Capelli, Zhenjiang Hu, Timothy A. K. Zakian:
iPregel: A Combiner-Based In-Memory Shared Memory Vertex-Centric Framework. ICPP Workshops 2018: 33:1-33:10 - [c70]Adrien Duchêne, Hugues Marchal, Zhenjiang Hu, Pierre-Yves Schobbens:
A lightweight data sharing system based on bidirectional transformations. Programming 2018: 42-45 - [i2]Yongzhe Zhang, Zhenjiang Hu:
Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels. CoRR abs/1811.01669 (2018) - 2017
- [j26]Le-Duc Tung, Zhenjiang Hu:
Towards Systematic Parallelization of Graph Transformations Over Pregel. Int. J. Parallel Program. 45(2): 320-339 (2017) - [c69]Zhenjiang Hu:
Bidirectional programming and software adaptation: Towards a happy marriage. KSE 2017: x-xii - 2016
- [j25]Zhi Jin, Zhenjiang Hu, Gang Yin:
Preface. Sci. China Inf. Sci. 59(8): 080100:1-080100:2 (2016) - [j24]Chong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu:
Let High-level Graph Queries Be Parallel Efficient: An Approach Over Structural Recursion On Pregel. J. Inf. Process. 24(6): 928-936 (2016) - [j23]Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu:
Feature-based classification of bidirectional transformation approaches. Softw. Syst. Model. 15(3): 907-928 (2016) - [c68]Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki:
Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing. ICFP 2016: 200-213 - [c67]Kevin Colson, Robin Dupuis, Lionel Montrieux, Zhenjiang Hu, Sebastián Uchitel, Pierre-Yves Schobbens:
Reusable self-adaptation through bidirectional programming. SEAMS@ICSE 2016: 4-15 - [c66]Xiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu, Jianjun Zhao:
Rule-directed code clone synchronization. ICPC 2016: 1-10 - [c65]Chong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu:
Derivation of parallel-efficient structural recursive functions from declarative graph queries. SAC 2016: 1922-1925 - [c64]Xiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu Liu, Hao Zhong, Jianjun Zhao:
Supporting Selective Undo for Refactoring. SANER 2016: 13-23 - 2015
- [j22]Lichao Wang, Guoqiang Li, Zhenjiang Hu:
Constructing format-preserving printing from syntax-directed definitions. Sci. China Inf. Sci. 58(11): 1-14 (2015) - [j21]Zhenjiang Hu, Juan de Lara:
Guest editorial to the special section on model transformation. Softw. Syst. Model. 14(2): 533-535 (2015) - [c63]Lionel Montrieux, Zhenjiang Hu:
Towards Attribute-Based Authorisation for Bidirectional Programming. SACMAT 2015: 185-196 - 2014
- [j20]Yu Liu, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu:
Accumulative Computation on MapReduce. Inf. Media Technol. 9(1): 73-82 (2014) - [j19]Yu Liu, Kento Emoto, Zhenjiang Hu:
A Generate-Test-Aggregate parallel programming library for systematic parallel programming. Parallel Comput. 40(2): 116-135 (2014) - [c62]Bernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka:
Towards Bidirectional Higher-Order Transformation for Model-Driven Co-evolution. MODELSWARD (Revised Selected Papers) 2014: 153-167 - [c61]Bernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka:
Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation. MODELSWARD 2014: 466-471 - [c60]Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, Zhenjiang Hu:
Formal derivation and extraction of a parallel program for the all nearest smaller values problem. SAC 2014: 1577-1584 - 2013
- [c59]Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson:
Programming with BSP Homomorphisms. Euro-Par 2013: 446-457 - [c58]Qi Wang, Meixian Chen, Yu Liu, Zhenjiang Hu:
Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism. FHPC@ICFP 2013: 25-36 - [c57]Zhenjiang Hu:
Practical aspects of bidirectional graph transformations. PEPM 2013: 1-2 - [c56]Yu Liu, Kento Emoto, Zhenjiang Hu:
A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce. PMAM 2013: 71-81 - [c55]Le-Duc Tung, Quyet Nguyen-Van, Zhenjiang Hu:
Efficient query evaluation on distributed graphs with Hadoop environment. SoICT 2013: 311-319 - [c54]Quyet Nguyen-Van, Le-Duc Tung, Zhenjiang Hu:
Minimizing data transfers for regular reachability queries on distributed graphs. SoICT 2013: 325-334 - 2012
- [j18]Kento Emoto, Sebastian Fischer, Zhenjiang Hu:
Filter-embedding semiring fusion for programming with MapReduce. Formal Aspects Comput. 24(4-6): 623-645 (2012) - [j17]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) - [c53]Kento Emoto, Sebastian Fischer, Zhenjiang Hu:
Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. ESOP 2012: 254-273 - [e4]Zhenjiang Hu, Juan de Lara:
Theory and Practice of Model Transformations - 5th International Conference, ICMT@TOOLS 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings. Lecture Notes in Computer Science 7307, Springer 2012, ISBN 978-3-642-30475-0 [contents] - 2011
- [j16]Zhenjiang Hu:
Special Issue on Programming Languages and Systems. New Gener. Comput. 29(1): 1-2 (2011) - [j15]Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger:
Dagstuhl seminar on bidirectional transformations (BX). SIGMOD Rec. 40(1): 35-39 (2011) - [c52]Yu Liu, Zhenjiang Hu, Kiminori Matsuzaki:
Towards Systematic Parallel Programming over MapReduce. Euro-Par (2) 2011: 39-50 - [e3]Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy:
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 [contents] - [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
- [c51]Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi:
Program Calculation in Coq. AMAST 2010: 163-179 - [c50]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 - [c49]Louis Gesbert, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson:
Systematic Development of Correct Bulk Synchronous Parallel Programs. PDCAT 2010: 334-340
2000 – 2009
- 2009
- [c48]Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, James F. Terwilliger:
Bidirectional Transformations: A Cross-Discipline Perspective. ICMT@TOOLS 2009: 260-283 - [c47]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 - [e2]Zhenjiang Hu:
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 [contents] - 2008
- [j14]Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi:
A programmable editor for developing structured documents based on bidirectional transformations. High. Order Symb. Comput. 21(1-2): 89-118 (2008) - 2007
- [j13]Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi:
A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays. Int. J. Parallel Program. 35(6): 615-658 (2007) - [j12]Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi:
Bidirectionalizing Tree Transformation Languages: A Case Study. Inf. Media Technol. 2(2): 420-432 (2007) - [j11]Dongxi Liu, Zhenjiang Hu, Masato Takeichi, Kazuhiko Kakehi, Hao Wang:
A Java Library for Bidirectional XML Transformation. Inf. Media Technol. 2(3): 748-761 (2007) - [c46]Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Domain-Specific Optimization Strategy for Skeleton Programs. Euro-Par 2007: 705-714 - [c45]Dongxi Liu, Zhenjiang Hu, Masato Takeichi:
Bidirectional interpretation of XQuery. PEPM 2007: 21-30 - [c44]Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Automatic inversion generates divide-and-conquer parallel programs. PLDI 2007: 146-155 - 2006
- [j10]Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Parallel skeletons for manipulating general trees. Parallel Comput. 32(7-8): 590-603 (2006) - [c43]Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. Euro-Par 2006: 605-614 - [c42]Kiminori Matsuzaki, Hideya Iwasaki, Kento Emoto, Zhenjiang Hu:
A library of constructive skeletons for sequential style of parallel programming. Infoscale 2006: 13 - [c41]Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
Swapping Arguments and Results of Recursive Functions. MPC 2006: 379-396 - [c40]Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Towards automatic parallelization of tree reductions in dynamic programming. SPAA 2006: 39-48 - 2005
- [j9]Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi:
Systematic Derivation of Tree Contraction Algorithms. Parallel Process. Lett. 15(3): 321-336 (2005) - [c39]Dongxi Liu, Zhenjiang Hu, Masato Takeichi:
An environment for maintaining computation dependency in XML documents. ACM Symposium on Document Engineering 2005: 42-51 - [c38]Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi:
Program Optimizations and Transformations in Calculation Form. GTTSE 2005: 144-168 - [c37]Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu:
Maximum Marking Problems with Accumulative Weight Functions. ICTAC 2005: 562-578 - [c36]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
- [j8]Hideya Iwasaki, Zhenjiang Hu:
A New Parallel Skeleton for General Accumulative Computations. Int. J. Parallel Program. 32(5): 389-414 (2004) - [j7]Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi:
Deterministic second-order patterns. Inf. Process. Lett. 89(6): 309-314 (2004) - [c35]Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi:
An Algebraic Approach to Bi-directional Updating. APLAS 2004: 2-20 - [c34]Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu:
PType System: A Featherweight Parallelizability Detector. APLAS 2004: 197-212 - [c33]Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi:
A Fusion-Embedded Skeleton Library. Euro-Par 2004: 644-653 - [c32]Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi:
An Injective Language for Reversible Computation. MPC 2004: 289-313 - [c31]Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi:
A programmable editor for developing structured documents based on bidirectional transformations. PEPM 2004: 178-189 - 2003
- [j6]Zhenjiang Hu, Mario Rodríguez-Artalejo:
Editorial: the Sixth International Symposium on Functional and Logic Programming. J. Funct. Log. Program. 2003 (2003) - [c30]Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Parallelization with Tree Skeletons. Euro-Par 2003: 789-798 - [c29]Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano:
Iterative-free program analysis. ICFP 2003: 111-123 - [c28]Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi:
An Efficient Staging Algorithm for Binding-Time Analysis. LOPSTR 2003: 106-107 - [c27]Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi:
Deterministic Higher-Order Patterns for Program Transformation. LOPSTR 2003: 128-142 - [c26]Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
List Homomorphism with Accumulation. SNPD 2003: 250-259 - 2002
- [c25]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 - [c24]Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
Fusion Transformation on Functional Programs of Regular Expression Types. APLAS 2002: 160-174 - [c23]Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu:
A Type-Based Approach to Parallelization (preliminary report). APLAS 2002: 175-192 - [c22]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. APLAS 2002: 246-257 - [c21]Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Implementation of Parallel Tree Skeletons on Distributed Systems. APLAS 2002: 258-271 - [c20]Takuma Murakami, Zhenjiang Hu, Masato Takeichi:
An Optimal Staging Algorithm. APLAS 2002: 272-284 - [c19]Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi:
Yicho - A System for Programming Program Calculations. APLAS 2002: 366-382 - [c18]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
An Accumulative Parallel Skeleton for All. ESOP 2002: 83-97 - [c17]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:
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 [contents] - 2001
- [j5]Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi:
Calculating a New Data Mining Algorithm for Market Basket Analysis. J. Funct. Log. Program. 2001(8) (2001) - [c16]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
An Accumulative Parallel Skeleton for All. APLAS 2001: 89-101 - [c15]Isao Sasano, Zhenjiang Hu, Masato Takeichi:
Generation of Efficient Programs for Solving Maximum Multi-marking Problems. SAIG 2001: 72-91 - 2000
- [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]Seiichi Adachi, Hideya Iwasaki, Zhenjiang Hu:
Diff: A Powerful Parallel Skeleton. PDPTA 2000 - [c11]Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi:
Deriving Parallel Codes via Invariants. SAS 2000: 75-94
1990 – 1999
- 1999
- [j4]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
Calculating Accumulations. New Gener. Comput. 17(2): 153-173 (1999) - [j3]Zhenjiang Hu, Masato Takeichi:
Calculating an Optimal Homomorphic Algorithm for Bracket Matching. Parallel Process. Lett. 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-163 - [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
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2026-03-05 00:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
