Publications

2010

• Kiminori Matsuzaki, Kento Emoto
  Lessons from Implementing the BiCGStab Method with SkeTo Library
  In Proceedings of the Fourth International Workshop on High-level Parallel Programming and Applications (HLPP 2010), pp. 15-24, ACM, 2010.
• Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
  Generators-of-generators Library with Optimization Capabilities in Fortress
  In Euro-Par 2010, Parallel Processing, Part II, pages 26 - 37, Lecture Notes in Computer Science 6272, Springer, 2010.
• Kiminori Matsuzaki, Kento Emoto
  Implementing fusion-equipped parallel skeletons by expression templates
  In Post Proceedings of the 21st International Symposium on Implementation and Application of Functional Languages (IFL 2009), Lecture Notes in Computer Science, Vol. 6041, pp. 72--89, 2010.

2009

• Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
  Supporting Parallel Updates with Bidirectional Model Transformations
  In Proceedings of the Second International Conference on Model Transformation (ICMT'09), pages 213 - 228, 2009.
• Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
  The Third Homomorphism Theorem on Trees: Upward & Downward Leads to Divide-and-Conquer
  In Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Savannah, GA, USA, January 21-23, 2009, pp. 177-185, ACM, 2009.
• Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
  Type-based Specialization of XML Transformations
  ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM 2009), Savannah, Georgia, USA, January 19-20, 2009

2008

• Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Nobukazu Yoshioka
  Enforcing a Security Pattern in Stakeholder Goal Models
  4th ACM Workshop on Quality of Protection (QoP 2008)Alexandria VA, USA, Oct. 27, 2008.
• Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
  Consistent Web Site Updating based on Bidirectional Transformation
  10th IEEE International Symposium on Web Site Evolution (WSE 2008), Beijing, China, October 3-4, 2008.
• Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi
  Write it Recursively: A Generic Framework for Optimal Path Queries
  In Proceedings of the 2008 ACM SIGPLAN International Conference on Functional Programming, Sept. 22-24, 2008, Victoria, BC, Canada, pp. 169-178, ACM.
• Zhenjiang Hu, Shin-Cheng.Mu, Masato Takeichi
  A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations
  Higher-Order and Symbolic Computation (HOSC), Vol. 21, No. 1-2, pp. 89-118. Springer, June 2008.

2007

• Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei
  Towards Automatic Model Synchronization from Model Transformations
  In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE'07), Atlanta, Georgia, pp. 164-173, November 2007.
• Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi
  Bidirectionalization Transformation based on Automatic Derivation of View Complement Functions
  In 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007), Freiburg, Germany, October 1-3, 2007.
• Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
  Domain-Specific Optimization Strategy for Skeleton Programs
  In Proceedings of 13th International European Conference on Parallel and Distributed Computing (EuroPar 2007), Lecture Notes in Computer Science 4641, pp. 705-714, Springer, 2007.
• Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
  A Compositional Framework for Developing Parallel Programs on Two Dimensional Arrays
  International Journal of Parallel Programming (IJPP), Volume 35, Number 6, pp. 615-658, Springer, 2007.
• Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
  Automatic Inversion Generates Divide-and-Conquer Parallel Programs
  In ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007), pp. 146-155, San Diego, CA, June 10-13, 2007.
• Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
  A Web Service Architecture for Bidirectional XML Updating
  Joint conference of the 9th Asia-Pacific Web Conference and the 8th International Conference on Web-Age Information Management (APWeb/WAIM 2007), pp. 721-732, Huangshan, China, June 16-18, 2007.
• Kiminori Matsuzaki
  Efficient Implementation of Tree Accumulations on Distributed-Memory Parallel Computers
  In Fourth International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2007), part of The International Conference on Computational Science (ICCS 2007), pp. 609-616, Beijing, China, May 27-30, 2007.
• Kazuhiko Kakehi, Kiminori Matsuzaki, Kento Emoto
  Efficient Parallel Tree Reductions on Distributed Memory Environments
  In Fourth International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2007), part of The International Conference on Computational Science (ICCS 2007), pp. 601-608, Beijing, China, May 27-30, 2007.
• Dongxi Liu
  Bytecode Verification for Enhanced JVM Access Control
  In Proc. 2nd International Conference on Availability, Reliability and Security (ARES '07), Vienna, Austria, April 2007.
• Dongxi Liu, Zhenjiang Hu, Masato Takeichi, Kazuhiko Kakehi, Hao Wang
  A Java Library for Bidirectional XML Transformation
  JSSST Computer Software, 24 (2): 164-177, 2007.
• Dongxi Liu, Zhenjiang Hu, Masato Takeichi
  Bidirectional Interpretation of XQuery
  ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM 2007), Nice, France, January 15-16, 2007.

