Masato Takeichi

85 papers A* 5A 7B 19C 9Journal 22Unranked 21

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Coordination-free Collaborative Replication based on Operational Transformation. CoRR Masato Takeichi
2021	J	`jnl`	Conflict-free Collaborative Set Sharing for Distributed Systems. CoRR Masato Takeichi
2021	J	`jnl`	Operation-based Collaborative Data Sharing for Distributed Systems. CoRR Masato Takeichi
2020	—	`conf`	Data Integration Models and Architectures for Service Alliances. SFDI/LSGDA@VLDB Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Makoto Onizuka, Masato Takeichi, Masatoshi Yoshikawa
2020	—	`conf`	Towards Smart Data Sharing by Updatable Views. SFDI/LSGDA@VLDB Makoto Onizuka, Yasunori Ishihara, Masato Takeichi
2013	J	`jnl`	Synchronizing concurrent model updates based on bidirectional transformation. Softw. Syst. Model. Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
2012	J	`jnl`	Manipulating accumulative functions by swapping call-time and return-time computations. J. Funct. Program. Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
2010	A	`conf`	A Grammar-Based Approach to Invertible Programs. ESOP Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
2010	—	`conf`	Generators-of-Generators Library with Optimization Capabilities in Fortress. Euro-Par (2) Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
2010	—	`conf`	Program Calculation in Coq. AMAST Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi
2009	J	`jnl`	Consistent Web site updating based on bidirectional transformation. Int. J. Softw. Tools Technol. Transf. Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
2009	—	`conf`	Supporting Parallel Updates with Bidirectional Model Transformations. ICMT@TOOLS Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
2009	—	`conf`	Supporting automatic model inconsistency fixing. ESEC/SIGSOFT FSE Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei
2009	A*	`conf`	The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. POPL Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2009	C	`conf`	Type-based specialization of xml transformations. PEPM Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
2008	J	`jnl`	A programmable editor for developing structured documents based on bidirectional transformations. High. Order Symb. Comput. Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
2008	—	`conf`	Consistent Web site updating based on bidirectional transformation. WSE Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
2008	A	`conf`	Write it recursively: a generic framework for optimal path queries. ICFP Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi
2007	J	`jnl`	A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays. Int. J. Parallel Program. Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
2007	J	`jnl`	A Java Library for Bidirectional XML Transformation. Inf. Media Technol. Dongxi Liu, Zhenjiang Hu, Masato Takeichi, Kazuhiko Kakehi, Hao Wang
2007	—	`conf`	A Web Service Architecture for Bidirectional XML Updating. APWeb/WAIM Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
2007	A*	`conf`	Automatic inversion generates divide-and-conquer parallel programs. PLDI Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2007	C	`conf`	Bidirectional interpretation of XQuery. PEPM Dongxi Liu, Zhenjiang Hu, Masato Takeichi
2007	A	`conf`	Bidirectionalization transformation based on automatic derivation of view complement functions. ICFP Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi
2007	J	`jnl`	Bidirectionalizing Tree Transformation Languages: A Case Study. Inf. Media Technol. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
2007	—	`conf`	Domain-Specific Optimization Strategy for Skeleton Programs. Euro-Par Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2007	A*	`conf`	Towards automatic model synchronization from model transformations. ASE Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei
2006	J	`jnl`	Parallel skeletons for manipulating general trees. Parallel Comput. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2006	—	`conf`	Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. Euro-Par Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2006	B	`conf`	Swapping Arguments and Results of Recursive Functions. MPC Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
2006	B	`conf`	Towards automatic parallelization of tree reductions in dynamic programming. SPAA Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2005	B	`conf`	An environment for maintaining computation dependency in XML documents. ACM Symposium on Document Engineering Dongxi Liu, Zhenjiang Hu, Masato Takeichi
2005	—	`conf`	Program Optimizations and Transformations in Calculation Form. GTTSE Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi
2005	J	`jnl`	Systematic Derivation of Tree Contraction Algorithms. Parallel Process. Lett. Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
2004	C	`conf`	A programmable editor for developing structured documents based on bidirectional transformations. PEPM Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
2004	B	`conf`	An Algebraic Approach to Bi-directional Updating. APLAS Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
2004	B	`conf`	An Injective Language for Reversible Computation. MPC Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
2004	J	`jnl`	Deterministic second-order patterns. Inf. Process. Lett. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
2004	B	`conf`	EMMA: a web-based report system for programming course--automated verification and enhanced feedback. ITiCSE Kumiko Tanaka-Ishii, Kazuhiko Kakehi, Masato Takeichi
2003	A*	`conf`	Acquiring Vocabulary for Predictive Text Entry through Dynamic Reuse of a Small User Corpus. ACL Kumiko Tanaka-Ishii, Daichi Hayakawa, Masato Takeichi
2003	C	`conf`	An Efficient Staging Algorithm for Binding-Time Analysis. LOPSTR Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
2003	C	`conf`	Deterministic Higher-Order Patterns for Program Transformation. LOPSTR Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
2003	C	`conf`	List Homomorphism with Accumulation. SNPD Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
2003	—	`conf`	Parallelization with Tree Skeletons. Euro-Par Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2002	B	`conf`	A Compositional Framework for Mining Longest Ranges. Discovery Science Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
2002	B	`conf`	Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. APLAS Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi
2002	A	`conf`	An Accumulative Parallel Skeleton for All. ESOP Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
2002	B	`conf`	An Optimal Staging Algorithm. APLAS Takuma Murakami, Zhenjiang Hu, Masato Takeichi
2002	B	`conf`	Entering Text with a Four-Button Device. COLING Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi
2002	B	`conf`	Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. APLAS Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
2002	B	`conf`	Fusion Transformation on Functional Programs of Regular Expression Types. APLAS Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
2002	B	`conf`	Implementation of Parallel Tree Skeletons on Distributed Systems. APLAS Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2002	B	`conf`	Yicho - A System for Programming Program Calculations. APLAS Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
2001	B	`conf`	A Compositional Framework for Querying Optimized Ranges. APLAS Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
2001	B	`conf`	An Accumulative Parallel Skeleton for All. APLAS Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
2001	J	`jnl`	Calculating a New Data Mining Algorithm for Market Basket Analysis. J. Funct. Log. Program. Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
2001	—	`conf`	Generation of Efficient Programs for Solving Maximum Multi-marking Problems. SAIG Isao Sasano, Zhenjiang Hu, Masato Takeichi
2001	—	`conf`	Japanese Text Input System With Digits. HLT Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi
2001	—	`conf`	Personalization of Text Entry Systems for Mobile Phones. NLPRS Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi
2001	—	`conf`	Thai Text Entry with Digits. NLPRS Yusuke Inutsuka, Kumiko Tanaka-Ishii, Masato Takeichi
2000	C	`conf`	Calculating a New Data Mining Algorithm for Market Basket Analysis. PADL Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
2000	—	`conf`	Context-sensitive detection and correction of homonym errors in Japanese texts (poster session). IRAL Hideya Iwasaki, Kumiko Tanaka-Ishii, Kei Tateno, Masato Takeichi
2000	B	`conf`	Deriving Parallel Codes via Invariants. SAS Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi
2000	A	`conf`	Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. ICFP Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa
2000	B	`conf`	Mining Optimized Ranges. APLAS Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
1999	J	`jnl`	Calculating Accumulations. New Gener. Comput. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
1999	J	`jnl`	Calculating an Optimal Homomorphic Algorithm for Bracket Matching. Parallel Process. Lett. Zhenjiang Hu, Masato Takeichi
1999	C	`conf`	Diffusion: Calculating Efficient Parallel Programs. PEPM Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki
1999	C	`conf`	Effects of IP packet loss and picture frame reduction on MPEG1 subjective quality. MMSP Takanori Hayashi, Shin'ichiro Yamasaki, Naoto Morita, Hitoshi Aida, Masato Takeichi, Norihisa Doi
1998	A*	`conf`	Parallelization in Calculational Forms. POPL Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin
1998	J	`jnl`	Program Transformation in Calculational Form. ACM Comput. Surv. Akihiko Takano, Zhenjiang Hu, Masato Takeichi
1998	—	`conf`	Towards Manipulation of Mutually Recursive Functions. Fuji International Symposium on Functional and Logic Programming Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi
1997	—	`conf`	A calculational fusion system HYLO. Algorithmic Languages and Calculi Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
1997	J	`jnl`	Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms. ACM Trans. Program. Lang. Syst. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
1997	—	`ed.`	Functional and Logic Programming, Proceedings of the Second Fuji International Workshop, Shonan Village Center, Japan, 1-4 November 1996. FLOPS Tetsuo Ida, Atsushi Ohori, Masato Takeichi
1997	J	`jnl`	Relational Semantics for Locally Nondeterministic Programs. New Gener. Comput. Liangwei Xu, Masato Takeichi, Hideya Iwasaki
1997	A	`conf`	Tupling Calculation Eliminates Multiple Data Traversals. ICFP Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
1996	—	`conf`	Cheap Tupling in Calculational Form. PLILP Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
1996	B	`conf`	Construction of List Homomorphisms by Tupling and Fusion. MFCS Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
1996	A	`conf`	Deriving Structural Hylomorphisms From Recursive Definitions. ICFP Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
1996	—	`conf`	Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. Euro-Par, Vol. I Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
1995	—	`ed.`	Functional and Logic Programming, Proceedings of the Fuji International Workshop, Susono, Japan, 17-19 July 1995. FLOPS Masato Takeichi, Tetsuo Ida
1994	J	`jnl`	Derivation of Algorithms by Introduction of Generation Functions. New Gener. Comput. Liangwei Xu, Hideya Iwasaki, Masato Takeichi
1987	J	`jnl`	Partial Parametrization Eliminates Multiple Traversals of Data Structures. Acta Informatica Masato Takeichi
1986	J	`jnl`	Inserting Injection Operations to Denotational Specifications. New Gener. Comput. Masato Takeichi