Patrick Dehornoy

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