default search action
Masato Takeichi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i3]Masato Takeichi:
Coordination-free Collaborative Replication based on Operational Transformation. CoRR abs/2409.09934 (2024) - 2021
- [i2]Masato Takeichi:
Conflict-free Collaborative Set Sharing for Distributed Systems. CoRR abs/2112.00286 (2021) - [i1]Masato Takeichi:
Operation-based Collaborative Data Sharing for Distributed Systems. CoRR abs/2112.00288 (2021) - 2020
- [c61]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 - [c60]Makoto Onizuka, Yasunori Ishihara, Masato Takeichi:
Towards Smart Data Sharing by Updatable Views. SFDI/LSGDA@VLDB 2020: 165-171
2010 – 2019
- 2013
- [j19]Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi:
Synchronizing concurrent model updates based on bidirectional transformation. Softw. Syst. Model. 12(1): 89-104 (2013) - 2012
- [j18]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) - 2010
- [c59]Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi:
Program Calculation in Coq. AMAST 2010: 163-179 - [c58]Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi:
A Grammar-Based Approach to Invertible Programs. ESOP 2010: 448-467 - [c57]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
2000 – 2009
- 2009
- [j17]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) - [c56]Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi:
Supporting Parallel Updates with Bidirectional Model Transformations. ICMT@TOOLS 2009: 213-228 - [c55]Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi:
Type-based specialization of xml transformations. PEPM 2009: 61-72 - [c54]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 - [c53]Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei:
Supporting automatic model inconsistency fixing. ESEC/SIGSOFT FSE 2009: 315-324 - 2008
- [j16]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) - [c52]Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi:
Write it recursively: a generic framework for optimal path queries. ICFP 2008: 169-178 - [c51]Keisuke Nakano, Zhenjiang Hu, Masato Takeichi:
Consistent Web site updating based on bidirectional transformation. WSE 2008: 45-54 - 2007
- [j15]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) - [j14]Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi:
Bidirectionalizing Tree Transformation Languages: A Case Study. Inf. Media Technol. 2(2): 420-432 (2007) - [j13]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) - [c50]Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Domain-Specific Optimization Strategy for Skeleton Programs. Euro-Par 2007: 705-714 - [c49]Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi:
Bidirectionalization transformation based on automatic derivation of view complement functions. ICFP 2007: 47-58 - [c48]Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei:
Towards automatic model synchronization from model transformations. ASE 2007: 164-173 - [c47]Dongxi Liu, Zhenjiang Hu, Masato Takeichi:
Bidirectional interpretation of XQuery. PEPM 2007: 21-30 - [c46]Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Automatic inversion generates divide-and-conquer parallel programs. PLDI 2007: 146-155 - [c45]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 - 2006
- [j12]Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Parallel skeletons for manipulating general trees. Parallel Comput. 32(7-8): 590-603 (2006) - [c44]Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. Euro-Par 2006: 605-614 - [c43]Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
Swapping Arguments and Results of Recursive Functions. MPC 2006: 379-396 - [c42]Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Towards automatic parallelization of tree reductions in dynamic programming. SPAA 2006: 39-48 - 2005
- [j11]Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi:
Systematic Derivation of Tree Contraction Algorithms. Parallel Process. Lett. 15(3): 321-336 (2005) - [c41]Dongxi Liu, Zhenjiang Hu, Masato Takeichi:
An environment for maintaining computation dependency in XML documents. ACM Symposium on Document Engineering 2005: 42-51 - [c40]Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi:
Program Optimizations and Transformations in Calculation Form. GTTSE 2005: 144-168 - 2004
- [j10]Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi:
Deterministic second-order patterns. Inf. Process. Lett. 89(6): 309-314 (2004) - [c39]Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi:
An Algebraic Approach to Bi-directional Updating. APLAS 2004: 2-20 - [c38]Kumiko Tanaka-Ishii, Kazuhiko Kakehi, Masato Takeichi:
EMMA: a web-based report system for programming course--automated verification and enhanced feedback. ITiCSE 2004: 278 - [c37]Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi:
An Injective Language for Reversible Computation. MPC 2004: 289-313 - [c36]Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi:
A programmable editor for developing structured documents based on bidirectional transformations. PEPM 2004: 178-189 - 2003
- [c35]Kumiko Tanaka-Ishii, Daichi Hayakawa, Masato Takeichi:
Acquiring Vocabulary for Predictive Text Entry through Dynamic Reuse of a Small User Corpus. ACL 2003: 407-414 - [c34]Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Parallelization with Tree Skeletons. Euro-Par 2003: 789-798 - [c33]Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi:
An Efficient Staging Algorithm for Binding-Time Analysis. LOPSTR 2003: 106-107 - [c32]Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi:
Deterministic Higher-Order Patterns for Program Transformation. LOPSTR 2003: 128-142 - [c31]Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
List Homomorphism with Accumulation. SNPD 2003: 250-259 - 2002
- [c30]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 - [c29]Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
Fusion Transformation on Functional Programs of Regular Expression Types. APLAS 2002: 160-174 - [c28]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. APLAS 2002: 246-257 - [c27]Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Implementation of Parallel Tree Skeletons on Distributed Systems. APLAS 2002: 258-271 - [c26]Takuma Murakami, Zhenjiang Hu, Masato Takeichi:
An Optimal Staging Algorithm. APLAS 2002: 272-284 - [c25]Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi:
Yicho - A System for Programming Program Calculations. APLAS 2002: 366-382 - [c24]Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi:
Entering Text with a Four-Button Device. COLING 2002 - [c23]Haiyan Zhao, Zhenjiang Hu, Masato Takeichi:
A Compositional Framework for Mining Longest Ranges. Discovery Science 2002: 406-413 - [c22]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
An Accumulative Parallel Skeleton for All. ESOP 2002: 83-97 - 2001
- [j9]Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi:
Calculating a New Data Mining Algorithm for Market Basket Analysis. J. Funct. Log. Program. 2001(8) (2001) - [c21]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
An Accumulative Parallel Skeleton for All. APLAS 2001: 89-101 - [c20]Haiyan Zhao, Zhenjiang Hu, Masato Takeichi:
A Compositional Framework for Querying Optimized Ranges. APLAS 2001: 363-376 - [c19]Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi:
Japanese Text Input System With Digits. HLT 2001 - [c18]Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi:
Personalization of Text Entry Systems for Mobile Phones. NLPRS 2001: 177-184 - [c17]Yusuke Inutsuka, Kumiko Tanaka-Ishii, Masato Takeichi:
Thai Text Entry with Digits. NLPRS 2001: 579-584 - [c16]Isao Sasano, Zhenjiang Hu, Masato Takeichi:
Generation of Efficient Programs for Solving Maximum Multi-marking Problems. SAIG 2001: 72-91 - 2000
- [c15]Haiyan Zhao, Zhenjiang Hu, Masato Takeichi:
Mining Optimized Ranges. APLAS 2000: 119-127 - [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]Hideya Iwasaki, Kumiko Tanaka-Ishii, Kei Tateno, Masato Takeichi:
Context-sensitive detection and correction of homonym errors in Japanese texts (poster session). IRAL 2000: 215-216 - [c12]Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi:
Calculating a New Data Mining Algorithm for Market Basket Analysis. PADL 2000: 169-184 - [c11]Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi:
Deriving Parallel Codes via Invariants. SAS 2000: 75-94
1990 – 1999
- 1999
- [j8]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
Calculating Accumulations. New Gener. Comput. 17(2): 153-173 (1999) - [j7]Zhenjiang Hu, Masato Takeichi:
Calculating an Optimal Homomorphic Algorithm for Bracket Matching. Parallel Process. Lett. 9(3): 335-345 (1999) - [c10]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. MMSP 1999: 515-520 - [c9]Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki:
Diffusion: Calculating Efficient Parallel Programs. PEPM 1999: 85-94 - 1998
- [j6]Akihiko Takano, Zhenjiang Hu, Masato Takeichi:
Program Transformation in Calculational Form. ACM Comput. Surv. 30(3es): 7 (1998) - [c8]Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi:
Towards Manipulation of Mutually Recursive Functions. Fuji International Symposium on Functional and Logic Programming 1998: 61-79 - [c7]Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin:
Parallelization in Calculational Forms. POPL 1998: 316-328 - 1997
- [j5]Liangwei Xu, Masato Takeichi, Hideya Iwasaki:
Relational Semantics for Locally Nondeterministic Programs. New Gener. Comput. 15(3): 339-362 (1997) - [j4]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 - [e2]Tetsuo Ida, Atsushi Ohori, Masato Takeichi:
Functional and Logic Programming, Proceedings of the Second Fuji International Workshop, Shonan Village Center, Japan, 1-4 November 1996. World Scientific 1997, ISBN 981-02-2923-2 [contents] - 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 - 1995
- [e1]Masato Takeichi, Tetsuo Ida:
Functional and Logic Programming, Proceedings of the Fuji International Workshop, Susono, Japan, 17-19 July 1995. World Scientific 1995, ISBN 981-02-2437-0 [contents] - 1994
- [j3]Liangwei Xu, Hideya Iwasaki, Masato Takeichi:
Derivation of Algorithms by Introduction of Generation Functions. New Gener. Comput. 13(1): 75-98 (1994)
1980 – 1989
- 1987
- [j2]Masato Takeichi:
Partial Parametrization Eliminates Multiple Traversals of Data Structures. Acta Informatica 24(1): 57-77 (1987) - 1986
- [j1]Masato Takeichi:
Inserting Injection Operations to Denotational Specifications. New Gener. Comput. 4(4): 365-381 (1986)
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 2024-10-15 00:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint