Patrick Dehornoy

	2008
16		Patrick Dehornoy: Efficient solutions to the braid isotopy problem. Discrete Applied Mathematics 156(16): 3091-3112 (2008)
15		Patrick Dehornoy, Vincent van Oostrom: Using groups for investigating rewrite systems. Mathematical Structures in Computer Science 18(6): 1133-1167 (2008)
	2007
14		Patrick Dehornoy: Combinatorics of normal sequences of braids. J. Comb. Theory, Ser. A 114(3): 389-409 (2007)
	2006
13		Patrick Dehornoy: Using shifted conjugacy in braid-based cryptography CoRR abs/cs/0609091: (2006)
12		Patrick Dehornoy: Using groups for investigating rewrite systems CoRR abs/cs/0609102: (2006)
11		Hervé Sibert, Patrick Dehornoy, Marc Girault: Entity authentication schemes using braid word reduction. Discrete Applied Mathematics 154(2): 420-436 (2006)
10		Patrick Dehornoy, Bert Wiest: On Word Reversing in Braid Groups. IJAC 16(5): 941-958 (2006)
	2000
9		Patrick Dehornoy: On completeness of word reversing. Discrete Mathematics 225(1-3): 93-119 (2000)
8		Patrick Dehornoy: Construction of Self-Distributive Operations and Charged Braids. IJAC 10(1): 173-190 (2000)
	1998
7		Patrick Dehornoy, Abderrahim Marzouk: Theorem Proving by Chain Resolution. Theor. Comput. Sci. 206(1-2): 163-180 (1998)
	1996
6		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)

Coauthor Index

1	Marc Girault	[11]
2	Abderrahim Marzouk	[7]
3	Vincent van Oostrom	[15]
4	Hervé Sibert	[11]
5	Bert Wiest	[10]

Colors in the list of coauthors