2016
Conference papers
- titre
- High Responsiveness for Group Editing CRDTs
- auteur
- Loïck Briot, Pascal Urso, Marc Shapiro
- article
- ACM International Conference on Supporting Group Work, Nov 2016, Sanibel Island, FL, United States. ⟨10.1145/2957276.2957300⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/2957276.2957300
- Accès au texte intégral et bibtex
-
Reports
- titre
- Reliable causal delivery with probabilistic design
- auteur
- Jordi Martori, Pascal Urso
- article
- [Research Report] RR-8985, INRIA Nancy. 2016
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2015
Journal articles
- titre
- Merging By Decentralized Eventual Consistency Algorithms
- auteur
- Mehdi Ahmed-Nacer, Pascal Urso, François Charoy
- article
- EAI Endorsed Transactions on Collaborative Computing, 2015, 1 (6), ⟨10.4108/eai.21-12-2015.150817⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.4108/eai.21-12-2015.150817
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Probabilistic latency for partial ordering
- auteur
- Pascal Urso, Jordi Martori
- article
- Protocol Engineering (ICPE) and International Conference on New Technologies of Distributed Systems (NTDS), Jul 2015, Paris, France. ⟨10.1109/NOTERE.2015.7293483⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1109/NOTERE.2015.7293483
- Accès au texte intégral et bibtex
-
2014
Conference papers
- titre
- Evaluating Software Merge Quality
- auteur
- Mehdi Ahmed-Nacer, Pascal Urso, François Charoy
- article
- 18th International Conference on Evaluation and Assessment in Software Engineering, May 2014, London, United Kingdom. pp.9, ⟨10.1145/2601248.2601275⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/2601248.2601275
- Accès au texte intégral et bibtex
-
- titre
- Merging OT and CRDT Algorithms
- auteur
- Mehdi Ahmed-Nacer, Pascal Urso, Valter Balegas, Nuno Preguiça
- article
- 1st Workshop on Principles and Practice of Eventual Consistency (PaPEC), Apr 2014, Amsterdam, Netherlands. ⟨10.1145/2596631.2596636⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/2596631.2596636
- Accès au texte intégral et bibtex
-
2013
Conference papers
- titre
- Concurrency Control and Awareness Support for Multi-synchronous Collaborative Editing
- auteur
- Mehdi Ahmed-Nacer, Pascal Urso, Balegas Valter, Nuno Preguiça
- article
- COLLABORATECOM 2013 – 9th IEEE International. Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2013, Austin, Texas, United States
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Improving Textual Merge Result
- auteur
- Mehdi Ahmed-Nacer, Pascal Urso, François Charoy
- article
- CollaborateCom 2013 – 9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2013, Austin, Texas, United States
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
2012
Conference papers
- titre
- Controlled conflict resolution for replicated document
- auteur
- Stéphane Martin, Mehdi Ahmed-Nacer, Pascal Urso
- article
- 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2012, Pittsburgh, Pennsylvania, United States
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Évaluation de l’occupation mémoire des CRDTs pour l’édition collaborative temps-réel mobile
- auteur
- Mehdi Ahmed-Nacer, Pascal Urso, Claudia-Lavinia Ignat, Gérald Oster
- article
- UbiMob – French-speaking Conference on Mobility and Ubiquity Computing – 2012, Jun 2012, Anglet, France
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
Reports
- titre
- File system on CRDT
- auteur
- Mehdi Ahmed-Nacer, Stéphane Martin, Pascal Urso
- article
- [Research Report] RR-8027, INRIA. 2012, pp.19
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2011
Conference papers
- titre
- Evaluating CRDTs for Real-time Document Editing
- auteur
- Mehdi Ahmed-Nacer, Claudia-Lavinia Ignat, Gérald Oster, Hyun-Gul Roh, Pascal Urso
- article
- 11th ACM Symposium on Document Engineering, Sep 2011, Mountain View, California, United States. pp.103–112, ⟨10.1145/2034691.2034717⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/2034691.2034717
- Accès au texte intégral et bibtex
-
Reports
- titre
- Abstract unordered and ordered trees CRDT
- auteur
- Stéphane Martin, Mehdi Ahmed-Nacer, Pascal Urso
- article
- [Research Report] RR-7825, INRIA. 2011, pp.23
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2010
Journal articles
- titre
- Logoot-Undo: Distributed Collaborative Editing System on P2P Networks
- auteur
- Stéphane Weiss, Pascal Urso, Pascal Molli
- article
- IEEE Transactions on Parallel and Distributed Systems, 2010, 21 (8), pp.1162-1174. ⟨10.1109/TPDS.2009.173⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1109/TPDS.2009.173
- Accès au bibtex
-
Conference papers
- titre
- Scalable XML Collaborative Editing with Undo short paper
- auteur
- Stéphane Martin, Pascal Urso, Stéphane Weiss
- article
- 18th International Conference on Cooperative Information System – CoopIS’2010, Oct 2010, Crète, Greece. pp.507-514, ⟨10.1007/978-3-642-16934-2_37⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-642-16934-2_37
- Accès au texte intégral et bibtex
-
Reports
- titre
- Scalable XML Collaborative Editing with Undo
- auteur
- Stéphane Martin, Pascal Urso, Stéphane Weiss
- article
- [Research Report] RR-7362, INRIA. 2010, pp.23
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2009
Conference papers
- titre
- Logoot: Un algorithme de réplication pour la collaboration sur réseaux Pair-à-Pair
- auteur
- Stéphane Weiss, Pascal Urso, Pascal Molli
- article
- 3e workshop sur la cohérence des données en univers réparti (cdur’09), Sep 2009, Toulouse, France. 6 p
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Undo in Peer-to-peer Semantic Wikis
- auteur
- Charbel Rahhal, Stéphane Weiss, Hala Skaf-Molli, Pascal Urso, Pascal Molli
- article
- SemWiki’ 2009 – 4rd Semantic Wiki Workshop at the 6th European Semantic Web Conference – ESWC 2009, Jul 2009, Heraklion, Greece
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Logoot: A Scalable Optimistic Replication Algorithm for Collaborative Editing on P2P Networks
- auteur
- Stéphane Weiss, Pascal Urso, Pascal Molli
- article
- 29th IEEE International Conference on Distributed Computing Systems – ICDCS 2009, Jun 2009, Montreal, Canada. pp.404-412, ⟨10.1109/ICDCS.2009.75⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1109/ICDCS.2009.75
- Accès au texte intégral et bibtex
-
- titre
- Software Engineering Education by Example
- auteur
- Nacer Boudjlida, Jean-Pierre Jacquot, Pascal Urso
- article
- 5th China – Europe International Symposium on Software Industry Oriented Education (CEISIE 2009), May 2009, Bordeaux, France. 4 p
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Designing a distributed AOP runtime composition model
- auteur
- Rubén Mondéjar, Pedro Garcia, Carles Pairot, Pascal Urso, Pascal Molli
- article
- 24th Annual ACM Symposium on Applied Computing – SAC 2009, Mar 2009, Honolulu, Hawaii, United States. pp.539-540, ⟨10.1145/1529282.1529395⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/1529282.1529395
- Accès au bibtex
-
Reports
- titre
- Undo in Peer-to-peer Semantic Wikis
- auteur
- Charbel Rahhal, Stéphane Weiss, Hala Skaf-Molli, Pascal Urso, Pascal Molli
- article
- [Research Report] RR-6870, INRIA. 2009, pp.18
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2008
Conference papers
- titre
- An Undo Framework for P2P Collaborative Editing
- auteur
- Stéphane Weiss, Pascal Urso, Pascal Molli
- article
- 4th International Conference on Collaborative Computing : Networking, Applications and Worksharing – CollaborateCom 2008, Nov 2008, Orlando, United States. pp.529-544, ⟨10.1007/978-3-642-03354-4_40⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-642-03354-4_40
- Accès au texte intégral et bibtex
-
Reports
- titre
- Logoot: a P2P collaborative editing system
- auteur
- Stéphane Weiss, Pascal Urso, Pascal Molli
- article
- [Research Report] RR-6713, INRIA. 2008, pp.13
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- titre
- A Flexible Undo Framework for Collaborative Editing
- auteur
- Stéphane Weiss, Pascal Urso, Pascal Molli
- article
- [Research Report] RR-6516, INRIA. 2008
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2007
Conference papers
- titre
- Wooki: A P2P Wiki-Based Collaborative Writing Tool
- auteur
- Stéphane Weiss, Pascal Urso, Pascal Molli
- article
- 8th International Conference on Web Information Systems Engineering – WISE 2007, Dec 2007, Nancy, France. pp.503-512, ⟨10.1007/978-3-540-76993-4_42⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-540-76993-4_42
- Accès au texte intégral et bibtex
-
- titre
- Compensation in Collaborative Editing
- auteur
- Stéphane Weiss, Pascal Urso, Pascal Molli
- article
- 9th International Workshop on Collaborative Editing Systems – IWCES 2007, Nov 2007, Sanibel Island, Florida, United States. 6 p
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Verification of data consistency for P2P collaborative editing
- auteur
- Pascal Urso
- article
- Inter-Regional Workshop on Rigorous System Development and Analysis 2007, Oct 2007, Nancy, France
- typdoc
- Conference papers
- Accès au bibtex
-
Reports
- titre
- Compensation in Collaborative Editing
- auteur
- Stéphane Weiss, Pascal Urso, Pascal Molli
- article
- [Research Report] RR-6160, INRIA. 2007
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- titre
- Wooki: a P2P Wiki-based Collaborative Writing Tool
- auteur
- Stéphane Weiss, Pascal Urso, Pascal Molli
- article
- [Research Report] RR-6226, INRIA. 2007
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2006
Conference papers
- titre
- Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems
- auteur
- Gérald Oster, Pascal Molli, Pascal Urso, Abdessamad Imine
- article
- IEEE Conference on Collaborative Computing: Networking, Applications and Worksharing – CollaborateCom 2006, Nov 2006, Atlanta, Georgia, USA, pp.1-10, ⟨10.1109/COLCOM.2006.361867⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1109/COLCOM.2006.361867
- Accès au texte intégral et bibtex
-
- titre
- Data Consistency for P2P Collaborative Editing
- auteur
- Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine
- article
- ACM Conference on Computer-Supported Cooperative Work – CSCW 2006, Nov 2006, Banff, Alberta, Canada, pp.259 – 268
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
2005
Conference papers
- titre
- Edition collaborative sur réseau pair-à-pair à large échelle
- auteur
- Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine
- article
- Journées Francophones sur la Cohérence des Données en Univers Réparti – CDUR 2005, Nov 2005, Paris/France, pp.42-47
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
Reports
- titre
- Proving correctness of transformation functions in collaborative editing systems
- auteur
- Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine
- article
- [Research Report] RR-5795, INRIA. 2005, pp.45
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- titre
- Real time group editors without Operational transformation
- auteur
- Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine
- article
- [Research Report] RR-5580, INRIA. 2005, pp.24
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
- titre
- Optimistic Replication for Massive Collaborative Editing
- auteur
- Gérald Oster, Pascal Urso, Pascal Molli, Hala Skaf-Molli, Abdessamad Imine
- article
- [Research Report] RR-5719, INRIA. 2005, pp.18
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2004
Journal articles
- titre
- Sound generalizations in mathematical induction
- auteur
- Pascal Urso, Emmanuel Kounalis
- article
- Theoretical Computer Science, 2004, 323 (1-3), pp.443-471. ⟨10.1016/j.tcs.2004.05.022⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1016/j.tcs.2004.05.022
- Accès au bibtex
-
Conference papers
- titre
- Automated Verification of Features with Situation Calculus
- auteur
- Pascal Urso, Pierre-Yves Schobbens
- article
- Formal Techniques for Networked and Distributed Systems – FORTE 2004, 2004, Madrid, Spain, 14 p
- typdoc
- Conference papers
- Accès au bibtex
-
2003
Conference papers
- titre
- Automatic Detection of Copies Divergence in Collaborative Editing Systems
- auteur
- Abdessamad Imine, Pascal Urso
- article
- Eighth International Workshop on Formal Methods for Industrial Critical Systems – FMICS’03, Jun 2003, Trondheim, Norway. pp.92-108, ⟨10.1016/S1571-0661(04)80811-9⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1016/S1571-0661(04)80811-9
- Accès au bibtex
-
- titre
- Term Partition » for Mathematical Induction
- auteur
- Pascal Urso, Emmanuel Kounalis
- article
- Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Jun 2003, Valencia, Spain. pp.352-366, ⟨10.1007/3-540-44881-0⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/3-540-44881-0
- Accès au bibtex
-
- titre
- VOTE: Group Editors Analyzing Tool
- auteur
- Abdessamad Imine, Pascal Molli, Gérald Oster, Pascal Urso
- article
- Fourth International Workshop on First-Order Theorem Proving – FTP’03, 2003, Valencia, Spain, pp.153-161, ⟨10.1016/S1571-0661(04)80660-1⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1016/S1571-0661(04)80660-1
- Accès au bibtex
-
2002
Conference papers
- titre
- Inductive Languages and Generalizations
- auteur
- Pascal Urso, Emmanuel Kounalis
- article
- Tenth International Conference on Automata and Formal Languages – AFL 2002, Jun 2002, Debrecen, Hungary
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Généralisations correctes pour l’induction mathématique
- auteur
- Pascal Urso, Emmanuel Kounalis
- article
- Journées francophones de la programmation en logique avec contraintes – JFPLC 2002, May 2002, Nice, France. pp.211-226
- typdoc
- Conference papers
- Accès au bibtex
-
Reports
- titre
- Term Partition » for Mathematical Induction
- auteur
- Pascal Urso, Emmanuel Kounalis
- article
- [Research Report] RR-4565, INRIA. 2002
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
Theses
- titre
- Sound generalizations and methods for mathematical induction
- auteur
- Pascal Urso
- article
- Informatique [cs]. Université Nice Sophia Antipolis, 2002. Français. ⟨NNT : ⟩
- typdoc
- Theses
- Accès au texte intégral et bibtex
-
1999
Conference papers
- titre
- Mechanizing Proofs of Integrity Constraints in the Situation Calculus
- auteur
- Pascal Urso, Emmanuel Kounalis
- article
- 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE-99, Jun 1999, Cairo, Egypt. pp.372-382, ⟨10.1007/b72302⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/b72302
- Accès au bibtex
-
- titre
- Generalization Discovery for Proofs by Induction in Conditional Theories
- auteur
- Pascal Urso, Emmanuel Kounalis
- article
- Twelfth International Florida Artificial Intelligence Research Society Conference – FLAIRS99, 1999, Orlando, United States. pp.250-256
- typdoc
- Conference papers
- Accès au bibtex
-