2006

• Keisuke Nakano, Shin-Cheng.Mu
  A Pushdown Machine for Recursive XML Processing
  The Fourth ASIAN Symposium on Programming Languages and Systems (APLAS'06), Sydney, Australia, November 2006.
• Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
  Parallel Skeletons for Manipulating General Trees
  Parallel Computing, Vol. 32, No. 7-8, pp. 590-603, Elsevier B.V., 2006.
• Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
  Towards Automatic Parallelization of Tree Reductions in Dynamic Programming
  In SPAA 2006: 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, July 30 - August 2, 2006, Cambridge, Massachusetts, USA, pages 39 - 48, 2006. Available from ACM Digital Library
• Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
  Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions
  In 12th International Euro-Par Conference, Dresden, Germany, August/September 2006, Proceedings, pages 605 - 614, Lecture Notes in Computer Science 4128, 2006.
• Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi
  Program Optimizations and Transformations in Calculational Form
  Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2005), Braga, Portugal, 4-7 July, 2005. (Slides), LNCS 4143, 2006. Springer. pp.139-164.
• Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
  Swapping Arguments and Results of Recursive Functions
  8th International Conference on Mathematics of Program Construction (MPC 2006), Kuressaare, Estonia, 3-5 July 2006. LNCS 4014, Springer. pp.379-396.
• Shin-Cheng.Mu, Zhenjiang Hu, Masato Takeichi
  Bidirectionalizing Tree Transformation Languages: A Case Study
  JSSST Computer Software, Vol.23, No.2, 2006. pp.129-141.
• Kiminori Matsuzaki, Kento Emoto, Hideya Iwasaki, Zhenjiang Hu
  A Library of Constructive Skeletons for Sequential Style of Parallel Programming
  First International Conference on Scalable Information Systems (InfoScale 2006), Hong Kong, May 29 - June 1, 2006. Available from ACM Digital Library.

2005

• Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi
  iDocument Builder: An Environment for Building XML-Based Interactive Teaching Materials
  The 3nd International Conference on Education and Information Systems, Technologies and Applications (EISTA 2005), Orlando, Florida, 14-17 July, 2005. pp.423-428.
• Dongxi Liu, Zhenjiang Hu, Masato Takeichi
  An Environment for Maintaining Computation Dependency in XML Documents
  ACM Symposium on Document Engineering (DocEng2005), Bristol, UK, November 2005.
• Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu
  Maximum Marking Problems with Accumulative Weight Functions
  International Colloquium on Theoretical Aspects of Computing (ICTAC 2005), Hanoi, Vietnam, 17-21 October, 2005. LNCS 3722, Springer Verlag. pp.562-578.
• Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
  Calculation Rules for Warming-up in Fusion Transformation
  Sixth Symposium on Trends in Functional Programming (TFP 2005), Tallinn, Estonia, September 23-24, 2005.
• Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
  IO Swapping Leads You There and Back Again
  7th Generative Programming and Component Engineering (GPCE'05) Young Researchers Workshop (GPCE_YRW05), Tallinn, Estonia, September 27, 2005. pp.7-13.
• Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
  Systematic Derivation of Tree Contraction Algorithms
  In Parallel Processing Letters, Vol. 15, No. 3, pp. 321-336, 2005.

2004

• Hideya Iwasaki, Zhenjiang Hu
  A New Parallel Skeleton for General Accumulative Computations
  International Journal of Parallel Programming, 32 (5): 389-414, October 2004.
• Shin-Cheng.Mu, Zhenjiang Hu, Masato Takeichi
  An algebraic approach to bi-directional updating
  The 2nd Asian Symposium on Programming Languages and Systems (APLAS2004), Taipei, Taiwan, Nov. 4-6, LNCS, pp. 2-20, 2004.
• Keisuke Nakano
  An Implementation Scheme for XML Transformation Languages through Derivation of Stream Processors
  The 2nd Asian Symposium on Programming Languages and Systems (APLAS2004), Taipei, Taiwan, Nov. 4-6, LNCS, pp.74-90, 2004.
• Dana Na Xu, Siau-Cheng Khoo, Zhenjiang Hu
  PType System : A Featherweight Parallelizability Detector
  The 2nd Asian Symposium on Programming Languages and Systems (APLAS2004), Taipei, Taiwan, Nov. 4-6, LNCS, pp.197-212, 2004.
• Zhenjiang Hu, Kento Emoto, Shin-Cheng.Mu, Masato Takeichi
  Bidirectionalizing Tree Transformations
  Workshop on New Approaches to Software Construction (WNASC 2004), The University of Tokyo, Komaba, Tokyo, Japan, September 13-14, 2004. pp.3-22.
• Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi
  A Fusion-Embedded Skeleton Library
  In Proceedings of Annual European Conference on Parallel Processing (Euro-Par 2004), 31th August - 3rd September, 2004, Lecture Notes in Computer Science 3149, pp. 644-653, Springer Verlag.
• Zhenjiang Hu, Shin-Cheng.Mu, Masato Takeichi
  A programmable editor for developing structured documents based on bidirectional transformation
  ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM'04), Verona, Italy, August 24 - 25, 2004. ACM Press. pp.178-189.
• Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
  Deterministic Second-order Patterns
  Information Processing Letters, Vol. 89, No.6, Elsevier, 2004. pp. 309-314.
• Shin-Cheng.Mu, Zhenjiang Hu, Masato Takeichi
  An Injective Language for Reversible Computation
  Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, 12-14 July, 2004. LNCS 3125, Springer Verlag. pp. 289-313.
• Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
  Systematic Derivation of Tree Contraction Algorithms
  In Proceedings of the 4th International Workshop on Constructive Methods for Parallel Programming (CMPP 2004), 14th July, 2004, Technical Report of Westfalische wilhelms-univeersitat munster, pp. 109-123.

2003

• Shin-Cheng.Mu, Richard S. Bird
  Rebuilding a tree from its traversals: a case study of program inversion
  In The First Asian Symposium on Programming Languages and Systems, pp. 165-178, 2003.
• Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano
  Iterative-free Program Analysis
  8th ACM SIGPLAN International Conference on Functional Programming, (ICFP 2003), Uppsala, Sweden: 25-29 August 2003. ACM Press. pp.111-123.
• Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
  Deterministic Second-order Patterns and Its Application to Program Transformation
  International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003) Uppsala, Sweden: 25-27 August 2003. pp. 165-178. Revised version appears in LNCS 3018, 2004. Springer Verlag. pp. 128-142.
• Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
  An Efficient Staging Algorithm for Binding-Time Analysis
  International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003) Uppsala, Sweden: 25-27 August 2003. Revised version appears in LNCS 3018, 2004. Springer Verlag. pp. 106-107.
• Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
  List Homomorphism with Accumulation
  4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03), Lubeck, Germany. October 16-18, 2003. pp. 250-259.
• Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
  Parallelization with Tree Skeletons
  In Proceedings of the International Conference on Parallel and Distributed Computing (Euro-Par 2003), Klagenfurt, Austria, 26th - 29th August 2003, Lecture Notes in Computer Science, pp. 789-798, Springer Verlag.

2002

• Wei-Ngan Chin, Zhenjiang Hu
  Towards a Modular Program Derivation via Fusion and Tupling
  The First ACM SIGPLAN Conference on Generators and Components (GCSE/SAIG 2002), Pittsburgh, PA, USA, October 6-8, 2002. Affiliated with (PLI 2002). Lecture Notes in Computer Science 2487, Springer Verlag. pp.140-155.
• Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa
  Derivation of Linear Algorithm for Mining Optimized Gain Association Rules
  JSSST Computer Software, Vol.19, No.4 (2002), pp.39-44.
• Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
  Multidimensional Searching Trees with Minimum Attribute
  JSSST Computer Software, Vol.19, No.1, 2002. pp.22-28.
• Zhenjiang Hu, Tomonari Takahashi, Hideya Iwasaki, Masato Takeichi
  Segmented Diffusion Theorem (invited paper)
  2002 IEEE International Conference on Systems, Man and Cybernetics (SMC 02), Hammamet, Tunisia, October 6-9, 2002. IEEE Press.
• Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
  An Accumulative Parallel Skeleton for All
  11th European Symposium on Programming (ESOP 2002), Grenoble, France, April 8 - 10, 2002. Lecture Notes in Computer Science 2305, Springer Verlag. pp.83-97.
• Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi
  Entering Text using A Four Button Device
  The 19th International Conference on Computational Linguistics. pp.988-994, 2002.
• Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi
  Entering Text using A Four Button Device
  COLING 2002, pp.988-994.

2001

• Isao Sasano, Zhenjiang Hu, Masato Takeichi
  Generation of Efficient Programs for Maximum Multi-Marking Problems
  ACM SIGPLAN Workshop on Semantics, Applications and Implementation of Program Generation (SAIG'01), Firenze, Italy, September 6th, 2001. Lecture Notes in Computer Sciencce 2196, pp.72-91. Springer Verlag.
• Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
  Calculating a New Data Mining Algorithm for Market Basket Analysis
  Journal of Functional and Logic Programming, October 2001.
• Raku Shirasawa, Zhenjiang Hu, Hideya Iwasaki
  Diffusion after Fusion: Deriving Efficient Parallel Algorithms
  The 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001), Monte Carlo Resort, Las Vegas, June 25 - 28, 2001. CSREA Press.
• Tomonari Takahashi, Hideya Iwasaki, Zhenjiang Hu
  Efficient Parallel Skeletons for Nested Data Structures
  The 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001), Monte Carlo Resort, Las Vegas, June 25 - 28, 2001. CSREA Press.
• Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi
  Personalization of Text Entry Systems for Mobile Phones
  NLPRS, pp.177-184, November 2001.
• Yusuke Inutsuka, Kumiko Tanaka-Ishii, Masato Takeichi
  Thai Input System with Digits
  NLPRS, pp.579-584, November 2001.

2000

• Masato Takeichi, Zhenjiang Hu
  Calculation Carrying Programs: How to Code Program Transformations (Invited Paper)
  International Sumposium on Principles of Software Evolution (ISPSE 2000), Kanazawa, Japan, 1-2 November 2000. IEEE Press.
• Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa
  Make it Practical: A Generic Linear Time Algorithm for Solving Maximum Weightsum Problems
  The 2000 ACM SIGPLAN International Conference on Functional Programming, (ICFP 2000), Montreal, Canada, 18-20 September 2000. ACM Press. pp.137-149.
• Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
  Calculating a New Data Mining Algorithm for Market Basket Analysis
  Second International Workshop on Practical Aspects of Declarative Languages (PADL'00), Boston, Massachusetts, January 17-18, 2000. LNCS 1753, Springer Verlag. pp. 169-184.
• Litong Song, Yoshihiko Futamura , Robert Glück, Zhenjiang Hu
  Loop Quasi-Invariance Code Motion
  IEICE Transactions on Information and Systems, Vol. E83-D, No. 10, October 2000. pp.1841-1850.
• Litong Song, Yoshihiko Futamura , Robert Glück, Zhenjiang Hu
  A Loop Optimization Technique Based on Quasi-Invariance
  The 2000 International Conference on Software: Theory and Practice (IFIP World Computer Congress 2000), Beijing, August 21 - 24, 2000.
• Seiichi Adachi, Hideya Iwasaki, Zhenjiang Hu
  diff: A Powerful Parallel Skeleton
  The 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000), Monte Carlo Resort, Las Vegas, June 26 - 29, 2000. CSREA Press. pp.525-527.
• Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi
  Deriving Parallel Codes via Invariants
  International Static Analysis Symposium (SAS2000), University of California, Santa Barbara, 29 June-1 July, 2000. LNCS 1824, Springer Verlag. pp. 75-94.

1999

• Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
  Calculating Accumulations
  New Generation Computing, Vol. 17, No. 2, 1999, pp.153-173.
• Zhenjiang Hu, Masato Takeichi
  Calculating an Optimal Homomorphic Algorithm for Bracket Matching
  Parallel Processing Letters. Vol. 9, No. 3, 1999. pp. 335-345.
• Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki
  Diffusion: Calculating Efficient Parallel Programs
  1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'99). San Antonio, Texas, January 22-23, 1999, pp. 85-94.
• Takanori Hayashi, Shin'ichiro Yamasaki, Naoto Morita, Hitoshi Aida, Masato Takeichi, Norihisa Doi
  Effects of IP packet loss and picture frame reduction on MPEG1 subjective quality
  IEEE-MMSP'99.

Before 1998

