Skip to Main content Skip to Navigation

inria-00139704v1  Conference papers
Gérald OsterHala Skaf-MolliPascal MolliHala Naja-Jazzar. Supporting Collaborative Writing of XML Documents
9th International Conference on Enterprise Information Systems - ICEIS 2007, Jun 2007, Funchal, Madeira, Portugal. pp.335-341
hal-01238831v1  Conference papers
Claudia-Lavinia IgnatGérald OsterOlivia FoxFrançois CharoyValerie Shalin. How Do User Groups Cope with Delay in Real-Time Collaborative Note Taking
European Conference on Computer Supported Cooperative Work 2015, Sep 2015, Oslo, Norway. pp.223-242, ⟨10.1007/978-3-319-20499-4_12⟩
inria-00182424v1  Conference papers
Claudia-Lavinia IgnatGérald OsterPascal MolliHala Skaf-Molli. A Collaborative Writing Mode for Avoiding Blind Modifications
9th International Workshop on Collaborative Editing Systems - IWCES 2007, Nov 2007, Sanibel Island, Florida, United States
inria-00343815v1  Conference papers
Claudia-Lavinia IgnatGérald Oster. Peer-to-peer Collaboration over XML Documents
International Conference on Cooperative Design, Visualization and Engineering - CDVE 2008, Sep 2008, Mallorca, Spain. pp.66-73, ⟨10.1007/978-3-540-88011-0⟩
inria-00099370v1  Conference papers
Jean-Charles LamirelJacques DucloyGérald Oster. Adaptive browsing for information discovery in an iconographic context
RIAO'2000, CID, 2000, Collège de France, Paris, France, 19 p
inria-00100747v1  Conference papers
Pascal MolliHala Skaf-MolliGérald Oster. Divergence Awareness for Virtual Team through the Web
Sixth World Conference on Integrated Design and Process Technology - IDPT'2002, Society for Design & Process Science (SDPS), Jun 2002, Pasadena, CA, USA, 10 p
inria-00099816v1  Conference papers
Hala Skaf-MolliPascal MolliGérald Oster. Semantic Consistency for Collaborative Systems
Fifth International Workshop on Collaborative Editing - ECSCW'2003, 2003, Helsinki, Finland, 8 p
inria-00431680v1  Conference papers
Claudia-Lavinia IgnatGérald OsterPascal Molli. DooSo6: Easy collaboration over shared projects
6th International Conference on Cooperative Design, Vizualization and Engineering - CDVE 2009, Sep 2009, Luxembourg, Luxembourg. pp.56-63, ⟨10.1007/978-3-642-04265-2_8⟩
inria-00099700v1  Conference papers
Abdessamad IminePascal MolliGérald OsterPascal Urso. VOTE: Group Editors Analyzing Tool
Fourth International Workshop on First-Order Theorem Proving - FTP'03, 2003, Valencia, Spain, pp.153-161, ⟨10.1016/S1571-0661(04)80660-1⟩
inria-00108523v1  Conference papers
Gérald OsterPascal UrsoPascal MolliAbdessamad Imine. Data Consistency for P2P Collaborative Editing
ACM Conference on Computer-Supported Cooperative Work - CSCW 2006, Nov 2006, Banff, Alberta, Canada, pp.259 - 268
inria-00000426v1  Journal articles
Abdessamad ImineMichaël RusinowitchGérald OsterPascal Molli. Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence
Theoretical Computer Science, Elsevier, 2006, Algebraic Methodology and Software Technology, 351 (2), pp.167--183. ⟨10.1016/j.tcs.2005.09.066⟩
inria-00099986v1  Conference papers
Abdessamad IminePascal MolliGérald OsterMichaël Rusinowitch. Deductive Verification of Distributed Groupware Systems
Tenth International Conference on Algebraic Methodology and Software Technology - AMAST 2004, 2004, Stirling, Scotland, United Kingdom, pp.226-240
inria-00108119v1  Conference papers
Gérald OsterPascal MolliHala Skaf-MolliAbdessamad Imine. Un modèle sûr et générique pour la synchronisation de données divergentes
Premières Journées Francophones : Mobilité et Ubiquité - UbiMob'04, Jun 2004, Nice, France, 9 p
inria-00000427v1  Conference papers
Abdessamad IminePascal MolliGérald OsterMichaël Rusinowitch. Towards Synchronizing Linear Collaborative Objects with Operation Transformation
International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2005, Oct 2005, Taipei/Taiwan, pp.411-427
hal-01655438v1  Conference papers
Matthieu NicolasVictorien ElvingerGérald OsterClaudia-Lavinia IgnatFrançois Charoy. MUTE: A Peer-to-Peer Web-based Real-time Collaborative Editor
ECSCW 2017 - 15th European Conference on Computer-Supported Cooperative Work, Aug 2017, Sheffield, United Kingdom. pp.1-4, ⟨10.18420/ecscw2017_p5⟩
inria-00107574v1  Conference papers
Imine AbdessamadPascal MolliGérald OsterMichaël Rusinowitch. Development of Transformation Functions Assisted by a Theorem Prover
Fourth International Workshop on Collaborative Editing 2002 - ACM CSCW'2002, 2002, Nouvelle-Orléans, USA, 8 p
inria-00107652v1  Conference papers
Abdessamad IminePascal MolliGérald OsterMichaël Rusinowitch. Proving Correctness of Transformation Functions in Real-Time Groupware
8th European Conference of Computer-supported Cooperative Work - ECSCW'03, 2003, Helsinki, Finland, 18 p
inria-00107740v1  Reports
Pascal MolliGérald OsterHala Skaf-MolliAbdessamad Imine. Safe Generic Data Synchronizer
[Intern report] A03-R-062 || molli03a, 2003, 8 p
inria-00109039v1  Conference papers
Gérald OsterPascal MolliPascal UrsoAbdessamad Imine. Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems
IEEE Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom 2006, Nov 2006, Atlanta, Georgia, USA, pp.1-10, ⟨10.1109/COLCOM.2006.361867⟩
inria-00538035v1  Journal articles
Gérald OsterRubén MondéjarPascal MolliSergiu Dumitriu. Building a collaborative peer-to-peer wiki system on a structured overlay
Computer Networks, Elsevier, 2010, P2P Technologies for Emerging Wide-Area Collaborative Services and Applications, 54 (12), pp.1939--1952. ⟨10.1016/j.comnet.2010.03.019⟩
inria-00629503v1  Conference papers
Mehdi Ahmed-NacerClaudia-Lavinia IgnatGérald OsterHyun-Gul RohPascal Urso. Evaluating CRDTs for Real-time Document Editing
11th ACM Symposium on Document Engineering, Sep 2011, Mountain View, California, United States. pp.103--112, ⟨10.1145/2034691.2034717⟩
hal-00726833v1  Conference papers
Luc AndréClaudia-Lavinia IgnatGérald Oster. Collaboration over Wiki Content
IWCES'12 - The Twelfth International Workshop on Collaborative Editing Systems, Feb 2012, Seattle, United States
hal-01238377v1  Conference papers
Martin QuinsonGérald Oster. A Teaching System To Learn Programming: the Programmer's Learning Machine
ACM Conference on Innovation and Technology in Computer Science Education 2015, Jul 2015, Vilnius, Lithuania. ⟨10.1145/2729094.2742626⟩
inria-00099815v1  Conference papers
Pascal MolliGérald OsterHala Skaf-MolliAbdessamad Imine. Using the Transformational Approach to Build a Safe and Generic Data Synchronizer
International Conference on Supporting Group Work - Group 2003, ACM SIGGROUP, Nov 2003, Sanibel Island, Florida, USA, pp.212-220, ⟨10.1145/958160.958194⟩