| 2007 |
|---|
| 9 | EE | Stéphane Weiss,
Pascal Urso,
Pascal Molli:
Wooki: A P2P Wiki-Based Collaborative Writing Tool.
WISE 2007: 503-512 |
| 2006 |
|---|
| 8 | EE | Gérald Oster,
Pascal Urso,
Pascal Molli,
Abdessamad Imine:
Data consistency for P2P collaborative editing.
CSCW 2006: 259-268 |
| 2004 |
|---|
| 7 | EE | Pascal Urso,
Emmanuel Kounalis:
Sound generalizations in mathematical induction.
Theor. Comput. Sci. 323(1-3): 443-471 (2004) |
| 2003 |
|---|
| 6 | EE | Pascal Urso,
Emmanuel Kounalis:
"Term Partition" for Mathematical Induction.
RTA 2003: 352-366 |
| 5 | EE | Abdessamad Imine,
Pascal Urso:
Automatic Detection of Copies Divergence in Collaborative Editing Systems.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 4 | EE | Abdessamad Imine,
Pascal Molli,
Gérald Oster,
Pascal Urso:
VOTE: Group Editors Analyzing Tool: System Description.
Electr. Notes Theor. Comput. Sci. 86(1): (2003) |
| 2002 |
|---|
| 3 | | Pascal Urso,
Emmanuel Kounalis:
Généralisations correctes pour l'induction mathématique.
JFPLC 2002: 211- |
| 1999 |
|---|
| 2 | | Emmanuel Kounalis,
Pascal Urso:
Generalization Discovery for Proofs by Induction in Conditional Theories.
FLAIRS Conference 1999: 250-256 |
| 1 | | Emmanuel Kounalis,
Pascal Urso:
Mechanizing Proofs of Integrity Constraints in the Situation Calculus.
IEA/AIE 1999: 372-381 |
