, Implicit induction in conditional theories, Journal of Automated Reasoning, vol.31, issue.2, pp.189-235, 1995.
DOI : 10.1007/BF00881856
URL : https://hal.archives-ouvertes.fr/inria-00074627
, Rewrite Systems, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp.243-320, 1990.
DOI : 10.1016/B978-0-444-88074-1.50011-1
, Concurrency Control in Groupware Systems, SIGMOD Conference, pp.399-407, 1989.
, Logical time in distributed computing systems, Computer, vol.24, issue.8, pp.28-33, 1991.
DOI : 10.1109/2.84874
, Proving Correctness of Transformation Functions in Real-Time Groupware, Proceedings of the 8th European Conference on Computer-Supported Cooperative Work -ECSCW'03, 2003.
DOI : 10.1007/978-94-010-0068-0_15
URL : https://hal.archives-ouvertes.fr/inria-00107652
, VOTE, International Workshop on First-Order Theorem Proving -FTP'03, 2003.
DOI : 10.1016/S1571-0661(04)80660-1
URL : https://hal.archives-ouvertes.fr/inria-00099700
, Formal design and verification of operational transformation algorithms for copies convergence, Theoretical Computer Science, vol.351, issue.2, 2005.
DOI : 10.1016/j.tcs.2005.09.066
URL : https://hal.archives-ouvertes.fr/inria-00000426
, Ensuring content and intention consistency in real-time group editors, 24th International Conference on Distributed Computing Systems, 2004. Proceedings., pp.748-755, 2004.
DOI : 10.1109/ICDCS.2004.1281643
, Preserving operation effects relation in group editors, Proceedings of the 2004 ACM conference on Computer supported cooperative work , CSCW '04, pp.457-466, 2004.
DOI : 10.1145/1031607.1031683
, A landmark-based transformation approach to concurrency control in group editors, Proceedings of the 2005 international ACM SIGGROUP conference on Supporting group work , GROUP '05, pp.284-293, 2005.
DOI : 10.1145/1099203.1099252
, Proof of correctness of Ressel's adOPTed algorithm, Information Processing Letters, vol.86, issue.6, pp.303-310, 2003.
DOI : 10.1016/S0020-0190(03)00227-8
, Virtual time and global states of distributed systems, Proceedings of the International Workshop on Parallel and Distributed Algorithms, pp.215-226, 1989.
, Some Philosophical Problems from the Standpoint of Artificial Intelligence, Machine Intelligence, vol.4, pp.463-502, 1969.
DOI : 10.1016/B978-0-934613-03-3.50033-7
, Using the transformational approach to build a safe and generic data synchronizer, Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work , GROUP '03, pp.212-220, 2003.
DOI : 10.1145/958160.958194
URL : https://hal.archives-ouvertes.fr/inria-00099815
, Edition collaborative sur reseau pair-apair à large échelle, Journées Francophones sur la Cohérence des Données en Univers Réparti -CDUR 2005, 2005.
, Real time group editors without operational transformation, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00071240
, An integrating, transformation-oriented approach to concurrency control and undo in group editors, Proceedings of the 1996 ACM conference on Computer supported cooperative work , CSCW '96, pp.288-297, 1996.
DOI : 10.1145/240080.240305
, Optimistic replication, ACM Computing Surveys, vol.37, issue.1, pp.42-81, 2005.
DOI : 10.1145/1057977.1057980
URL : https://hal.archives-ouvertes.fr/inria-00444768
, A General Framework to Build Contextual Cover Set Induction Provers, Journal of Symbolic Computation, vol.32, issue.4, pp.403-445, 2001.
DOI : 10.1006/jsco.2000.0469
URL : https://hal.archives-ouvertes.fr/inria-00100927
, Serialization of concurrent operations in a distributed collaborative environment The Integration Challenge (GROUP'97), Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work, pp.435-445, 1997.
, Concurrent operations in a distributed and mobile collaborative environment, Proceedings 14th International Conference on Data Engineering, pp.36-45, 1998.
DOI : 10.1109/ICDE.1998.655755
, Consistency maintenance in real-time collaborative graphics editing systems, ACM Transactions on Computer-Human Interaction, vol.9, issue.1, pp.1-41, 2002.
DOI : 10.1145/505151.505152
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.5984
, Operational transformation in real-time group editors, Proceedings of the 1998 ACM conference on Computer supported cooperative work , CSCW '98, pp.59-68, 1998.
DOI : 10.1145/289444.289469
, Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems, ACM Transactions on Computer-Human Interaction, vol.5, issue.1, pp.63-108, 1998.
DOI : 10.1145/274444.274447
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.1251
, Copies convergence in a distributed real-time collaborative environment, Proceedings of the 2000 ACM conference on Computer supported cooperative work , CSCW '00, 2000.
DOI : 10.1145/358916.358988
URL : https://hal.archives-ouvertes.fr/hal-00684563
, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4
, IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.
, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399