Hervé Daudé

2008
15	EE	Hervé Daudé, Vlady Ravelomanana: Random 2-XORSAT at the Satisfiability Threshold. LATIN 2008: 12-23
14	EE	Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol: New Results on the Phase Transition for Random Quantified Boolean Formulas. SAT 2008: 34-47
13	EE	Hervé Daudé, Marc Mézard, Thierry Mora, Riccardo Zecchina: Pairs of SAT-assignments in random Boolean formulæ. Theor. Comput. Sci. 393(1-3): 260-279 (2008)
2007
12	EE	Nadia Creignou, Hervé Daudé, Uwe Egly: Phase Transition for Random Quantified XOR-Formulas. J. Artif. Intell. Res. (JAIR) 29: 1-18 (2007)
2005
11	EE	Hervé Daudé, Marc Mézard, Thierry Mora, Riccardo Zecchina: Pairs of SAT Assignment in Random Boolean Formulae CoRR abs/cond-mat/0506053: (2005)
10	EE	Nadia Creignou, Hervé Daudé, John V. Franco: A sharp threshold for the renameable-Horn and the q-Horn properties. Discrete Applied Mathematics 153(1-3): 48-57 (2005)
2004
9	EE	Nadia Creignou, Hervé Daudé: Combinatorial sharpness criterion and phase transition classification for random CSPs. Inf. Comput. 190(2): 220-238 (2004)
2003
8		Nadia Creignou, Hervé Daudé, Olivier Dubois: Approximating The Satisfiability Threshold For Random K-Xor-Formulas. Combinatorics, Probability & Computing 12(2): (2003)
7	EE	Nadia Creignou, Hervé Daudé: Smooth and sharp thresholds for random k-XOR-CNF satisfiability. ITA 37(2): 127-147 (2003)
6	EE	Nadia Creignou, Hervé Daudé: Generalized satisfiability problems: minimal elements and phase transitions. Theor. Comput. Sci. 302(1-3): 417-430 (2003)
2001
5	EE	Nadia Creignou, Hervé Daudé, Olivier Dubois: Approximating the satisfiability threshold for random k-XOR-formulas CoRR cs.DM/0106001: (2001)
1999
4	EE	Nadia Creignou, Hervé Daudé: Satisfiability Threshold for Random XOR-CNF Formulas. Discrete Applied Mathematics 96-97: 41-53 (1999)
1997
3		Hervé Daudé, Philippe Flajolet, Brigitte Vallée: An Average-Case Analysis of the Gaussian Algorithm for Lattice Reduction. Combinatorics, Probability & Computing 6(4): 397-433 (1997)
1994
2		Hervé Daudé, Philippe Flajolet, Brigitte Vallée: An analysis of the Gaussian algorithm for lattice reduction. ANTS 1994: 144-158
1		Hervé Daudé, Brigitte Vallée: An Upper Bound on the Average Number of Iterations of the LLL Algorithm. Theor. Comput. Sci. 123(1): 95-115 (1994)

Coauthor Index

1	Nadia Creignou	[4] [5] [6] [7] [8] [9] [10] [12] [14]
2	Olivier Dubois	[5] [8]
3	Uwe Egly	[12] [14]
4	Philippe Flajolet	[2] [3]
5	John V. Franco	[10]
6	Marc Mézard	[11] [13]
7	Thierry Mora	[11] [13]
8	Vlady Ravelomanana	[15]
9	Raphaël Rossignol	[14]
10	Brigitte Vallée	[1] [2] [3]
11	Riccardo Zecchina	[11] [13]

Colors in the list of coauthors