List of Publications
Dissertations
Referred International Publications in Journals
- Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence. Abdessamad Imine, Michaël Rusinowitch, Gérald Oster and Pascal Molli. Theoretical Computer Science: Algebraic Methodology of Software Technology, 351(2):167-183, feb 2006.
- The ToxicFarm Integrated Cooperation Framework For Virtual Teams. Claude Godart, Pascal Molli, Gérald Oster, Olivier Perrin, Hala Skaf-Molli, Pradeep Ray and Fethi Rabhi. Distributed and Parallel Databases: Special Issue on Teamware Technologies, 15(1):67-88, jan 2004.
Referred International Publications in Conferences
- DooSo6: Easy collaboration over shared projects. Claudia-Lavinia Ignat, Gérald Oster and Pascal Molli. In Proceedings of the 6th International Conference on Cooperative Design, Visualization and Engineering - CDVE 2009, pages 56-63, Luxembourg, Luxembourg, September 2009.
- UniWiki: A Collaborative P2P System for Distributed Wiki Applications. Gérald Oster, Pascal Molli, Sergiu Dumitriu and Rubén Mondéjar. In Proceedings of the 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2009, pages 87-92, Groningen, The Netherlands, June 2009.
- Peer-to-peer Collaboration over XML Documents. Claudia-Lavinia Ignat and Gérald Oster . In Proceedings of the 5th International Conference on Cooperative Design, Visualization and Engineering - CDVE 2008 , Mallorca, Spain , September 2008.
- Providing Awareness in Multi-synchronous Collaboration Without Compromising Privacy. Claudia-Lavinia Ignat, Stavroula Papadopoulou, Gérald Oster and Moira C. Norrie. In Proceedings of the ACM Conference on Computer-Supported Cooperative Work - CSCW 2008, pages 659-668, San Diego, California, USA, nov 2008.
- Awareness of Concurrent Changes in Distributed Software Development. Claudia-Lavinia Ignat and Gérald Oster. In Proceedings of the International Conference on Cooperative Information Systems - CoopIS 2008, Monterrey, Mexico, nov 2008.
- Intra/Inter-document Change Awareness for Co-authoring of Web Sites. Stavroula Papadopoulou, Claudia Lavinia Ignat, Gérald Oster and Moira C. Norrie. In Proceedings of the International Conference on Web Information Systems Engineering - WISE 2008, pages 90-105, Auckland, New Zealand, September 2008.
- A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages. Claudia-Lavinia Ignat, Gérald Oster, Pascal Molli, Michelle Cart, Jean Ferrié, Anne-Marie Kermarrec, Pierre Sutra, Marc Shapiro, Lamia Benmouffok, Jean-Michel Busca and Rachid Guerraoui. In Proceedings of the International Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom 2007, page 10, White Plains, New York, USA, nov 2007.
- Flexible Reconciliation of XML Documents in Asynchronous Editing. Claudia-Lavinia Ignat and Gérald Oster. In Proceedings of the International Conference on Enterprise Information Systems: Software Agents and Internet Computing - ICEIS 2007, pages 359-366, Funchal, Madeira, Portugal, jun 2007.
- A Collaborative Writing Mode for Avoiding Blind Modifications. Claudia-Lavinia Ignat, Gérald Oster, Pascal Molli and Hala Skaf-Molli. In Proceedings of the International Workshop on Collaborative Editing Systems - IWCES 2007, page 6, Sanibel Island, Florida, USA, nov 2007.
- Supporting Collaborative Writing of XML Documents. Gérald Oster, Hala Skaf-Molli, Pascal Molli and Hala Naja-Jazzar. In Proceedings of the International Conference on Enterprise Information Systems: Software Agents and Internet Computing - ICEIS 2007, pages 335-342, Funchal, Madeira, Portugal, jun 2007.
- Increasing Awareness in Collaborative Authoring through Edit Profiling. Stavroula Papadopoulou, Claudia-Lavinia Ignat, Gérald Oster and Moira C. Norrie. In Proceedings of the International Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom 2006, page 10, Atlanta, Georgia, USA, nov 2006.
- Data Consistency for P2P Collaborative Editing. Gérald Oster, Pascal Urso, Pascal Molli and Abdessamad Imine. In Proceedings of the ACM Conference on Computer-Supported Cooperative Work - CSCW 2006, pages 259-267, Banff, Alberta, Canada, nov 2006.
- Handling Conflicts through Multi-level Editing in Peer-to-peer Environments. Claudia-Lavinia Ignat, Moira C. Norrie and Gérald Oster. In Proceedings of the International Workshop on Collaborative Editing Systems - CEW 2006, page 4, Banff, Alberta, Canada, nov 2006.
- Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems. Gérald Oster, Pascal Molli, Pascal Urso and Abdessamad Imine. In Proceedings of the International Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom 2006, page 10, Atlanta, Georgia, USA, nov 2006.
- Towards Synchronizing Linear Collaborative Objects with Operational Transformation. Abdessamad Imine, Pascal Molli, Gérald Oster and Michaël Rusinowitch. In Proceedings of the IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2005, pages 411-427, Taipei, Taiwan, oct 2005.
- Deductive Verification of Operational Transformation Algorithms. Abdessamad Imine, Pascal Molli, Gérald Oster and Michaël Rusinowitch. In Proceedings of the International Conference on Algebraic Methodology and Software Technology - AMAST 2004, pages 226-240, Stirling, Scotland, United Kingdom, july 2004.
- VOTE: Group Editors Analyzing Tool. Abdessamad Imine, Pascal Molli, Gérald Oster and Pascal Urso. In Proceedings of the International Workshop on First-Order Theorem Proving - FTP 2003, pages 153-161, Valencia, Spain, june 2003.
- Semantic Consistency for Collaborative Systems. Hala Skaf-Molli, Pascal Molli and Gérald Oster. In Proceedings of the International Workshop on Collaborative Editing Systems - CEW 2003, page 7, Helsinki, Finland, sep 2003.
- ToxicFarm: A Cooperative Management Platform for Virtual Teams and Enterprises. Hala Skaf-Molli, Pascal Molli, Gérald Oster, Claude Godart, Pradeep Ray and Fethi Rabhi. In Proceedings of the International Conference on Enterprise Information Systems - ICEIS 2003, pages 348-356, Angers, France, apr 2003.
- Using the Transformational Approach to Build a Safe and Generic Data Synchronizer. Pascal Molli, Gérald Oster, Hala Skaf-Molli and Abdessamad Imine. In Proceedings of the ACM SIGGROUP Conference on Supporting Group Work - GROUP 2003, pages 212-220, Sanibel Island, Florida, USA, nov 2003.
- Proving Correctness of Transformation Functions in Real-Time Groupware. Abdessamad Imine, Pascal Molli, Gérald Oster and Michaël Rusinowitch. In Proceedings of the European Conference on Computer-Supported Cooperative Work - ECSCW 2003, pages 277-293, Helsinki, Finland, sep 2003.
- Divergence Awareness for Virtual Team Through the Web. Pascal Molli, Hala Skaf-Molli and Gérald Oster. In Proceedings of World Conference on the Integrated Design and Process Technology - IDPT 2002, page 10, Pasadena, California, USA, june 2002.
- Development of Transformation Functions Assisted by a Theorem Prover. Abdessamad Imine, Pascal Molli, Gérald Oster and Michaël Rusinowitch. In Proceedings of the International Workshop on Collaborative Editing Systems - CEW 2002, page 8, New Orleans, Louisiana, USA, nov 2002.
- Services For Virtual Teams Hosting : ToxicFarm Introduction. François Charoy, Claude Godart, Pascal Molli, Gérald Oster, Marc Patten and Miguel Valdes. In Proceedings of the International Workshop on Cooperative Internet Computing - CIC 2002, pages 186-200, Hong Kong, China, aug 2002.
- SAMS: Synchronous, Asynchronous, Multi-Synchronous Environments. Pascal Molli, Hala Skaf-Molli, Gérald Oster and Sébastien Jourdain. In Proceedings of the Conference on Computer-Supported Cooperative Work in Design - CSCWD 2002, pages 80-85, Rio de Janeiro, Brazil, sep 2002.
- Adaptive Browsing for Information Discovery in an Iconographic Context. Jean-Charles Lamirel, Jacques Ducloy and Gérald Oster. In Recherche d'Information Assistée par Ordinateur - RIAO 2000, pages 1657-1672, Paris, France, apr 2000.
Referred French Conferences
- Édition Collaborative sur Réseau Pair-à-Pair à Large Échelle. Gérald Oster, Pascal Urso, Pascal Molli and Abdessamad Imine. In Journées Francophones sur la Cohérence des Données en Univers Réparti - CDUR 2005, pages 42-45, Paris, France, nov 2005.
- A Safe and Generic Model for Synchronizing Divergent Data. Gérald Oster, Pascal Molli, Abdessamad Imine and Hala Skaf-Molli. In Proceedings of the French-speaking Conference on Mobility and Ubiquity Computing - UbiMob 2004, pages 98-106, Nice, France, jun 2004.
- Réconciliation de Données dans un Environnement Mobile. Gérald Oster and Pascal Molli. In Colloque Informatique mobile, page 5, Nancy, France, dec 2002.
Research and Technical Reports
- UniWiki: A Reliable and Scalable Peer-to-Peer System for Distributing Wiki Applications. Gérald Oster, Pascal Molli, Sergiu Dumitriu and Rubén Mondéjar. Research Report RR-6848, LORIA -- INRIA Nancy Grand Est, February 2009.
- A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages. Claudia-Lavinia Ignat, Gérald Oster, Pascal Molli, Michèle Cart, Jean Ferrié, Anne-Marie Kermarrec , Pierre Sutra, Marc Shapiro, Lamia Benmouffok, Jean-Michel Busca and Rachid Guerraoui. Research Report RR-6278, LORIA -- INRIA Lorraine, sep 2007.
- Gasper: A Collaborative Writing Mode for Avoiding Blind Modifications. Claudia-Lavinia Ignat, Gérald Oster, Pascal Molli and Hala Skaf-Molli. Research Report RR-6204, LORIA -- INRIA Lorraine, may 2007.
- Real-Time Group Editors Without Operational Transformation. Gérald Oster, Pascal Urso, Pascal Molli and Abdessamad Imine. Research Report RR-5580, LORIA -- INRIA Lorraine, may 2005.
- Proving Correctness of Transformation Functions in Collaborative Editing Systems. Gérald Oster, Pascal Urso, Pascal Molli and Abdessamad Imine. Research Report RR-5795, LORIA -- INRIA Lorraine, dec 2005.
- Optimistic Replication for Massive Collaborative Editing. Gérald Oster, Pascal Urso, Pascal Molli, Hala Molli and Abdessamad Imine. Research Report RR-5719, LORIA -- INRIA Lorraine, oct 2005.
- Achieving Convergence with Operational Transformation in Distributed Groupware Systems. Abdessamad Imine, Pascal Molli, Gérald Oster and Michaël Rusinowitch. Research Report RR-5188, LORIA -- INRIA Lorraine, may 2004.
- Safe Generic Data Synchronizer. Pascal Molli, Gérald Oster, Hala Skaf-Molli and Abdessamad Imine. Research Report A03-R-062, LORIA -- INRIA Lorraine, may 2003.
