Inserting Injection Operations to Denotational Specifications. - Masato Takeichi (New Gener. Comput., 1986)

Partial Parametrization Eliminates Multiple Traversals of Data Structures. - Masato Takeichi (Acta Informatica, 1987)

Derivation of Algorithms by Introduction of Generation Functions. - Liangwei Xu; Hideya Iwasaki; Masato Takeichi (New Gener. Comput., 1994)

Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (Euro-Par, Vol. I, 1996)

Deriving Structural Hylomorphisms From Recursive Definitions. - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (ICFP, 1996)

Construction of List Homomorphisms by Tupling and Fusion. - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (MFCS, 1996)

Cheap Tupling in Calculational Form. - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (PLILP, 1996)

A calculational fusion system HYLO. - Yoshiyuki Onoue; Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (Algorithmic Languages and Calculi, 1997)

Tupling Calculation Eliminates Multiple Data Traversals. - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi; Akihiko Takano (ICFP, 1997)

Relational Semantics for Locally Nondeterministic Programs. - Liangwei Xu; Masato Takeichi; Hideya Iwasaki (New Gener. Comput., 1997)

Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms. - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (ACM Trans. Program. Lang. Syst., 1997)

Towards Manipulation of Mutually Recursive Functions. - Hideya Iwasaki; Zhenjiang Hu; Masato Takeichi (Fuji International Symposium on Functional and Logic Programming, 1998)

Parallelization in Calculational Forms. - Zhenjiang Hu; Masato Takeichi; Wei-Ngan Chin (POPL, 1998)

Program Transformation in Calculational Form. - Akihiko Takano; Zhenjiang Hu; Masato Takeichi (ACM Comput. Surv., 1998)

Effects of IP packet loss and picture frame reduction on MPEG1 subjective quality. - Takanori Hayashi; Shin'ichiro Yamasaki; Naoto Morita; Hitoshi Aida; Masato Takeichi; Norihisa Doi (MMSP, 1999)

Diffusion: Calculating Efficient Parallel Programs. - Zhenjiang Hu; Masato Takeichi; Hideya Iwasaki (PEPM, 1999)

Calculating Accumulations. - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (New Gener. Comput., 1999)

Calculating an Optimal Homomorphic Algorithm for Bracket Matching. - Zhenjiang Hu; Masato Takeichi (Parallel Process. Lett., 1999)

Mining Optimized Ranges. - Haiyan Zhao 001; Zhenjiang Hu; Masato Takeichi (APLAS, 2000)

Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. - Isao Sasano; Zhenjiang Hu; Masato Takeichi; Mizuhito Ogawa (ICFP, 2000)

Context-sensitive detection and correction of homonym errors in Japanese texts (poster session). - Hideya Iwasaki; Kumiko Tanaka-Ishii; Kei Tateno; Masato Takeichi (IRAL, 2000)

Deriving Parallel Codes via Invariants. - Wei-Ngan Chin; Siau-Cheng Khoo; Zhenjiang Hu; Masato Takeichi (SAS, 2000)

An Accumulative Parallel Skeleton for All. - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (APLAS, 2001)

A Compositional Framework for Querying Optimized Ranges. - Haiyan Zhao 001; Zhenjiang Hu; Masato Takeichi (APLAS, 2001)

Japanese Text Input System With Digits. - Kumiko Tanaka-Ishii; Yusuke Inutsuka; Masato Takeichi (HLT, 2001)

Thai Text Entry with Digits. - Yusuke Inutsuka; Kumiko Tanaka-Ishii; Masato Takeichi (NLPRS, 2001)

Personalization of Text Entry Systems for Mobile Phones. - Kumiko Tanaka-Ishii; Yusuke Inutsuka; Masato Takeichi (NLPRS, 2001)

Generation of Efficient Programs for Solving Maximum Multi-marking Problems. - Isao Sasano; Zhenjiang Hu; Masato Takeichi (SAIG, 2001)

Calculating a New Data Mining Algorithm for Market Basket Analysis. - Zhenjiang Hu; Wei-Ngan Chin; Masato Takeichi (J. Funct. Log. Program., 2001)

Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (APLAS, 2002)

