A
Abdessamad Imine
Researcher at French Institute for Research in Computer Science and Automation
Publications - 99
Citations - 1175
Abdessamad Imine is an academic researcher from French Institute for Research in Computer Science and Automation. The author has contributed to research in topics: Operational transformation & Collaborative editing. The author has an hindex of 14, co-authored 91 publications receiving 1065 citations. Previous affiliations of Abdessamad Imine include Nancy-Université.
Papers
More filters
Proceedings ArticleDOI
Data consistency for P2P collaborative editing
TL;DR: This paper proposes a new model for building a collaborative editing system that is fully decentralised and does not depend on the number of sites.
Book ChapterDOI
Proving correctness of transformation functions in real-time groupware
TL;DR: This paper shows how a theorem prover can address this serious bottleneck of operational transformation, and verified the correctness of state-of-art transformation functions defined on Strings with surprising results.
Proceedings ArticleDOI
Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems
TL;DR: This paper addresses the correctness issue by proposing a new way to model shared state by retaining tombstones when elements are removed and an instantiation of the proposed model for a linear data structure and the related transformation functions are provided.
Proceedings ArticleDOI
Using the transformational approach to build a safe and generic data synchronizer
TL;DR: This paper proposes an algorithm and specific transformation functions that realize a file system synchronisation that ensures properties of convergence, causality and intention preservation and is extensible to new data types.
Journal ArticleDOI
Formal design and verification of operational transformation algorithms for copies convergence
TL;DR: This paper presents the modelling and deductive verification of OT algorithms with algebraic specifications and shows in particular that many OT algorithms in the literature do not satisfy convergence properties unlike what was stated by their authors.