Pascal Urso

EAI Endorsed Trans. Collab. Comput., 2017

2016

High Responsiveness for Group Editing CRDTs.

[BibT_eX]

[DOI]

Loïck Briot

Marc Shapiro

Proceedings of the 19th International Conference on Supporting Group Work, Sanibel Island, FL, USA, November 13, 2016

2015

Merging By Decentralized Eventual Consistency Algorithms.

[BibT_eX]

[DOI]

François Charoy

EAI Endorsed Trans. Collab. Comput., 2015

Probabilistic latency for partial ordering.

[BibT_eX]

[DOI]

Jordi Martori

Proceedings of the International Conference on Protocol Engineering, 2015

2014

Merging OT and CRDT algorithms.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, 2014

Evaluating software merge quality.

[BibT_eX]

[DOI]

François Charoy

Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, 2014

2013

Improving textual merge result.

[BibT_eX]

[DOI]

François Charoy

Proceedings of the 9th IEEE International Conference on Collaborative Computing: Networking, 2013

Concurrency control and awareness support for multi-synchronous collaborative editing.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Collaborative Computing: Networking, 2013

2012

File system on CRDT

[BibT_eX]

[DOI]

CoRR, 2012

Abstract unordered and ordered trees CRDT

[BibT_eX]

[DOI]

CoRR, 2012

Controlled conflict resolution for replicated document.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Collaborative Computing: Networking, 2012

2011

Evaluating CRDTs for real-time document editing.

[BibT_eX]

[DOI]

Claudia-Lavinia Ignat

Gérald Oster

Hyun-Gul Roh

Proceedings of the 2011 ACM Symposium on Document Engineering, 2011

2010

Logoot-Undo: Distributed Collaborative Editing System on P2P Networks.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2010

Scalable XML Collaborative Editing with Undo - (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

2009

Software Engineering Education by Example

[BibT_eX]

[DOI]

Nacer Boudjlida

Jean-Pierre Jacquot

CoRR, 2009

Undo in Peer-to-peer Semantic Wikis.

[BibT_eX]

[DOI]

Proceedings of the 4th Semantic Wiki Workshop (SemWiki 2009) at the 6th European Semantic Web Conference (ESWC 2009), 2009

Designing a distributed AOP runtime composition model.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Logoot: A Scalable Optimistic Replication Algorithm for Collaborative Editing on P2P Networks.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

2008

An Undo Framework for P2P Collaborative Editing.

[BibT_eX]

[DOI]

Proceedings of the Collaborative Computing: Networking, 2008

2007

Wooki: A P2P Wiki-Based Collaborative Writing Tool.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering, 2007

2006

Data consistency for P2P collaborative editing.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Conference on Computer Supported Cooperative Work, 2006

Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International ICST Conference on Collaborative Computing: Networking, 2006

2004

Sound generalizations in mathematical induction.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

2003

Automatic Detection of Copies Divergence in Collaborative Editing Systems.

[BibT_eX]

[DOI]

Abdessamad Imine

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

VOTE: Group Editors Analyzing Tool: System Description.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

"Term Partition" for Mathematical Induction.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

2002

Généralisations et méthodes correctes pour l'induction mathématique. (Sound generalizations and methods for mathematical induction).

[BibT_eX]

[DOI]

PhD thesis, 2002

Généralisations correctes pour l'induction mathématique.

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, 2002

1999

Mechanizing Proofs of Integrity Constraints in the Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the Multiple Approaches to Intelligent Systems, 1999

Generalization Discovery for Proofs by Induction in Conditional Theories.

[BibT_eX]

[DOI]