Masato Takeichi

Bidirectional Collaborative Frameworks for Decentralized Data Management 

Communications in Computer and Information Science, 13-51, 2022  Peer-reviewed

BCDS Agent: An Architecture for Bidirectional Collaborative Data Sharing 

Computer Software, 38(3) 41-57, Jul, 2021  Peer-reviewedLead authorCorresponding author

Data Integration Models and Architectures for Service Alliances. 

Software Foundations for Data Interoperability and Large Scale Graph Data Analytics - 4th International Workshop, SFDI 2020, and 2nd International Workshop(SFDI/LSGDA@VLDB), 152-164, 2020  Peer-reviewed

Synchronizing concurrent model updates based on bidirectional transformation 

Software and Systems Modeling, 12(1) 89-104, 2013  Peer-reviewed

An Expressive Bidirectional Transformation Language for XQuery View Update 

Progress in Informatics, 10(10) 89-129, 2013  Peer-reviewed

Manipulating accumulative functions by swapping call-time and return-time computations 

JOURNAL OF FUNCTIONAL PROGRAMMING, 22(3) 275-299, May, 2012  Peer-reviewed

Optimal Path Querying Based on a Domain-specific Language 

Transaction (CD-ROM), Journal of Information Processing Society of Japan, 2010(2) ROMBUNNO.PUROGURAMINGU,VOL.4,NO.2,116-133, Apr, 2011  Peer-reviewed

Program Calculation in Coq 

ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 6486 163-+, 2011  Peer-reviewed

Generators-of-Generators Library with Optimization Capabilities in Fortress 

EURO-PAR 2010 - PARALLEL PROCESSING, PART II, 6272 26-+, 2010  Peer-reviewed

A Grammar-Based Approach to Invertible Programs 

PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 6012 448-+, 2010  Peer-reviewed

Beanbag:A Language for Automatic Model Inconsistency Fixing 

In Proceedings of IPSJ/SIGSE Software Engineering Symposium 2009 (SES'09), Poster Paper, pp 189, September 2009, Sep, 2009  Peer-reviewed

Program Parallelization by Candidate Generation and Conformity Testing 

情報処理学会論文誌トランザクション(CD-ROM), 2008(2) VOL.2NO.2,132-143, Apr 15, 2009  Peer-reviewed

Bidirectionalizing Programs with Duplication through Complementary Function Derivation 

Computer Software, Journal of Japan Society for Software Science and Technology, 26(2) 56-75, Apr, 2009  Peer-reviewed

From Bidirectional Model Transformation to Model Synchronization 

In Proceedings of the Sixth Asian Workshop on Foundations of Software (AWFS'09), Tokyo, Japan, pages 56-65, April 2009, 56-65, Apr, 2009  Peer-reviewed

Program Parallelization by Candidate Generation and Conformity Testing 

Programming Section, Journal of Information Processing Society of Japan, 2(2) 132-143, Mar, 2009  Peer-reviewed