Masato Takeichi
The University of Tokyo(JP)
Publications by Year
Research Areas
Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Advanced Database Systems and Queries, Formal Methods in Verification, Semantic Web and Ontologies
Most-Cited Works
- → Towards automatic model synchronization from model transformations(2007)150 cited
- → Bidirectionalization transformation based on automatic derivation of view complement functions(2007)118 cited
- → A programmable editor for developing structured documents based on bidirectional transformations(2004)108 cited
- → Supporting automatic model inconsistency fixing(2009)86 cited
- → Tupling calculation eliminates multiple data traversals(1997)82 cited
- → An Algebraic Approach to Bi-directional Updating(2004)79 cited
- → Deriving structural hylomorphisms from recursive definitions(1996)70 cited