Masato Takeichi
According to our database1,
Masato Takeichi
authored at least 79 papers
between 1986 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
10
1
2
1
1
1
1
3
1
1
1
1
2
1
2
1
1
1
2
3
4
1
6
3
2
3
5
8
6
4
2
2
2
4
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
CoRR, 2024
2021
2020
Proceedings of the Software Foundations for Data Interoperability and Large Scale Graph Data Analytics, 2020
Proceedings of the Software Foundations for Data Interoperability and Large Scale Graph Data Analytics, 2020
2013
Softw. Syst. Model., 2013
2012
Manipulating accumulative functions by swapping call-time and return-time computations.
J. Funct. Program., 2012
2010
Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010
Proceedings of the Programming Languages and Systems, 2010
Proceedings of the Algebraic Methodology and Software Technology, 2010
2009
Int. J. Softw. Tools Technol. Transf., 2009
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009
The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009
Proceedings of the Theory and Practice of Model Transformations, 2009
2008
A programmable editor for developing structured documents based on bidirectional transformations.
High. Order Symb. Comput., 2008
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008
2007
Inf. Media Technol., 2007
A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays.
Int. J. Parallel Program., 2007
Proceedings of the Advances in Data and Web Management, 2007
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Bidirectionalization transformation based on automatic derivation of view complement functions.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007
Proceedings of the Euro-Par 2007, 2007
2006
Proceedings of the SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30, 2006
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006
Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006
2005
Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005
Proceedings of the 2005 ACM Symposium on Document Engineering, 2005
2004
Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004
EMMA: a web-based report system for programming course--automated verification and enhanced feedback.
Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004
2003
List Homomorphism with Accumulation.
Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003
Proceedings of the Logic Based Program Synthesis and Transformation, 2003
Proceedings of the Logic Based Program Synthesis and Transformation, 2003
Proceedings of the Euro-Par 2003. Parallel Processing, 2003
Acquiring Vocabulary for Predictive Text Entry through Dynamic Reuse of a Small User Corpus.
Proceedings of the 41st Annual Meeting of the Association for Computational Linguistics, 2003
2002
Proceedings of the Discovery Science, 5th International Conference, 2002
Proceedings of the 19th International Conference on Computational Linguistics, 2002
Yicho - A System for Programming Program Calculations.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002
Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002
An Optimal Staging Algorithm.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002
Implementation of Parallel Tree Skeletons on Distributed Systems.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002
Fusion Transformation on Functional Programs of Regular Expression Types.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002
Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002
2001
Calculating a New Data Mining Algorithm for Market Basket Analysis.
J. Funct. Log. Program., 2001
Proceedings of the Semantics, 2001
Proceedings of the Sixth Natural Language Processing Pacific Rim Symposium, 2001
Proceedings of the Sixth Natural Language Processing Pacific Rim Symposium, 2001
Proceedings of the First International Conference on Human Language Technology Research, 2001
A Compositional Framework for Querying Optimized Ranges.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001
An Accumulative Parallel Skeleton for All.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001
2000
Proceedings of the Static Analysis, 7th International Symposium, 2000
Context-sensitive detection and correction of homonym errors in Japanese texts (poster session).
Proceedings of the Fifth International Workshop on Information Retrieval with Asian Languages, 2000, Hong Kong, China, September 30, 2000
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems.
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000
Mining Optimized Ranges.
Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000
1999
Parallel Process. Lett., 1999
Diffusion: Calculating Efficient Parallel Programs.
Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999
Proceedings of the Third IEEE Workshop on Multimedia Signal Processing, 1999
1998
Towards Manipulation of Mutually Recursive Functions.
Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998
1997
Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms.
ACM Trans. Program. Lang. Syst., 1997
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997
A calculational fusion system HYLO.
Proceedings of the Algorithmic Languages and Calculi, 1997
1996
Proceedings of the Programming Languages: Implementations, 1996
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996
Proceedings of the Euro-Par '96 Parallel Processing, 1996
1994
New Gener. Comput., 1994
1987
Acta Informatica, 1987
1986
New Gener. Comput., 1986