| |
| 2008 | ||
|---|---|---|
| 16 | EE | Patrick Dehornoy: Efficient solutions to the braid isotopy problem. Discrete Applied Mathematics 156(16): 3091-3112 (2008) |
| 15 | EE | Patrick Dehornoy, Vincent van Oostrom: Using groups for investigating rewrite systems. Mathematical Structures in Computer Science 18(6): 1133-1167 (2008) |
| 2007 | ||
| 14 | EE | Patrick Dehornoy: Combinatorics of normal sequences of braids. J. Comb. Theory, Ser. A 114(3): 389-409 (2007) |
| 2006 | ||
| 13 | EE | Patrick Dehornoy: Using shifted conjugacy in braid-based cryptography CoRR abs/cs/0609091: (2006) |
| 12 | EE | Patrick Dehornoy: Using groups for investigating rewrite systems CoRR abs/cs/0609102: (2006) |
| 11 | EE | Hervé Sibert, Patrick Dehornoy, Marc Girault: Entity authentication schemes using braid word reduction. Discrete Applied Mathematics 154(2): 420-436 (2006) |
| 10 | EE | Patrick Dehornoy, Bert Wiest: On Word Reversing in Braid Groups. IJAC 16(5): 941-958 (2006) |
| 2000 | ||
| 9 | EE | Patrick Dehornoy: On completeness of word reversing. Discrete Mathematics 225(1-3): 93-119 (2000) |
| 8 | EE | Patrick Dehornoy: Construction of Self-Distributive Operations and Charged Braids. IJAC 10(1): 173-190 (2000) |
| 1998 | ||
| 7 | EE | Patrick Dehornoy, Abderrahim Marzouk: Theorem Proving by Chain Resolution. Theor. Comput. Sci. 206(1-2): 163-180 (1998) |
| 1996 | ||
| 6 | EE | Patrick Dehornoy: Another use of set theory. Bulletin of Symbolic Logic 2(4): 379-391 (1996) |
| 1992 | ||
| 5 | Patrick Dehornoy: A Criterion for Proving Noetherianity of a Relation. Theor. Comput. Sci. 93(2): 321-325 (1992) | |
| 4 | Patrick Dehornoy: Probleme de mots dans les gerbes libres. Theor. Comput. Sci. 94(2): 199-213 (1992) | |
| 1991 | ||
| 3 | Patrick Dehornoy: The Naming Problem for Left Distributivity. IWWERT 1991: 57-78 | |
| 1986 | ||
| 2 | Patrick Dehornoy: Turing Complexity of the Ordinals. Inf. Process. Lett. 23(4): 167-170 (1986) | |
| 1983 | ||
| 1 | Patrick Dehornoy: An Application of Ultrapowers to Changing Cofinality. J. Symb. Log. 48(2): 225-235 (1983) | |
| 1 | Marc Girault | [11] |
| 2 | Abderrahim Marzouk | [7] |
| 3 | Vincent van Oostrom | [15] |
| 4 | Hervé Sibert | [11] |
| 5 | Bert Wiest | [10] |