The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Masato Takeichi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kumiko Tanaka-Ishii, Daichi Hayakawa, Masato Takeichi
    Acquiring Vocabulary for Predictive Text Entry through Dynamic Reuse of a Small User Corpus. [Citation Graph (0, 0)][DBLP]
    ACL, 2003, pp:407-414 [Conf]
  2. Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    A calculational fusion system HYLO. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:76-106 [Conf]
  3. Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi
    Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:58-73 [Conf]
  4. Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
    Fusion Transformation on Functional Programs of Regular Expression Types. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:160-174 [Conf]
  5. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Implementation of Parallel Tree Skeletons on Distributed Systems. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:258-271 [Conf]
  6. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
    An Algebraic Approach to Bi-directional Updating. [Citation Graph (0, 0)][DBLP]
    APLAS, 2004, pp:2-20 [Conf]
  7. Takuma Murakami, Zhenjiang Hu, Masato Takeichi
    An Optimal Staging Algorithm. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:272-284 [Conf]
  8. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    An Accumulative Parallel Skeleton for All. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:89-101 [Conf]
  9. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:246-257 [Conf]
  10. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
    Yicho - A System for Programming Program Calculations. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:366-382 [Conf]
  11. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
    Mining Optimized Ranges. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:119-127 [Conf]
  12. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
    A Compositional Framework for Querying Optimized Ranges. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:363-376 [Conf]
  13. Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi
    Entering Text with a Four-Button Device. [Citation Graph (0, 0)][DBLP]
    COLING, 2002, pp:- [Conf]
  14. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
    A Compositional Framework for Mining Longest Ranges. [Citation Graph (0, 0)][DBLP]
    Discovery Science, 2002, pp:406-413 [Conf]
  15. Dongxi Liu, Zhenjiang Hu, Masato Takeichi
    An environment for maintaining computation dependency in XML documents. [Citation Graph (0, 0)][DBLP]
    ACM Symposium on Document Engineering, 2005, pp:42-51 [Conf]
  16. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    An Accumulative Parallel Skeleton for All. [Citation Graph (0, 0)][DBLP]
    ESOP, 2002, pp:83-97 [Conf]
  17. Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2006, pp:605-614 [Conf]
  18. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. I, 1996, pp:553-562 [Conf]
  19. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Parallelization with Tree Skeletons. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2003, pp:789-798 [Conf]
  20. Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi
    Towards Manipulation of Mutually Recursive Functions. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1998, pp:61-79 [Conf]
  21. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Deriving Structural Hylomorphisms From Recursive Definitions. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:73-82 [Conf]
  22. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
    Tupling Calculation Eliminates Multiple Data Traversals. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:164-175 [Conf]
  23. Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa
    Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. [Citation Graph (0, 0)][DBLP]
    ICFP, 2000, pp:137-149 [Conf]
  24. Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
    An Efficient Staging Algorithm for Binding-Time Analysis. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2003, pp:106-107 [Conf]
  25. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
    Deterministic Higher-Order Patterns for Program Transformation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2003, pp:128-142 [Conf]
  26. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Construction of List Homomorphisms by Tupling and Fusion. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:407-418 [Conf]
  27. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
    An Injective Language for Reversible Computation. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:289-313 [Conf]
  28. Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
    Swapping Arguments and Results of Recursive Functions. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:379-396 [Conf]
  29. Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi
    Personalization of Text Entry Systems for Mobile Phones. [Citation Graph (0, 0)][DBLP]
    NLPRS, 2001, pp:177-184 [Conf]
  30. Yusuke Inutsuka, Kumiko Tanaka-Ishii, Masato Takeichi
    Thai Text Entry with Digits. [Citation Graph (0, 0)][DBLP]
    NLPRS, 2001, pp:579-584 [Conf]
  31. Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
    Calculating a New Data Mining Algorithm for Market Basket Analysis. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:169-184 [Conf]
  32. Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
    A programmable editor for developing structured documents based on bidirectional transformations. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:178-189 [Conf]
  33. Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki
    Diffusion: Calculating Efficient Parallel Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1999, pp:85-94 [Conf]
  34. Dongxi Liu, Zhenjiang Hu, Masato Takeichi
    Bidirectional interpretation of XQuery. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:21-30 [Conf]
  35. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Cheap Tupling in Calculational Form. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:471-472 [Conf]
  36. Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin
    Parallelization in Calculational Forms. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:316-328 [Conf]
  37. Isao Sasano, Zhenjiang Hu, Masato Takeichi
    Generation of Efficient Programs for Solving Maximum Multi-marking Problems. [Citation Graph (0, 0)][DBLP]
    SAIG, 2001, pp:72-91 [Conf]
  38. Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi
    Deriving Parallel Codes via Invariants. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:75-94 [Conf]
  39. Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
    List Homomorphism with Accumulation. [Citation Graph (0, 0)][DBLP]
    SNPD, 2003, pp:250-259 [Conf]
  40. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Towards automatic parallelization of tree reductions in dynamic programming. [Citation Graph (0, 0)][DBLP]
    SPAA, 2006, pp:39-48 [Conf]
  41. Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi
    Program Optimizations and Transformations in Calculation Form. [Citation Graph (0, 0)][DBLP]
    GTTSE, 2006, pp:144-168 [Conf]
  42. Hideya Iwasaki, Kumiko Tanaka-Ishii, Kei Tateno, Masato Takeichi
    Context-sensitive detection and correction of homonym errors in Japanese texts (poster session). [Citation Graph (0, 0)][DBLP]
    IRAL, 2000, pp:215-216 [Conf]
  43. Masato Takeichi
    Partial Parametrization Eliminates Multiple Traversals of Data Structures. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1987, v:24, n:1, pp:57-77 [Journal]
  44. Akihiko Takano, Zhenjiang Hu, Masato Takeichi
    Program Transformation in Calculational Form. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:7- [Journal]
  45. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
    Deterministic second-order patterns. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2004, v:89, n:6, pp:309-314 [Journal]
  46. Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
    Calculating a New Data Mining Algorithm for Market Basket Analysis. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2001, v:2001, n:8, pp:- [Journal]
  47. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Calculating Accumulations. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1999, v:17, n:2, pp:153-173 [Journal]
  48. Masato Takeichi
    Inserting Injection Operations to Denotational Specifications. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1986, v:4, n:4, pp:365-381 [Journal]
  49. Liangwei Xu, Hideya Iwasaki, Masato Takeichi
    Derivation of Algorithms by Introduction of Generation Functions. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1994, v:13, n:1, pp:75-98 [Journal]
  50. Liangwei Xu, Masato Takeichi, Hideya Iwasaki
    Relational Semantics for Locally Nondeterministic Programs. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1997, v:15, n:3, pp:339-362 [Journal]
  51. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Parallel skeletons for manipulating general trees. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 2006, v:32, n:7-8, pp:590-603 [Journal]
  52. Zhenjiang Hu, Masato Takeichi
    Calculating an Optimal Homomorphic Algorithm for Bracket Matching. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 1999, v:9, n:3, pp:335-345 [Journal]
  53. Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
    Systematic Derivation of Tree Contraction Algorithms. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2005, v:15, n:3, pp:321-336 [Journal]
  54. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1997, v:19, n:3, pp:444-461 [Journal]
  55. Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Domain-Specific Optimization Strategy for Skeleton Programs. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2007, pp:705-714 [Conf]
  56. Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi
    Bidirectionalization transformation based on automatic derivation of view complement functions. [Citation Graph (0, 0)][DBLP]
    ICFP, 2007, pp:47-58 [Conf]
  57. Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Automatic inversion generates divide-and-conquer parallel programs. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:146-155 [Conf]
  58. Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
    A Web Service Architecture for Bidirectional XML Updating. [Citation Graph (0, 0)][DBLP]
    APWeb/WAIM, 2007, pp:721-732 [Conf]

  59. A Grammar-Based Approach to Invertible Programs. [Citation Graph (, )][DBLP]


  60. Generators-of-Generators Library with Optimization Capabilities in Fortress. [Citation Graph (, )][DBLP]


  61. Write it recursively: a generic framework for optimal path queries. [Citation Graph (, )][DBLP]


  62. Towards automatic model synchronization from model transformations. [Citation Graph (, )][DBLP]


  63. Type-based specialization of xml transformations. [Citation Graph (, )][DBLP]


  64. The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. [Citation Graph (, )][DBLP]


  65. Supporting automatic model inconsistency fixing. [Citation Graph (, )][DBLP]


  66. EMMA: a web-based report system for programming course--automated verification and enhanced feedback. [Citation Graph (, )][DBLP]


  67. Supporting Parallel Updates with Bidirectional Model Transformations. [Citation Graph (, )][DBLP]


Search in 0.009secs, Finished in 0.011secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002