An analysis of the Gaussian algorithm for lattice reduction. - Hervé Daudé; Philippe Flajolet; Brigitte Vallée (ANTS, 1994)

An Upper Bound on the Average Number of Iterations of the LLL Algorithm. - Hervé Daudé; Brigitte Vallée (Theor. Comput. Sci., 1994)

An Average-Case Analysis of the Gaussian Algorithm for Lattice Reduction. - Hervé Daudé; Philippe Flajolet; Brigitte Vallée (Comb. Probab. Comput., 1997)

Satisfiability Threshold for Random XOR-CNF Formulas. - Nadia Creignou; Hervé Daudé (Discret. Appl. Math., 1999)

Approximating The Satisfiability Threshold For Random K-Xor-Formulas. - Nadia Creignou; Hervé Daudé; Olivier Dubois 002 (Comb. Probab. Comput., 2003)

Smooth and sharp thresholds for random k-XOR-CNF satisfiability. - Nadia Creignou; Hervé Daudé (RAIRO Theor. Informatics Appl., 2003)

Generalized satisfiability problems: minimal elements and phase transitions. - Nadia Creignou; Hervé Daudé (Theor. Comput. Sci., 2003)

Combinatorial sharpness criterion and phase transition classification for random CSPs. - Nadia Creignou; Hervé Daudé (Inf. Comput., 2004)

Pairs of SAT Assignment in Random Boolean Formulae - Hervé Daudé; Marc Mézard; Thierry Mora; Riccardo Zecchina (CoRR, 2005)

A sharp threshold for the renameable-Horn and the q-Horn properties. - Nadia Creignou; Hervé Daudé; John V. Franco (Discret. Appl. Math., 2005)

Phase Transition for Random Quantified XOR-Formulas. - Nadia Creignou; Hervé Daudé; Uwe Egly (J. Artif. Intell. Res., 2007)

Random 2-XORSAT at the Satisfiability Threshold. - Hervé Daudé; Vlady Ravelomanana (LATIN, 2008)

New Results on the Phase Transition for Random Quantified Boolean Formulas. - Nadia Creignou; Hervé Daudé; Uwe Egly; Raphaël Rossignol (SAT, 2008)

Pairs of SAT-assignments in random Boolean formulæ. - Hervé Daudé; Marc Mézard; Thierry Mora; Riccardo Zecchina (Theor. Comput. Sci., 2008)

(1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms. - Nadia Creignou; Hervé Daudé; Uwe Egly; Raphaël Rossignol (SAT, 2009)

The threshold for random (1,2)-QSAT - Nadia Creignou; Hervé Daudé; Uwe Egly; Raphaël Rossignol (CoRR, 2009)

The SAT-UNSAT transition for random constraint satisfaction problems. - Nadia Creignou; Hervé Daudé (Discret. Math., 2009)

Random 2 XORSAT Phase Transition. - Hervé Daudé; Vlady Ravelomanana (Algorithmica, 2011)

The MAX-CUT of sparse random graphs. - Hervé Daudé; Conrado Martínez; Vonjy Rasendrahasina; Vlady Ravelomanana (SODA, 2012)

Sensitivity of Boolean formulas. - Nadia Creignou; Hervé Daudé (Eur. J. Comb., 2013)

Exact location of the phase transition for random (1, 2)-QSAT. - Nadia Creignou; Hervé Daudé; Uwe Egly; Raphaël Rossignol (RAIRO Theor. Informatics Appl., 2015)