


default search action
Zhenjiang Hu 0002
Person information
- affiliation: Peking University, Beijing, China
Other persons with the same name
- Zhenjiang Hu — disambiguation page
- Zhenjiang Hu 0001
— Beijing Institute of Technology, Beijing, China
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2026
[j29]Tao Zan
, Xiao He
, Zhenjiang Hu
:
Enabling direct manipulation of plain-text output for template programs. J. Syst. Softw. 235: 112754 (2026)
[c55]Tailai Yu
, Zhichao Guan
, Di Wang
, Zhenjiang Hu
:
Inferring Typing Rules for Contextual Sugars. PEPM 2026: 61-75- 2025
[j28]Tao Zan
, Xing Zhang, Xiao He, Zhenjiang Hu:
Intentionally Fusing Direct Manipulations into SVG Programs. Inf. 16(3): 169 (2025)
[j27]Ruifeng Xie
, Tom Schrijvers
, Zhenjiang Hu
:
Biparsers: Exact Printing for Data Synchronisation. Proc. ACM Program. Lang. 9(POPL): 2205-2231 (2025)
[d8]Ruifeng Xie
, Tom Schrijvers
, Zhenjiang Hu
:
Artifact for ICFP '25: Effectful Lenses: There and Back with Different Monads. Zenodo, 2025
[i10]Yiyuan Cao, Jiayi Zhuang, Houjin Chen, Jinkai Fan, Wenbo Xu, Zhiyi Wang, Di Wang, Qinxiang Cao, Yingfei Xiong, Haiyan Zhao, Zhenjiang Hu:
C*: Unifying Programming and Verification in C. CoRR abs/2504.02246 (2025)- 2024
[j26]Zhichao Guan
, Yiyuan Cao
, Tailai Yu
, Ziheng Wang
, Di Wang
, Zhenjiang Hu
:
Semantics Lifting for Syntactic Sugar. Proc. ACM Program. Lang. 8(OOPSLA2): 1336-1361 (2024)
[j25]Ruyi Ji
, Yuwei Zhao
, Nadia Polikarpova
, Yingfei Xiong
, Zhenjiang Hu
:
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. Proc. ACM Program. Lang. 8(PLDI): 939-964 (2024)
[j24]Xing Zhang
, Ruifeng Xie
, Guanchen Guo
, Xiao He
, Tao Zan
, Zhenjiang Hu
:
Fusing Direct Manipulations into Functional Programs. Proc. ACM Program. Lang. 8(POPL): 1211-1238 (2024)
[j23]Ruyi Ji
, Yuwei Zhao
, Yingfei Xiong
, Di Wang
, Lu Zhang
, Zhenjiang Hu
:
Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms. ACM Trans. Program. Lang. Syst. 46(2): 8 (2024)
[d7]Zhichao Guan
, Yiyuan Cao
, Tailai Yu
, Ziheng Wang
, Di Wang
, Zhenjiang Hu
:
Artifact for OOPSLA'24: Semantics Lifting for Syntactic Sugar. Version v1. Zenodo, 2024 [all versions]
[d6]Zhichao Guan
, Yiyuan Cao
, Tailai Yu
, Ziheng Wang
, Di Wang
, Zhenjiang Hu
:
Artifact for OOPSLA'24: Semantics Lifting for Syntactic Sugar. Version v2. Zenodo, 2024 [all versions]
[d5]Ruyi Ji
, Yuwei Zhao
, Nadia Polikarpova
, Yingfei Xiong
, Zhenjiang Hu
:
Artifact for PLDI'24: Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. Version 1. Zenodo, 2024 [all versions]
[d4]Ruyi Ji
, Yuwei Zhao
, Nadia Polikarpova
, Yingfei Xiong
, Zhenjiang Hu
:
Artifact for PLDI'24: Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. Version 2. Zenodo, 2024 [all versions]
[d3]Ruyi Ji
, Yuwei Zhao
, Nadia Polikarpova
, Yingfei Xiong
, Zhenjiang Hu
:
Artifact for PLDI'24: Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. Version 3. Zenodo, 2024 [all versions]
[d2]Ruifeng Xie
, Tom Schrijvers
, Zhenjiang Hu
:
Artifact for POPL'25: Biparsers: Exact Printing for Data Synchronisation. Zenodo, 2024
- 2023
[j22]Hanliang Zhang
, Wenhao Tang
, Ruifeng Xie, Meng Wang
, Zhenjiang Hu
:
Contract lenses: Reasoning about bidirectional programs via calculation. J. Funct. Program. 33 (2023)
[j21]Xing Zhang
, Guanchen Guo
, Xiao He
, Zhenjiang Hu
:
Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects. Proc. ACM Program. Lang. 7(OOPSLA1): 230-255 (2023)
[j20]Ruyi Ji
, Chaozhe Kong
, Yingfei Xiong
, Zhenjiang Hu
:
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. Proc. ACM Program. Lang. 7(OOPSLA1): 819-847 (2023)
[d1]Ruyi Ji
, Chaozhe Kong
, Yingfei Xiong
, Zhenjiang Hu
:
Artifact for OOPSLA'23: Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. Zenodo, 2023
- 2022
[j19]Xiao He, Zhenjiang Hu, Na Meng:
A theoretic framework of bidirectional transformation between systems and models. Sci. China Inf. Sci. 65(10) (2022)
[i9]Ruyi Ji, Yingfei Xiong, Zhenjiang Hu:
Black-Box Algorithm Synthesis - Divide-and-Conquer and More. CoRR abs/2202.12193 (2022)
[i8]Ruyi Ji, Tianran Zhu, Yingfei Xiong, Zhenjiang Hu:
Synthesizing Efficient Dynamic Programming Algorithms. CoRR abs/2202.12208 (2022)- 2021
[j18]Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu:
Generalizable synthesis through unification. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021)
[i7]Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu:
Occam Learning Meets Synthesis Through Unification. CoRR abs/2105.14467 (2021)- 2020
[j17]Zirun Zhu
, Hsiang-Shang Ko
, Yongzhe Zhang
, Pedro Martins, João Saraiva
, Zhenjiang Hu
:
Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars. New Gener. Comput. 38(3): 423-476 (2020)
[j16]Chunmiao Li
, Shijie Nie, Yang Cao
, Yijun Yu
, Zhenjiang Hu:
Trace-Based Dynamic Gas Estimation of Loops in Smart Contracts. IEEE Open J. Comput. Soc. 1: 295-306 (2020)
[j15]Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu:
Guiding dynamic programing via structural probability for accelerating programming by example. Proc. ACM Program. Lang. 4(OOPSLA): 224:1-224:29 (2020)
[c54]Chunmiao Li, Shijie Nie, Yang Cao, Yijun Yu, Zhenjiang Hu:
Dynamic Gas Estimation of Loops Using Machine Learning. BlockSys 2020: 428-441
[c53]Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu:
Question selection for interactive program synthesis. PLDI 2020: 1143-1158
[c52]Wenjie Chu, Haiyan Zhao, Zhi Jin, Zhenjiang Hu:
Adaptive Data Sharing and Computation Offloading in Cloud-Edge Computing with Resource Constraints. SMC 2020: 2842-2849
[c51]Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Makoto Onizuka
, Masato Takeichi, Masatoshi Yoshikawa:
Data Integration Models and Architectures for Service Alliances. SFDI/LSGDA@VLDB 2020: 152-164
[i6]Zirun Zhu, Zhixuan Yang, Hsiang-Shang Ko, Zhenjiang Hu:
Retentive Lenses. CoRR abs/2001.02031 (2020)
2010 – 2019
- 2019
[c50]Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Makoto Onizuka
, Masatoshi Yoshikawa:
Controlling and Sharing Distributed Data for Implementing Service Alliance. BigComp 2019: 1-4
[c49]Liye Guo, Hsiang-Shang Ko
, Keigo Imai
, Nobuko Yoshida, Zhenjiang Hu:
Towards Bidirectional Synchronization Between Communicating Processes and Session Types. BigComp 2019: 1-5
[c48]Chunmiao Li, Yang Cao
, Zhenjiang Hu, Masatoshi Yoshikawa:
Blockchain-Based Bidirectional Updates on Fine-Grained Medical Data. ICDE Workshops 2019: 22-27
[c47]Amel Bennaceur
, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns
, Radu Calinescu, Schahram Dustdar
, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu
, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos
, Haiyan Zhao:
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 2019: 70-76
[p1]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 2019: 1-33
[e1]Yijun Yu
, Arosha K. Bandara
, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi A. Müller
, John Mylopoulos, Bashar Nuseibeh
:
Engineering Adaptive Software Systems - Communications of NII Shonan Meetings. Springer 2019, ISBN 978-981-13-2184-9 [contents]
[i5]Chunmiao Li, Yang Cao, Zhenjiang Hu, Masatoshi Yoshikawa:
Blockchain-based Bidirectional Updates on Fine-grained Medical Data. CoRR abs/1904.10606 (2019)- 2018
[j14]Hsiang-Shang Ko
, Zhenjiang Hu:
An axiomatic basis for bidirectional programming. Proc. ACM Program. Lang. 2(POPL): 41:1-41:29 (2018)
[c46]Xiao He, Zhenjiang Hu:
Putback-based bidirectional model transformations. ESEC/SIGSOFT FSE 2018: 434-444
[i4]Yasuhito Asano, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Hsiang-Shang Ko, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, Kanae Tsushima, Masatoshi Yoshikawa:
A View-based Programmable Architecture for Controlling and Integrating Decentralized Data. CoRR abs/1803.06674 (2018)
[i3]Yasuhito Asano, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Hsiang-Shang Ko, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, Van-Dang Tran, Kanae Tsushima, Masatoshi Yoshikawa:
Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -. CoRR abs/1809.10357 (2018)- 2017
[j13]Yijun Yu
, Haruhiko Kaiya, Nobukazu Yoshioka, Zhenjiang Hu, Hironori Washizaki, Yingfei Xiong, Amin Hosseinian Far
:
Goal Modelling for Security Problem Matching and Pattern Enforcement. Int. J. Secur. Softw. Eng. 8(3): 42-57 (2017)
[j12]Tao Zan, Hugo Pacheco, Hsiang-Shang Ko, Zhenjiang Hu:
BiFluX: A Bidirectional Functional Update Language for XML. Inf. Media Technol. 12: 1-23 (2017)
[c45]Yongzhe Zhang, Hsiang-Shang Ko
, Zhenjiang Hu:
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. APLAS 2017: 301-320
[c44]Xiao He
, Zhenjiang Hu, Yi Liu:
Towards Variability Management in Bidirectional Model Transformation. COMPSAC (1) 2017: 224-233
[i2]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)- 2016
[c43]Zhenjiang Hu
, Hsiang-Shang Ko
:
Principles and Practice of Bidirectional Programming in BiGUL. Bidirectional Transformations 2016: 100-150
[c42]Tianqi Zhao, Tao Zan, Haiyan Zhao, Zhenjiang Hu, Zhi Jin:
Integrating Goal Model into Rule-Based Adaptation. APSEC 2016: 289-296
[c41]Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu:
Transforming Programs between APIs with Many-to-Many Mappings. ECOOP 2016: 25:1-25:26
[c40]Tao Zan, Li Liu, Hsiang-Shang Ko
, Zhenjiang Hu:
Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views. Bx@ETAPS 2016: 77-89
[c39]Hsiang-Shang Ko
, Tao Zan, Zhenjiang Hu:
BiGUL: a formally verified core language for putback-based bidirectional programming. PEPM 2016: 61-72
[c38]Weize Zhao, Haiyan Zhao, Zhenjiang Hu:
A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming. RE Workshops 2016: 170-179
[c37]Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu:
Parsing and reflective printing, bidirectionally. SLE 2016: 2-14- 2015
[j11]Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco
:
The essence of bidirectional programming. Sci. China Inf. Sci. 58(5): 1-21 (2015)
[j10]Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano
, Yasunori Ishihara:
Context-preserving XQuery fusion. Math. Struct. Comput. Sci. 25(4): 916-941 (2015)
[c36]Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco
:
A Clear Picture of Lens Laws - Functional Pearl. MPC 2015: 215-223
[c35]Jun Li, Chenglong Wang, Yingfei Xiong
, Zhenjiang Hu:
SWIN: Towards Type-Safe Java Program Adaptation between APIs. PEPM 2015: 91-102
[c34]Zirun Zhu, Hsiang-Shang Ko
, Pedro Martins, João Saraiva, Zhenjiang Hu:
BiYacc: Roll Your Parser and Reflective Printer into One. Bx@STAF 2015: 43-50- 2014
[j9]Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei:
Interactive Inconsistency Fixing in Feature Modeling. J. Comput. Sci. Technol. 29(4): 724-736 (2014)
[c33]Zhenjiang Hu, Hugo Pacheco
, Sebastian Fischer:
Validity Checking of Putback Transformations in Bidirectional Programming. FM 2014: 1-15
[c32]Tao Zan, Hugo Pacheco
, Zhenjiang Hu:
Writing bidirectional model transformations as intentional updates. ICSE Companion 2014: 488-491
[c31]Hugo Pacheco
, Zhenjiang Hu, Sebastian Fischer:
Monadic combinators for "Putback" style bidirectional programming. PEPM 2014: 39-50
[c30]Hugo Pacheco
, Tao Zan, Zhenjiang Hu:
BiFluX: A Bidirectional Functional Update Language for XML. PPDP 2014: 147-158- 2013
[j8]Bo Wang, Zhenjiang Hu, Qiang Sun, Haiyan Zhao, Yingfei Xiong
, Wei Zhang, Hong Mei:
Supporting feature model refinement with updatable view. Frontiers Comput. Sci. 7(2): 257-271 (2013)
[j7]Janis Voigtländer
, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
:
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. J. Funct. Program. 23(5): 515-551 (2013)
[j6]Makoto Onizuka
, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano
, Zhenjiang Hu:
Optimization for iterative queries on MapReduce. Proc. VLDB Endow. 7(4): 241-252 (2013)
[j5]Meng Wang
, Jeremy Gibbons
, Kazutaka Matsuda, Zhenjiang Hu:
Refactoring pattern matching. Sci. Comput. Program. 78(11): 2216-2242 (2013)
[j4]Yingfei Xiong
, Hui Song, Zhenjiang Hu, Masato Takeichi:
Synchronizing concurrent model updates based on bidirectional transformation. Softw. Syst. Model. 12(1): 89-104 (2013)
[c29]Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
:
Structural recursion for querying ordered graphs. ICFP 2013: 305-318
[c28]Lionel Montrieux, Yijun Yu, Michel Wermelinger, Zhenjiang Hu:
Issues in representing domain-specific concerns in model-driven engineering. MiSE 2013: 1-6
[c27]Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
:
A parameterized graph transformation calculus for finite graphs with monadic branches. PPDP 2013: 73-84
[i1]Shinichi Honiden, Zhenjiang Hu, Hausi A. Müller, John Mylopoulos, Yijun Yu:
Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2013-7). NII Shonan Meet. Rep. 2013 (2013)- 2012
[j3]Hugo Pacheco, Alcino Cunha, Zhenjiang Hu:
Delta Lenses over Inductive Types. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012)
[c26]Yijun Yu
, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux:
Maintaining invariant traceability through bidirectional transformations. ICSE 2012: 540-550- 2011
[j2]Hui Song, Gang Huang, Franck Chauvel, Yingfei Xiong
, Zhenjiang Hu, Yanchun Sun, Hong Mei:
Supporting runtime software architecture: A bidirectional-transformation-based approach. J. Syst. Softw. 84(5): 711-723 (2011)
[c25]Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
:
Toward Bidirectionalization of ATL with GRoundTram. ICMT@TOOLS 2011: 138-151
[c24]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
[c23]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
[c22]Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
:
Graph-transformation verification using monadic second-order logic. PPDP 2011: 17-28- 2010
[c21]Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano
, Yasunori Ishihara:
Context-Preserving XQuery Fusion. APLAS 2010: 255-270
[c20]Kazutaka Matsuda, Shin-Cheng Mu
, Zhenjiang Hu, Masato Takeichi:
A Grammar-Based Approach to Invertible Programs. ESOP 2010: 448-467
[c19]Janis Voigtländer
, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
:
Combining syntactic and semantic bidirectionalization. ICFP 2010: 181-192
[c18]Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
:
Bidirectionalizing graph transformations. ICFP 2010: 205-216
[c17]Bo Wang, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei:
Tolerating Inconsistency in Feature Models. LWI@ASE 2010: 15-20
[c16]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
[c15]Meng Wang
, Jeremy Gibbons
, Kazutaka Matsuda, Zhenjiang Hu:
Gradual Refinement. MPC 2010: 397-425
2000 – 2009
- 2009
[j1]Keisuke Nakano
, Zhenjiang Hu, Masato Takeichi:
Consistent Web site updating based on bidirectional transformation. Int. J. Softw. Tools Technol. Transf. 11(6): 453-468 (2009)
[c14]Yingfei Xiong
, Hui Song, Zhenjiang Hu, Masato Takeichi:
Supporting Parallel Updates with Bidirectional Model Transformations. ICMT@TOOLS 2009: 213-228
[c13]Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
:
A compositional approach to bidirectional model transformation. ICSE Companion 2009: 235-238
[c12]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
[c11]Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi:
Type-based specialization of xml transformations. PEPM 2009: 61-72
[c10]Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
:
Towards a compositional approach to model transformation for software development. SAC 2009: 468-475
[c9]Yingfei Xiong
, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei:
Supporting automatic model inconsistency fixing. ESEC/SIGSOFT FSE 2009: 315-324- 2008
[c8]Yijun Yu
, Haruhiko Kaiya, Hironori Washizaki
, Yingfei Xiong
, Zhenjiang Hu, Nobukazu Yoshioka
:
Enforcing a security pattern in stakeholder goal models. QoP 2008: 9-14
[c7]Keisuke Nakano
, Zhenjiang Hu, Masato Takeichi:
Consistent Web site updating based on bidirectional transformation. WSE 2008: 45-54- 2007
[c6]Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano
, Makoto Hamana, Masato Takeichi:
Bidirectionalization transformation based on automatic derivation of view complement functions. ICFP 2007: 47-58
[c5]Yingfei Xiong
, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei:
Towards automatic model synchronization from model transformations. ASE 2007: 164-173
[c4]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- 2002
[c3]Haiyan Zhao, Zhenjiang Hu, Masato Takeichi:
A Compositional Framework for Mining Longest Ranges. Discovery Science 2002: 406-413- 2001
[c2]Haiyan Zhao, Zhenjiang Hu, Masato Takeichi:
A Compositional Framework for Querying Optimized Ranges. APLAS 2001: 363-376- 2000
[c1]Haiyan Zhao, Zhenjiang Hu, Masato Takeichi:
Mining Optimized Ranges. APLAS 2000: 119-127
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-02-01 23:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID






