Pascal Urso

Publication Activity (10 Years)

Years Active: 1999-2017
Publications (10 Years): 4

Top Venues

CoRR

CollaborateCom

EAI Endorsed Trans. Collab. Comput.

PaPEC@EuroSys

University of Nice Sophia Antipolis, France (PHD)

Education History

University of Nice Sophia Antipolis, France

PHD

Publications

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

Pascal Urso.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pascal Urso