• Akihiko Takano, Zhenjiang Hu, Masato Takeichi
  Program Transformation in Calculational Form
  ACM Computing Surveys, Vol. 30, No.3, 1998. A special issue for 1998 Symposium on Partial Evaluation (SOPE'98).
• Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi
  Towards Manipulation of Mutually Recursive Functions
  3rd Fuji International Symposium on Functional and Logic Programming (FLOPS'98), Kyoto, Japan, April 1998, pp. 61-79. World Scientific.
• Akihiko Takano, Zhenjiang Hu, Masato Takeichi
  Program Transformation in Calculational Form
  1998 Symposium on Partial Evaluation (SOPE'98), to be published in ACM Computing Surveys.
• Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu
  Parallelization via Context Preservation
  IEEE Computer Society International Conference on Computer Languages (ICCL'98), Loyola University Chicago, Chicago, USA, May 1998. IEEE Press.
• Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin
  Parallelization in Calculational Forms
  25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'98), San Diego, California, USA, January 1998, pp. 316-328. ACM Press.
• Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
  Tupling Calculation Eliminates Multiple Data Traversals
  2nd ACM SIGPLAN International Conference on Functional Programming (ICFP'97), Amsterdam, The Netherlands, pp.164-175. June 1997. ACM Press.
• Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
  A Calculational Fusion System HYLO,
  IFIP TC 2 Working Conference on Algorithmic Languages and Calculi. Le Bischenberg, France. pp.76-106. February 1997. Chapman Hall.
• Zhenjiang Hu, Masato Takeichi
  A Calculational Framework for Parallelization of Sequential Programs
  IPSJ International Symposium on Information Systems and Technologies for Network Society, Fukuoka, Japan, pp. 102-109. September 1997. World Scientific.
• Liangwei Xu, Masato Takeichi, Hideya Iwasaki
  Relational Semantics for Locally Nondeterministic Programs
  New Generation Computing 15, pp. 339-362, 1997.
• Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
  Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms
  ACM Transactions on Programming Langauges and Systems, 19(3), pp.444-461, May 1997.
• Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
  An Extension of the Acid Rain Theorem
  2nd Fuji International Workshop on Functional and Logic Programming (Fuji'96). Shonan Village, Japan. November 1996. World Scientific.
• Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
  Deriving Structural Hylomorphisms from Recursive Definitions
  ACM SIGPLAN International Conference on Functional Programming (ICFP'96), Philadelphia, pp.73-82. May 1996. ACM Press.
• Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
  Construction of List Homomorphisms by Tupling and Fusion
  21st International Symposium on Mathematical Foundations of Computer Science (MFCS '96), LNCS 1113, pp.407-418. Cracow, September 1996. Springer-Verlag.
• Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
  Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem
  The Annual European conference on Parallel Processing (Euro-Par'96), LNCS 1123, pp.553-562. LIP, ENS Lyon, France. August, 1996. Springer-Verlag.
• Hirotaka Ogawa, Satoshi Matsuoka
  OMPI: Optimizing MPI programs using Partial Evaluation
  Proceedings of Supercomputing '96, Pittsburgh, November 1996.
• Kumiko Tanaka-Ishii, Hideya Iwasaki
  Extraction of Lexical Translations from Non-Aligned Corpora
  Proceedings of the International Conference for Computational Linguistics '96, Copenhagen, 1996.
• Kumiko Tanaka-Ishii, Violaine Privce
  Amélioration automatique increémentale de dictionnaires bilingues utilisant un corpus monolingue
  Conference Internationale d'AUPELF, pages 24-32, 1995.
• Liangwei Xu, Hideya Iwasaki, Masato Takeichi
  Derivation of Algorithms by Introduction of Generation Functions
  New Generation Computing 13(1), pp. 75-98, 1994.
• Liangwei Xu, Masato Takeichi, Hideya Iwasaki
  Deriving Algorithms on Recursive Relation
  IPSJ SIG Notes, 94-SYM-73, pp. 17-24, 1994.
• Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
  Catamorphism Based Transformation of Functional Programs
  Technical Report of IEICE, COMP93-83, SS93-51, pp. 49-56, 1994. IPSJ SIG Notes, 94-PRG-16, pp. 49-56, 1994.
• Kumiko Tanaka-Ishii, Kyoji Uemura
  Construction of a Bilingual Dictionary Intermediated by a Third Language
  Proceedings of the International Conference for Computational Linguistics '94, pp. 297-303, Kyoto, 1994.
• Tetsuro Tanaka , Masato Takeichi
  Parallel execution of functional programs on loosely coupled multiprocessor systems
  Proc. of the Second Parallel Computing Workshop, Kawasaki, P2-C:1-8, 1993.
• Eiiti Wada, Tetsuro Tanaka
  Implementation of UtiLisp/C on AP1000
  Proc. of the Second Parallel Computing Workshop, Kawasaki, P2-C:1-8, 1993.
• Masato Takeichi
  Inserting Injection Operations to Denotational Specifications
  New Generation Computing 4(4), pp.365-381, 1986.
• Masato Takeichi
  Consistent Annotations for Scope Rules
  Journal of Information Processing 5(2), pp.106-112, 1982.
• Masato Takeichi
  Name Identification for Languages with Explicit Scope Control
  Journal of Information Processing 5(1), pp.45-49, 1982.
• Eiiti Wada, Katsuhiko Kakehi, Masato Takeichi
  An Analysis of Program Making
  Conf. on Proc. IFIP Programming Teaching Techniques, pp.127-136, North-Holland, 1972.