Patrick Dehornoy

According to our database, Patrick Dehornoy authored at least 25 papers between 1983 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Quadratic normalization in monoids.

Patrick Dehornoy, Yves Guiraud

Int. J. Algebra Comput., 2016

Laver's results and low-dimensional topology.

Patrick Dehornoy

Arch. Math. Log., 2016

2015

Garside and Quadratic Normalisation: A Survey.

Patrick Dehornoy

Proceedings of the Developments in Language Theory - 19th International Conference, 2015

2014

Algorithms for Garside calculus.

Patrick Dehornoy, Volker Gebhardt

J. Symb. Comput., 2014

2011

The Subword Reversing Method.

Patrick Dehornoy

Int. J. Algebra Comput., 2011

2010

On the distance between the expressions of a permutation.

Patrick Dehornoy, Marc Autord

Eur. J. Comb., 2010

2008

Using groups for investigating rewrite systems.

Patrick Dehornoy, Vincent van Oostrom

Math. Struct. Comput. Sci., 2008

Efficient solutions to the braid isotopy problem.

Patrick Dehornoy

Discret. Appl. Math., 2008

2007

Combinatorics of normal sequences of braids.

Patrick Dehornoy

J. Comb. Theory, Ser. A, 2007

2006

On Word Reversing in Braid Groups.

Patrick Dehornoy, Bert Wiest

Int. J. Algebra Comput., 2006

Entity authentication schemes using braid word reduction.

Hervé Sibert, Patrick Dehornoy, Marc Girault

Discret. Appl. Math., 2006

Using groups for investigating rewrite systems

Patrick Dehornoy

CoRR, 2006

Using shifted conjugacy in braid-based cryptography

Patrick Dehornoy

CoRR, 2006

2000

Construction of Self-Distributive Operations and Charged Braids.

Patrick Dehornoy

Int. J. Algebra Comput., 2000

On completeness of word reversing.

Patrick Dehornoy

Discret. Math., 2000

1998

Theorem Proving by Chain Resolution.

Patrick Dehornoy, Abderrahim Marzouk

Theor. Comput. Sci., 1998

1996

Another use of set theory.

Patrick Dehornoy

Bull. Symb. Log., 1996

1994

A Normal Form for the Free Left Distributive Law.

Patrick Dehornoy

Int. J. Algebra Comput., 1994

1992

Probleme de mots dans les gerbes libres.

Patrick Dehornoy

Theor. Comput. Sci., 1992

A Criterion for Proving Noetherianity of a Relation.

Patrick Dehornoy

Theor. Comput. Sci., 1992

1991

The Naming Problem for Left Distributivity.

Patrick Dehornoy

Proceedings of the Word Equations and Related Topics, Second International Workshop, 1991

1990

A coding of the countable linear orderings.

Patrick Dehornoy

Stud Logica, 1990

1988

φ¹₁-complete families of elementary sequences.

Patrick Dehornoy

Ann. Pure Appl. Log., 1988

1986

Turing Complexity of the Ordinals.

Patrick Dehornoy

Inf. Process. Lett., 1986

1983

An Application of Ultrapowers to Changing Cofinality.

Patrick Dehornoy

J. Symb. Log., 1983