Generalization Discovery for Proofs by Induction in Conditional Theories. - Emmanuel Kounalis; Pascal Urso (FLAIRS, 1999)

Mechanizing Proofs of Integrity Constraints in the Situation Calculus. - Emmanuel Kounalis; Pascal Urso (IEA/AIE, 1999)

Généralisations correctes pour l'induction mathématique. - Pascal Urso; Emmanuel Kounalis (JFPLC, 2002)

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

"Term Partition" for Mathematical Induction. - Pascal Urso; Emmanuel Kounalis (RTA, 2003)

VOTE: Group Editors Analyzing Tool: System Description. - Abdessamad Imine; Pascal Molli; Gérald Oster; Pascal Urso (FTP, 2003)

Automatic Detection of Copies Divergence in Collaborative Editing Systems. - Abdessamad Imine; Pascal Urso (FMICS, 2003)

Sound generalizations in mathematical induction. - Pascal Urso; Emmanuel Kounalis (Theor. Comput. Sci., 2004)

Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems. - Gérald Oster; Pascal Molli; Pascal Urso; Abdessamad Imine (CollaborateCom, 2006)

Data consistency for P2P collaborative editing. - Gérald Oster; Pascal Urso; Pascal Molli; Abdessamad Imine (CSCW, 2006)

Wooki: A P2P Wiki-Based Collaborative Writing Tool. - Stéphane Weiss; Pascal Urso; Pascal Molli (WISE, 2007)

An Undo Framework for P2P Collaborative Editing. - Stéphane Weiss; Pascal Urso; Pascal Molli (CollaborateCom, 2008)

Logoot: A Scalable Optimistic Replication Algorithm for Collaborative Editing on P2P Networks. - Stéphane Weiss; Pascal Urso; Pascal Molli (ICDCS, 2009)

Designing a distributed AOP runtime composition model. - Rubén Mondéjar; Pedro García López; Carles Pairot; Pascal Urso; Pascal Molli (SAC, 2009)

Undo in Peer-to-peer Semantic Wikis. - Charbel Rahhal; Stéphane Weiss; Hala Skaf-Molli; Pascal Urso; Pascal Molli (SemWiki, 2009)

Software Engineering Education by Example - Nacer Boudjlida; Jean-Pierre Jacquot; Pascal Urso (CoRR, 2009)

Scalable XML Collaborative Editing with Undo - (Short Paper). - Stéphane Martin; Pascal Urso; Stéphane Weiss (OTM Conferences (1), 2010)

Logoot-Undo: Distributed Collaborative Editing System on P2P Networks. - Stéphane Weiss; Pascal Urso; Pascal Molli (IEEE Trans. Parallel Distributed Syst., 2010)

Evaluating CRDTs for real-time document editing. - Mehdi Ahmed-Nacer; Claudia-Lavinia Ignat; Gérald Oster; Hyun-Gul Roh; Pascal Urso (ACM Symposium on Document Engineering, 2011)

Controlled conflict resolution for replicated document. - Stéphane Martin; Mehdi Ahmed-Nacer; Pascal Urso (CollaborateCom, 2012)

Abstract unordered and ordered trees CRDT - Stéphane Martin; Mehdi Ahmed-Nacer; Pascal Urso (CoRR, 2012)

File system on CRDT - Mehdi Ahmed-Nacer; Stéphane Martin; Pascal Urso (CoRR, 2012)

Concurrency control and awareness support for multi-synchronous collaborative editing. - Mehdi Ahmed-Nacer; Pascal Urso; Valter Balegas; Nuno M. Preguiça (CollaborateCom, 2013)

Improving textual merge result. - Mehdi Ahmed-Nacer; Pascal Urso; François Charoy (CollaborateCom, 2013)

Evaluating software merge quality. - Mehdi Ahmed-Nacer; Pascal Urso; François Charoy (EASE, 2014)

Merging OT and CRDT algorithms. - Mehdi Ahmed-Nacer; Pascal Urso; Valter Balegas; Nuno M. Preguiça (PaPEC@EuroSys, 2014)

Probabilistic latency for partial ordering. - Pascal Urso; Jordi Martori (CFIP/NOTERE, 2015)

Merging By Decentralized Eventual Consistency Algorithms. - Mehdi Ahmed-Nacer; Pascal Urso; François Charoy (EAI Endorsed Trans. Collab. Comput., 2015)

High Responsiveness for Group Editing CRDTs. - Loïck Briot; Pascal Urso; Marc Shapiro 001 (GROUP, 2016)

A Framework for Performance Evaluation of Decentralized Eventual Consistency Algorithms. - Mehdi Ahmed-Nacer; Pascal Urso (EAI Endorsed Trans. Collab. Comput., 2017)

Realisability and Complementability of Multiparty Session Types. - Cinzia Di Giusto; Étienne Lozes; Pascal Urso (CoRR, 2025)