| 2020 | VLDB | Data Integration Models and Architectures for Service Alliances. | Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Makoto Onizuka, Masato Takeichi, Masatoshi Yoshikawa |
| 2020 | VLDB | Towards Smart Data Sharing by Updatable Views. | Makoto Onizuka, Yasunori Ishihara, Masato Takeichi |
| 2010 | ESOP | A Grammar-Based Approach to Invertible Programs. | Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
| 2010 | EuroPar | Generators-of-Generators Library with Optimization Capabilities in Fortress. | Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi |
| 2009 | PEPM | Type-based specialization of xml transformations. | Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi |
| 2009 | POPL | The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. | Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2008 | ICFP | Write it recursively: a generic framework for optimal path queries. | Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi |
| 2007 | EuroPar | Domain-Specific Optimization Strategy for Skeleton Programs. | Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2007 | ICFP | Bidirectionalization transformation based on automatic derivation of view complement functions. | Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi |
| 2007 | PEPM | Bidirectional interpretation of XQuery. | Dongxi Liu, Zhenjiang Hu, Masato Takeichi |
| 2007 | PLDI | Automatic inversion generates divide-and-conquer parallel programs. | Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2006 | EuroPar | Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. | Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2006 | MPC | Swapping Arguments and Results of Recursive Functions. | Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi |
| 2006 | SPAA | Towards automatic parallelization of tree reductions in dynamic programming. | Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2005 | DocEng | An environment for maintaining computation dependency in XML documents. | Dongxi Liu, Zhenjiang Hu, Masato Takeichi |
| 2004 | APLAS | An Algebraic Approach to Bi-directional Updating. | Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
| 2004 | ITiCSE | EMMA: a web-based report system for programming course--automated verification and enhanced feedback. | Kumiko Tanaka-Ishii, Kazuhiko Kakehi, Masato Takeichi |
| 2004 | MPC | An Injective Language for Reversible Computation. | Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
| 2004 | PEPM | A programmable editor for developing structured documents based on bidirectional transformations. | Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi |
| 2003 | ACL | Acquiring Vocabulary for Predictive Text Entry through Dynamic Reuse of a Small User Corpus. | Kumiko Tanaka-Ishii, Daichi Hayakawa, Masato Takeichi |
| 2003 | EuroPar | Parallelization with Tree Skeletons. | Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2003 | LOPSTR | An Efficient Staging Algorithm for Binding-Time Analysis. | Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi |
| 2003 | LOPSTR | Deterministic Higher-Order Patterns for Program Transformation. | Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi |
| 2003 | SNPD | List Homomorphism with Accumulation. | Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi |
| 2002 | APLAS | Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
| 2002 | APLAS | Fusion Transformation on Functional Programs of Regular Expression Types. | Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi |
| 2002 | APLAS | Implementation of Parallel Tree Skeletons on Distributed Systems. | Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2002 | APLAS | An Optimal Staging Algorithm. | Takuma Murakami, Zhenjiang Hu, Masato Takeichi |
| 2002 | APLAS | Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. | Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi |
| 2002 | APLAS | Yicho - A System for Programming Program Calculations. | Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi |
| 2002 | COLING | Entering Text with a Four-Button Device. | Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi |
| 2002 | DIS | A Compositional Framework for Mining Longest Ranges. | Haiyan Zhao, Zhenjiang Hu, Masato Takeichi |
| 2002 | ESOP | An Accumulative Parallel Skeleton for All. | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
| 2001 | APLAS | An Accumulative Parallel Skeleton for All. | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
| 2001 | APLAS | A Compositional Framework for Querying Optimized Ranges. | Haiyan Zhao, Zhenjiang Hu, Masato Takeichi |
| 2001 | NAACL | Japanese Text Input System With Digits. | Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi |
| 2000 | APLAS | Mining Optimized Ranges. | Haiyan Zhao, Zhenjiang Hu, Masato Takeichi |
| 2000 | ICFP | Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. | Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa |
| 2000 | PADL | Calculating a New Data Mining Algorithm for Market Basket Analysis. | Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi |
| 2000 | SAS | Deriving Parallel Codes via Invariants. | Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi |
| 1999 | MMSP | 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 |
| 1999 | PEPM | Diffusion: Calculating Efficient Parallel Programs. | Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki |
| 1998 | FLOPS | Towards Manipulation of Mutually Recursive Functions. | Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi |
| 1998 | POPL | Parallelization in Calculational Forms. | Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin |
| 1997 | ICFP | Tupling Calculation Eliminates Multiple Data Traversals. | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano |
| 1996 | EuroPar | Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
| 1996 | ICFP | Deriving Structural Hylomorphisms From Recursive Definitions. | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
| 1996 | MFCS | Construction of List Homomorphisms by Tupling and Fusion. | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |