Author of the publication

Proving correctness of transformation functions in collaborative editing systems

, , , and . RR-5795. INRIA, (December 2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Efficient Renaming in Sequence CRDTs., , and . IEEE Trans. Parallel Distributed Syst., 33 (12): 3870-3885 (2022)Proving Correctness of Transformation Functions in Real-Time Groupware., , , and . ECSCW, page 277-293. Springer, (2003)Gasper: A Collaborative Writing Mode for Avoiding Blind Modifications, , , and . Research Report, RR-6204. LORIA -- INRIA Lorraine, (May 2007)Divergence Awareness for Virtual Team through the Web, , and . Integrated Design and Process Technology, IDPT 2002, Pasadena, CA, USA, Society for Desing and Process Science, (June 2002)Achieving Convergence with Operational Transformation in Distributed Groupware Systems, , , and . Rapport de recherche, RR-5188. INRIA, (May 2004)Services for Virtual Teams Hosting: ToxicFarm Introduction, , , , , and . Proceedings of the 2nd International Workshop on Cooperative Internet Computing, Hong Kong, China, ACM Hong Kong, (August 2002)Un modèle sûr et générique pour la synchronisation de données divergentes, , , and . Premières Journées Francophones : Mobilité et Ubiquité - UbiMob'04, Nice, France, (June 2004)Optimistic Replication for Massive Collaborative Editing, , , , and . RR-5719. INRIA, (October 2005)Real time group editors without Operational transformation, , , and . RR-5580. INRIA, (May 2005)Development of Transformation Functions Assisted by Theorem Prover, , , and . The Fourth International Workshop on Collaborative Editing, ACM CSCW 2002, New Orleans, Louisiana, USA, (November 2002)