Fusion Transformation on Functional Programs of Regular Expression Types. - Kazuhiko Kakehi 001; Zhenjiang Hu; Masato Takeichi (APLAS, 2002)

Implementation of Parallel Tree Skeletons on Distributed Systems. - Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (APLAS, 2002)

An Optimal Staging Algorithm. - Takuma Murakami; Zhenjiang Hu; Masato Takeichi (APLAS, 2002)

Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. - Mizuhito Ogawa; Zhenjiang Hu; Isao Sasano; Masato Takeichi (APLAS, 2002)

Yicho - A System for Programming Program Calculations. - Tetsuo Yokoyama; Zhenjiang Hu; Masato Takeichi (APLAS, 2002)

Entering Text with a Four-Button Device. - Kumiko Tanaka-Ishii; Yusuke Inutsuka; Masato Takeichi (COLING, 2002)

A Compositional Framework for Mining Longest Ranges. - Haiyan Zhao 001; Zhenjiang Hu; Masato Takeichi (Discovery Science, 2002)

Acquiring Vocabulary for Predictive Text Entry through Dynamic Reuse of a Small User Corpus. - Kumiko Tanaka-Ishii; Daichi Hayakawa; Masato Takeichi (ACL, 2003)

Parallelization with Tree Skeletons. - Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Euro-Par, 2003)

An Efficient Staging Algorithm for Binding-Time Analysis. - Takuma Murakami; Zhenjiang Hu; Kazuhiko Kakehi 001; Masato Takeichi (LOPSTR, 2003)

Deterministic Higher-Order Patterns for Program Transformation. - Tetsuo Yokoyama; Zhenjiang Hu; Masato Takeichi (LOPSTR, 2003)

List Homomorphism with Accumulation. - Kazuhiko Kakehi 001; Zhenjiang Hu; Masato Takeichi (SNPD, 2003)

An Algebraic Approach to Bi-directional Updating. - Shin-Cheng Mu; Zhenjiang Hu; Masato Takeichi (APLAS, 2004)

EMMA: a web-based report system for programming course–automated verification and enhanced feedback. - Kumiko Tanaka-Ishii; Kazuhiko Kakehi 001; Masato Takeichi (ITiCSE, 2004)

An Injective Language for Reversible Computation. - Shin-Cheng Mu; Zhenjiang Hu; Masato Takeichi (MPC, 2004)

Deterministic second-order patterns. - Tetsuo Yokoyama; Zhenjiang Hu; Masato Takeichi (Inf. Process. Lett., 2004)

An environment for maintaining computation dependency in XML documents. - Dongxi Liu; Zhenjiang Hu; Masato Takeichi (ACM Symposium on Document Engineering, 2005)

Program Optimizations and Transformations in Calculation Form. - Zhenjiang Hu; Tetsuo Yokoyama; Masato Takeichi (GTTSE, 2005)

Systematic Derivation of Tree Contraction Algorithms. - Kiminori Matsuzaki; Zhenjiang Hu; Kazuhiko Kakehi 001; Masato Takeichi (Parallel Process. Lett., 2005)

Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. - Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Euro-Par, 2006)

Swapping Arguments and Results of Recursive Functions. - Akimasa Morihata; Kazuhiko Kakehi 001; Zhenjiang Hu; Masato Takeichi (MPC, 2006)

Towards automatic parallelization of tree reductions in dynamic programming. - Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (SPAA, 2006)

Parallel skeletons for manipulating general trees. - Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Parallel Comput., 2006)

Domain-Specific Optimization Strategy for Skeleton Programs. - Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Euro-Par, 2007)

Bidirectionalization transformation based on automatic derivation of view complement functions. - Kazutaka Matsuda; Zhenjiang Hu; Keisuke Nakano 001; Makoto Hamana; Masato Takeichi (ICFP, 2007)

Towards automatic model synchronization from model transformations. - Yingfei Xiong 001; Dongxi Liu; Zhenjiang Hu; Haiyan Zhao 001; Masato Takeichi; Hong Mei 001 (ASE, 2007)

