Pascal Urso

35 papers A 3B 3C 8Misc 2Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
On the Impact of the Communication Model on Realisability.
CoRR
Cinzia Di Giusto, Étienne Lozes, Pascal Urso
2025 C conf
Realisability and Complementability of Multiparty Session Types.
PPDP
Cinzia Di Giusto, Étienne Lozes, Pascal Urso
2025 J jnl
Realisability and Complementability of Multiparty Session Types.
CoRR
Cinzia Di Giusto, Étienne Lozes, Pascal Urso
2017 J jnl
A Framework for Performance Evaluation of Decentralized Eventual Consistency Algorithms.
EAI Endorsed Trans. Collab. Comput.
Mehdi Ahmed-Nacer, Pascal Urso
2016 B conf
High Responsiveness for Group Editing CRDTs.
GROUP
Loïck Briot, Pascal Urso, Marc Shapiro
2015 J jnl
Merging By Decentralized Eventual Consistency Algorithms.
EAI Endorsed Trans. Collab. Comput.
Mehdi Ahmed-Nacer, Pascal Urso, François Charoy
2015 — conf
Probabilistic latency for partial ordering.
CFIP/NOTERE
Pascal Urso, Jordi Martori
2014 A conf
Evaluating software merge quality.
EASE
Mehdi Ahmed-Nacer, Pascal Urso, François Charoy
2014 — conf
Merging OT and CRDT algorithms.
PaPEC@EuroSys
Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, Nuno M. Preguiça
2013 C conf
Concurrency control and awareness support for multi-synchronous collaborative editing.
CollaborateCom
Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, Nuno M. Preguiça
2013 C conf
Improving textual merge result.
CollaborateCom
Mehdi Ahmed-Nacer, Pascal Urso, François Charoy
2012 J jnl
Abstract unordered and ordered trees CRDT
CoRR
Stéphane Martin, Mehdi Ahmed-Nacer, Pascal Urso
2012 J jnl
Controlled conflict resolution for replicated document
CoRR
Stéphane Martin, Mehdi Ahmed-Nacer, Pascal Urso
2012 C conf
Controlled conflict resolution for replicated document.
CollaborateCom
Stéphane Martin, Mehdi Ahmed-Nacer, Pascal Urso
2012 J jnl
File system on CRDT
CoRR
Mehdi Ahmed-Nacer, Stéphane Martin, Pascal Urso
2011 B conf
Evaluating CRDTs for real-time document editing.
ACM Symposium on Document Engineering
Mehdi Ahmed-Nacer, Claudia-Lavinia Ignat, Gérald Oster, Hyun-Gul Roh, Pascal Urso
2010 J jnl
Logoot-Undo: Distributed Collaborative Editing System on P2P Networks.
IEEE Trans. Parallel Distributed Syst.
Stéphane Weiss, Pascal Urso, Pascal Molli
2010 — conf
Scalable XML Collaborative Editing with Undo - (Short Paper).
OTM Conferences (1)
Stéphane Martin, Pascal Urso, Stéphane Weiss
2010 J jnl
Scalable XML Collaborative Editing with Undo short paper
CoRR
Stéphane Martin, Pascal Urso, Stéphane Weiss
2009 Misc conf
Designing a distributed AOP runtime composition model.
SAC
Rubén Mondéjar, Pedro García López, Carles Pairot, Pascal Urso, Pascal Molli
2009 A conf
Logoot: A Scalable Optimistic Replication Algorithm for Collaborative Editing on P2P Networks.
ICDCS
Stéphane Weiss, Pascal Urso, Pascal Molli
2009 J jnl
Software Engineering Education by Example
CoRR
Nacer Boudjlida, Jean-Pierre Jacquot, Pascal Urso
2009 — conf
Undo in Peer-to-peer Semantic Wikis.
SemWiki
Charbel Rahhal, Stéphane Weiss, Hala Skaf-Molli, Pascal Urso, Pascal Molli
2008 C conf
An Undo Framework for P2P Collaborative Editing.
CollaborateCom
Stéphane Weiss, Pascal Urso, Pascal Molli
2007 B conf
Wooki: A P2P Wiki-Based Collaborative Writing Tool.
WISE
Stéphane Weiss, Pascal Urso, Pascal Molli
2006 A conf
Data consistency for P2P collaborative editing.
CSCW
Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine
2006 C conf
Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems.
CollaborateCom
Gérald Oster, Pascal Molli, Pascal Urso, Abdessamad Imine
2004 J jnl
Sound generalizations in mathematical induction.
Theor. Comput. Sci.
Pascal Urso, Emmanuel Kounalis
2003 — conf
"Term Partition" for Mathematical Induction.
RTA
Pascal Urso, Emmanuel Kounalis
2003 C conf
Automatic Detection of Copies Divergence in Collaborative Editing Systems.
FMICS
Abdessamad Imine, Pascal Urso
2003 — conf
VOTE: Group Editors Analyzing Tool: System Description.
FTP
Abdessamad Imine, Pascal Molli, Gérald Oster, Pascal Urso
2002 — conf
Généralisations correctes pour l'induction mathématique.
JFPLC
Pascal Urso, Emmanuel Kounalis
2002 — —
Généralisations et méthodes correctes pour l'induction mathématique. (Sound generalizations and methods for mathematical induction).
Pascal Urso
1999 Misc conf
Generalization Discovery for Proofs by Induction in Conditional Theories.
FLAIRS
Emmanuel Kounalis, Pascal Urso
1999 C conf
Mechanizing Proofs of Integrity Constraints in the Situation Calculus.
IEA/AIE
Emmanuel Kounalis, Pascal Urso