Hervé Daudé Vis

*	2009
17	EE	Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol: (1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms. SAT 2009: 363-376
16	EE	Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol: The threshold for random (1,2)-QSAT CoRR abs/0907.0937: (2009)
	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] [16] [17]
2	Olivier Dubois	[5] [8]
3	Uwe Egly	[12] [14] [16] [17]
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] [16] [17]
10	Brigitte Vallée	[1] [2] [3]
11	Riccardo Zecchina	[11] [13]

Colors in the list of coauthors