dblp.uni-trier.dewww.uni-trier.de

Masato Takeichi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
67EEYingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei: Supporting automatic model inconsistency fixing. ESEC/SIGSOFT FSE 2009: 315-324
66EEYingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi: Supporting Parallel Updates with Bidirectional Model Transformations. ICMT 2009: 213-228
65EEKazutaka Matsuda, Zhenjiang Hu, Masato Takeichi: Type-based specialization of xml transformations. PEPM 2009: 61-72
64EEAkimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. POPL 2009: 177-185
2008
63EEAkimasa Morihata, Kiminori Matsuzaki, Masato Takeichi: Write it recursively: a generic framework for optimal path queries. ICFP 2008: 169-178
62EEZhenjiang Hu, Shin-Cheng Mu, Masato Takeichi: A programmable editor for developing structured documents based on bidirectional transformations. Higher-Order and Symbolic Computation 21(1-2): 89-118 (2008)
2007
61EEYasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi: A Web Service Architecture for Bidirectional XML Updating. APWeb/WAIM 2007: 721-732
60EEYingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei: Towards automatic model synchronization from model transformations. ASE 2007: 164-173
59EEKento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Domain-Specific Optimization Strategy for Skeleton Programs. Euro-Par 2007: 705-714
58EEKazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi: Bidirectionalization transformation based on automatic derivation of view complement functions. ICFP 2007: 47-58
57EEDongxi Liu, Zhenjiang Hu, Masato Takeichi: Bidirectional interpretation of XQuery. PEPM 2007: 21-30
56EEKazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Automatic inversion generates divide-and-conquer parallel programs. PLDI 2007: 146-155
55EEKento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi: A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays. International Journal of Parallel Programming 35(6): 615-658 (2007)
2006
54EEKento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. Euro-Par 2006: 605-614
53EEZhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi: Program Optimizations and Transformations in Calculation Form. GTTSE 2006: 144-168
52EEAkimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi: Swapping Arguments and Results of Recursive Functions. MPC 2006: 379-396
51EEKiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Towards automatic parallelization of tree reductions in dynamic programming. SPAA 2006: 39-48
50EEKiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Parallel skeletons for manipulating general trees. Parallel Computing 32(7-8): 590-603 (2006)
2005
49EEDongxi Liu, Zhenjiang Hu, Masato Takeichi: An environment for maintaining computation dependency in XML documents. ACM Symposium on Document Engineering 2005: 42-51
48EEKiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi: Systematic Derivation of Tree Contraction Algorithms. Parallel Processing Letters 15(3): 321-336 (2005)
2004
47EEShin-Cheng Mu, Zhenjiang Hu, Masato Takeichi: An Algebraic Approach to Bi-directional Updating. APLAS 2004: 2-20
46EEKumiko Tanaka-Ishii, Kazuhiko Kakehi, Masato Takeichi: EMMA: a web-based report system for programming course--automated verification and enhanced feedback. ITiCSE 2004: 278
45EEShin-Cheng Mu, Zhenjiang Hu, Masato Takeichi: An Injective Language for Reversible Computation. MPC 2004: 289-313
44EEZhenjiang Hu, Shin-Cheng Mu, Masato Takeichi: A programmable editor for developing structured documents based on bidirectional transformations. PEPM 2004: 178-189
43EETetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: Deterministic second-order patterns. Inf. Process. Lett. 89(6): 309-314 (2004)
2003
42EEKumiko Tanaka-Ishii, Daichi Hayakawa, Masato Takeichi: Acquiring Vocabulary for Predictive Text Entry through Dynamic Reuse of a Small User Corpus. ACL 2003: 407-414
41EEKiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Parallelization with Tree Skeletons. Euro-Par 2003: 789-798
40EETakuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi: An Efficient Staging Algorithm for Binding-Time Analysis. LOPSTR 2003: 106-107
39EETetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: Deterministic Higher-Order Patterns for Program Transformation. LOPSTR 2003: 128-142
38 Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi: List Homomorphism with Accumulation. SNPD 2003: 250-259
2002
37 Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi: Fusion Transformation on Functional Programs of Regular Expression Types. APLAS 2002: 160-174
36 Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. APLAS 2002: 246-257
35 Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Implementation of Parallel Tree Skeletons on Distributed Systems. APLAS 2002: 258-271
34 Takuma Murakami, Zhenjiang Hu, Masato Takeichi: An Optimal Staging Algorithm. APLAS 2002: 272-284
33 Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: Yicho - A System for Programming Program Calculations. APLAS 2002: 366-382
32 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
31EEKumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi: Entering Text with a Four-Button Device. COLING 2002
30EEHaiyan Zhao, Zhenjiang Hu, Masato Takeichi: A Compositional Framework for Mining Longest Ranges. Discovery Science 2002: 406-413
29EEZhenjiang Hu, Hideya Iwasaki, Masato Takeichi: An Accumulative Parallel Skeleton for All. ESOP 2002: 83-97
2001
28 Haiyan Zhao, Zhenjiang Hu, Masato Takeichi: A Compositional Framework for Querying Optimized Ranges. APLAS 2001: 363-376
27 Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: An Accumulative Parallel Skeleton for All. APLAS 2001: 89-101
26EEKumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi: Personalization of Text Entry Systems for Mobile Phones. NLPRS 2001: 177-184
25EEYusuke Inutsuka, Kumiko Tanaka-Ishii, Masato Takeichi: Thai Text Entry with Digits. NLPRS 2001: 579-584
24EEIsao Sasano, Zhenjiang Hu, Masato Takeichi: Generation of Efficient Programs for Solving Maximum Multi-marking Problems. SAIG 2001: 72-91
23 Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi: Calculating a New Data Mining Algorithm for Market Basket Analysis. Journal of Functional and Logic Programming 2001(8): (2001)
2000
22 Haiyan Zhao, Zhenjiang Hu, Masato Takeichi: Mining Optimized Ranges. APLAS 2000: 119-127
21EEIsao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa: Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. ICFP 2000: 137-149
20EEHideya 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
19EEZhenjiang Hu, Wei-Ngan Chin, Masato Takeichi: Calculating a New Data Mining Algorithm for Market Basket Analysis. PADL 2000: 169-184
18 Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi: Deriving Parallel Codes via Invariants. SAS 2000: 75-94
1999
17 Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki: Diffusion: Calculating Efficient Parallel Programs. PEPM 1999: 85-94
16 Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Calculating Accumulations. New Generation Comput. 17(2): 153-173 (1999)
15EEZhenjiang Hu, Masato Takeichi: Calculating an Optimal Homomorphic Algorithm for Bracket Matching. Parallel Processing Letters 9(3): 335-345 (1999)
1998
14 Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi: Towards Manipulation of Mutually Recursive Functions. Fuji International Symposium on Functional and Logic Programming 1998: 61-79
13EEZhenjiang Hu, Masato Takeichi, Wei-Ngan Chin: Parallelization in Calculational Forms. POPL 1998: 316-328
12EEAkihiko Takano, Zhenjiang Hu, Masato Takeichi: Program Transformation in Calculational Form. ACM Comput. Surv. 30(3es): 7 (1998)
1997
11 Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: A calculational fusion system HYLO. Algorithmic Languages and Calculi 1997: 76-106
10 Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano: Tupling Calculation Eliminates Multiple Data Traversals. ICFP 1997: 164-175
9EEZhenjiang 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)
8 Liangwei Xu, Masato Takeichi, Hideya Iwasaki: Relational Semantics for Locally Nondeterministic Programs. New Generation Comput. 15(3): 339-362 (1997)
1996
7EEZhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. Euro-Par, Vol. I 1996: 553-562
6 Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Deriving Structural Hylomorphisms From Recursive Definitions. ICFP 1996: 73-82
5EEZhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Construction of List Homomorphisms by Tupling and Fusion. MFCS 1996: 407-418
4EEZhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Cheap Tupling in Calculational Form. PLILP 1996: 471-472
1994
3 Liangwei Xu, Hideya Iwasaki, Masato Takeichi: Derivation of Algorithms by Introduction of Generation Functions. New Generation Comput. 13(1): 75-98 (1994)
1987
2 Masato Takeichi: Partial Parametrization Eliminates Multiple Traversals of Data Structures. Acta Inf. 24(1): 57-77 (1987)
1986
1 Masato Takeichi: Inserting Injection Operations to Denotational Specifications. New Generation Comput. 4(4): 365-381 (1986)

