Concepedia

Masato Takeichi

MT

24

Publications

1.2K

Citations

18

H-Index

1987

Active since

Affiliations

The University of Tokyo(Current)

Tokyo University of Information Sciences

National Institute of Informatics

Bunkyo University

Peking University

Masato Takeichi is an author at The University of Tokyo specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsComputer EngineeringProgram AnalysisParallel ComputingParallel ProgrammingSoftware DesignComputational ComplexitySoftware Analysis

Publications per year

1987–2011

24

Publications

24

Towards automatic model synchronization from model transformations

Yingfei Xiong, Dongxi Liu, Zhenjiang Hu et al. · 2007 · 150 citations

Software Maintenance, Engineering, Model Transformation Techniques +24

Bidirectionalization transformation based on automatic derivation of view complement functions

Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano et al. · 2007 · 118 citations

Engineering, View Function, Complementarity Theory +22

A programmable editor for developing structured documents based on bidirectional transformations

Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi · 2004 · 108 citations

Programmable Editor, Engineering, Structured Data +24

Supporting automatic model inconsistency fixing

Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao et al. · 2009 · 86 citations

Software Maintenance, Engineering, Verification +19

Tupling calculation eliminates multiple data traversals

Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi et al. · 1997 · 82 citations

Engineering, Compiler Technology, Computational Complexity +22

Rows per page

1–5 of 24