Patrick Dehornoy

Publication Activity (10 Years)

Years Active: 1983-2016
Publications (10 Years): 2

Top Topics

Pseudo Boolean Functions

Embedding Space

Topology Preservation

Preprocessing Steps

Top Venues

Arch. Math. Log.

Int. J. Algebra Comput.

J. Symb. Comput.

Publications

Patrick Dehornoy, Yves Guiraud
Quadratic normalization in monoids. Int. J. Algebra Comput. 26 (5) (2016)
Patrick Dehornoy
Laver's results and low-dimensional topology. Arch. Math. Log. 55 (1-2) (2016)
Patrick Dehornoy
Garside and Quadratic Normalisation: A Survey. DLT (2015)
Patrick Dehornoy, Volker Gebhardt
Algorithms for Garside calculus. J. Symb. Comput. 63 (2014)
Patrick Dehornoy
The Subword Reversing Method. Int. J. Algebra Comput. 21 (1-2) (2011)
Patrick Dehornoy, Marc Autord
On the distance between the expressions of a permutation. Eur. J. Comb. 31 (7) (2010)
Patrick Dehornoy
Efficient solutions to the braid isotopy problem. Discret. Appl. Math. 156 (16) (2008)
Patrick Dehornoy, Vincent van Oostrom
Using groups for investigating rewrite systems. Math. Struct. Comput. Sci. 18 (6) (2008)
Patrick Dehornoy
Combinatorics of normal sequences of braids. J. Comb. Theory, Ser. A 114 (3) (2007)
Patrick Dehornoy
Using shifted conjugacy in braid-based cryptography CoRR (2006)
Hervé Sibert, Patrick Dehornoy, Marc Girault
Entity authentication schemes using braid word reduction. Discret. Appl. Math. 154 (2) (2006)
Patrick Dehornoy, Bert Wiest
On Word Reversing in Braid Groups. Int. J. Algebra Comput. 16 (5) (2006)
Patrick Dehornoy
Using groups for investigating rewrite systems CoRR (2006)
Hervé Sibert, Patrick Dehornoy, Marc Girault
Entity Authentication Schemes Using Braid Word Reduction. IACR Cryptol. ePrint Arch. 2002 (2002)
Patrick Dehornoy
Construction of Self-Distributive Operations and Charged Braids. Int. J. Algebra Comput. 10 (1) (2000)
Patrick Dehornoy
On completeness of word reversing. Discret. Math. 225 (1-3) (2000)
Patrick Dehornoy, Abderrahim Marzouk
Theorem Proving by Chain Resolution. Theor. Comput. Sci. 206 (1-2) (1998)
Patrick Dehornoy
Another use of set theory. Bull. Symb. Log. 2 (4) (1996)
Patrick Dehornoy
A Normal Form for the Free Left Distributive Law. Int. J. Algebra Comput. 4 (4) (1994)
Patrick Dehornoy
A Criterion for Proving Noetherianity of a Relation. Theor. Comput. Sci. 93 (2) (1992)
Patrick Dehornoy
Probleme de mots dans les gerbes libres. Theor. Comput. Sci. 94 (2) (1992)
Patrick Dehornoy
The Naming Problem for Left Distributivity. IWWERT (1991)
Patrick Dehornoy
A coding of the countable linear orderings. Stud Logica 49 (4) (1990)
Patrick Dehornoy
-complete families of elementary sequences. Ann. Pure Appl. Log. 38 (3) (1988)
Patrick Dehornoy
Turing Complexity of the Ordinals. Inf. Process. Lett. 23 (4) (1986)
Patrick Dehornoy
An Application of Ultrapowers to Changing Cofinality. J. Symb. Log. 48 (2) (1983)