Coauthor Index

1Wei-Ngan Chin [13] [18] [19] [23]
2Kento Emoto [54] [55] [59] [61]
3Makoto Hamana [58]
4Daichi Hayakawa [42]
5Yasushi Hayashi [61]
6Zhenjiang Hu [4] [5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [21] [22] [23] [24] [27] [28] [29] [30] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [43] [44] [45] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [64] [65] [66] [67]
7Yusuke Inutsuka [25] [26] [31]
8Hideya Iwasaki [3] [4] [5] [6] [7] [8] [9] [10] [11] [14] [16] [17] [20] [27] [29] [36]
9Kazuhiko Kakehi [37] [38] [40] [46] [48] [52] [55]
10Siau-Cheng Khoo [18]
11Dongxi Liu [49] [57] [60] [61]
12Kazutaka Matsuda [58] [61] [65]
13Kiminori Matsuzaki [35] [41] [48] [50] [51] [54] [56] [59] [63] [64]
14Hong Mei [60] [67]
15Akimasa Morihata [52] [56] [63] [64]
16Kazutaka Morita [56]
17Shin-Cheng Mu [44] [45] [47] [62]
18Takuma Murakami [34] [40]
19Keisuke Nakano [58]
20Mizuhito Ogawa [21] [32]
21Yoshiyuki Onoue [11]
22Isao Sasano [21] [24] [32]
23Hui Song [66] [67]
24Akihiko Takano [10] [12]
25Kumiko Tanaka-Ishii [20] [25] [26] [31] [42] [46]
26Kei Tateno [20]
27Yingfei Xiong [60] [66] [67]
28Liangwei Xu [3] [8]
29Tetsuo Yokoyama [33] [39] [43] [53]
30Haiyan Zhao [22] [28] [30] [60] [67]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)