Search the dblp DataBase

Publications of Author

1. Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine
   Data consistency for P2P collaborative editing. [Citation Graph (0, 0)][DBLP]
   CSCW, 2006, pp:259-268 [Conf]
   
2. Emmanuel Kounalis, Pascal Urso
   Generalization Discovery for Proofs by Induction in Conditional Theories. [Citation Graph (0, 0)][DBLP]
   FLAIRS Conference, 1999, pp:250-256 [Conf]
   
3. Emmanuel Kounalis, Pascal Urso
   Mechanizing Proofs of Integrity Constraints in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
   IEA/AIE, 1999, pp:372-381 [Conf]
   
4. Pascal Urso, Emmanuel Kounalis
   Généralisations correctes pour l'induction mathématique. [Citation Graph (0, 0)][DBLP]
   JFPLC, 2002, pp:211-0 [Conf]
   
5. Pascal Urso, Emmanuel Kounalis
   "Term Partition" for Mathematical Induction. [Citation Graph (0, 0)][DBLP]
   RTA, 2003, pp:352-366 [Conf]
   
6. Abdessamad Imine, Pascal Molli, Gérald Oster, Pascal Urso
   VOTE: Group Editors Analyzing Tool: System Description. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal]
   
7. Abdessamad Imine, Pascal Urso
   Automatic Detection of Copies Divergence in Collaborative Editing Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
   
8. Pascal Urso, Emmanuel Kounalis
   Sound generalizations in mathematical induction. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:323, n:1-3, pp:443-471 [Journal]
   
9. Stéphane Weiss, Pascal Urso, Pascal Molli
   Wooki: A P2P Wiki-Based Collaborative Writing Tool. [Citation Graph (0, 0)][DBLP]
   WISE, 2007, pp:503-512 [Conf]
   
10. 
    Logoot: A Scalable Optimistic Replication Algorithm for Collaborative Editing on P2P Networks. [Citation Graph (, )][DBLP]
    
    
11. 
    Designing a distributed AOP runtime composition model. [Citation Graph (, )][DBLP]
    
    
12. 
    An Undo Framework for P2P Collaborative Editing. [Citation Graph (, )][DBLP]
    
    
13. 
    Undo in Peer-to-peer Semantic Wikis. [Citation Graph (, )][DBLP]
    
    
14. 
    Software Engineering Education by Example [Citation Graph (, )][DBLP]