An Application of Ultrapowers to Changing Cofinality. - Patrick Dehornoy (J. Symb. Log., 1983)

Turing Complexity of the Ordinals. - Patrick Dehornoy (Inf. Process. Lett., 1986)

φ11-complete families of elementary sequences. - Patrick Dehornoy (Ann. Pure Appl. Log., 1988)

A coding of the countable linear orderings. - Patrick Dehornoy (Stud Logica, 1990)

The Naming Problem for Left Distributivity. - Patrick Dehornoy (IWWERT, 1991)

A Criterion for Proving Noetherianity of a Relation. - Patrick Dehornoy (Theor. Comput. Sci., 1992)

Probleme de mots dans les gerbes libres. - Patrick Dehornoy (Theor. Comput. Sci., 1992)

A Normal Form for the Free Left Distributive Law. - Patrick Dehornoy (Int. J. Algebra Comput., 1994)

Another use of set theory. - Patrick Dehornoy (Bull. Symb. Log., 1996)

Theorem Proving by Chain Resolution. - Patrick Dehornoy; Abderrahim Marzouk (Theor. Comput. Sci., 1998)

On completeness of word reversing. - Patrick Dehornoy (Discret. Math., 2000)

Construction of Self-Distributive Operations and Charged Braids. - Patrick Dehornoy (Int. J. Algebra Comput., 2000)

Using shifted conjugacy in braid-based cryptography - Patrick Dehornoy (CoRR, 2006)

Using groups for investigating rewrite systems - Patrick Dehornoy (CoRR, 2006)

Entity authentication schemes using braid word reduction. - Hervé Sibert; Patrick Dehornoy; Marc Girault (Discret. Appl. Math., 2006)

On Word Reversing in Braid Groups. - Patrick Dehornoy; Bert Wiest (Int. J. Algebra Comput., 2006)

Combinatorics of normal sequences of braids. - Patrick Dehornoy (J. Comb. Theory A, 2007)

Efficient solutions to the braid isotopy problem. - Patrick Dehornoy (Discret. Appl. Math., 2008)

Using groups for investigating rewrite systems. - Patrick Dehornoy; Vincent van Oostrom (Math. Struct. Comput. Sci., 2008)

On the distance between the expressions of a permutation. - Patrick Dehornoy; Marc Autord (Eur. J. Comb., 2010)

The Subword Reversing Method. - Patrick Dehornoy (Int. J. Algebra Comput., 2011)

Algorithms for Garside calculus. - Patrick Dehornoy; Volker Gebhardt (J. Symb. Comput., 2014)

Garside and Quadratic Normalisation: A Survey. - Patrick Dehornoy (DLT, 2015)

Laver's results and low-dimensional topology. - Patrick Dehornoy (Arch. Math. Log., 2016)

Quadratic normalization in monoids. - Patrick Dehornoy; Yves Guiraud (Int. J. Algebra Comput., 2016)