Bidirectional interpretation of XQuery. - Dongxi Liu; Zhenjiang Hu; Masato Takeichi (PEPM, 2007)

Automatic inversion generates divide-and-conquer parallel programs. - Kazutaka Morita; Akimasa Morihata; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (PLDI, 2007)

A Web Service Architecture for Bidirectional XML Updating. - Yasushi Hayashi; Dongxi Liu; Kento Emoto; Kazutaka Matsuda; Zhenjiang Hu; Masato Takeichi (APWeb/WAIM, 2007)

A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays. - Kento Emoto; Zhenjiang Hu; Kazuhiko Kakehi 001; Masato Takeichi (Int. J. Parallel Program., 2007)

A Java Library for Bidirectional XML Transformation. - Dongxi Liu; Zhenjiang Hu; Masato Takeichi; Kazuhiko Kakehi 001; Hao Wang (Inf. Media Technol., 2007)

Bidirectionalizing Tree Transformation Languages: A Case Study. - Shin-Cheng Mu; Zhenjiang Hu; Masato Takeichi (Inf. Media Technol., 2007)

Write it recursively: a generic framework for optimal path queries. - Akimasa Morihata; Kiminori Matsuzaki; Masato Takeichi (ICFP, 2008)

A programmable editor for developing structured documents based on bidirectional transformations. - Zhenjiang Hu; Shin-Cheng Mu; Masato Takeichi (High. Order Symb. Comput., 2008)

Supporting Parallel Updates with Bidirectional Model Transformations. - Yingfei Xiong 001; Hui Song; Zhenjiang Hu; Masato Takeichi (ICMT@TOOLS, 2009)

Type-based specialization of xml transformations. - Kazutaka Matsuda; Zhenjiang Hu; Masato Takeichi (PEPM, 2009)

The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. - Akimasa Morihata; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (POPL, 2009)

Supporting automatic model inconsistency fixing. - Yingfei Xiong 001; Zhenjiang Hu; Haiyan Zhao 001; Hui Song; Masato Takeichi; Hong Mei 001 (ESEC/SIGSOFT FSE, 2009)

Consistent Web site updating based on bidirectional transformation. - Keisuke Nakano 001; Zhenjiang Hu; Masato Takeichi (Int. J. Softw. Tools Technol. Transf., 2009)

Program Calculation in Coq. - Julien Tesson; Hideki Hashimoto; Zhenjiang Hu; Frédéric Loulergue; Masato Takeichi (AMAST, 2010)

A Grammar-Based Approach to Invertible Programs. - Kazutaka Matsuda; Shin-Cheng Mu; Zhenjiang Hu; Masato Takeichi (ESOP, 2010)

Generators-of-Generators Library with Optimization Capabilities in Fortress. - Kento Emoto; Zhenjiang Hu; Kazuhiko Kakehi 001; Kiminori Matsuzaki; Masato Takeichi (Euro-Par (2), 2010)

Manipulating accumulative functions by swapping call-time and return-time computations. - Akimasa Morihata; Kazuhiko Kakehi 001; Zhenjiang Hu; Masato Takeichi (J. Funct. Program., 2012)

Synchronizing concurrent model updates based on bidirectional transformation. - Yingfei Xiong 001; Hui Song; Zhenjiang Hu; Masato Takeichi (Softw. Syst. Model., 2013)

Data Integration Models and Architectures for Service Alliances. - Yasuhito Asano; Zhenjiang Hu; Yasunori Ishihara; Makoto Onizuka; Masato Takeichi; Masatoshi Yoshikawa (SFDI/LSGDA@VLDB, 2020)

Towards Smart Data Sharing by Updatable Views. - Makoto Onizuka; Yasunori Ishihara; Masato Takeichi (SFDI/LSGDA@VLDB, 2020)

Conflict-free Collaborative Set Sharing for Distributed Systems. - Masato Takeichi (CoRR, 2021)

Operation-based Collaborative Data Sharing for Distributed Systems. - Masato Takeichi (CoRR, 2021)

Coordination-free Collaborative Replication based on Operational Transformation. - Masato Takeichi (CoRR, 2024)