| 1999 | IJCAI | Maximization of the Average Quality of Anytime Contract Algorithms over a Time Interval. | Arnaud Delhay, Max Dauchet, Patrick Taillibert, Philippe Vanheeghe |
| 1999 | PSB | Location of Repetitive Regions in Sequences By Optimizing A Compression Method. | Olivier Delgrange, Max Dauchet, Eric Rivals |
| 1998 | FOSSACS | Deterministic Rational Transducers and Random Sequences. | Sylvain Porrot, Max Dauchet, Bruno Durand, Nikolai K. Vereshchagin |
| 1996 | DCC | A Guaranteed Compression Scheme for Repetitive DNA Sequences. | Eric Rivals, Jean-Paul Delahaye, Max Dauchet, Olivier Delgrange |
| 1994 | ICALP | Pumping, Cleaning and Symbolic Constraints Solving. | Anne-Ccile Caron, Hubert Comon, Jean-Luc Coquid, Max Dauchet, Florent Jacquemard |
| 1990 | LICS | The Theory of Ground Rewrite Systems is Decidable | Max Dauchet, Sophie Tison |
| 1989 | FCT | About Connections Between Syntactical and Computational Complexity. | Jean-Luc Coquid, Max Dauchet, Sophie Tison |
| 1988 | MFCS | Automata and Rational Expressions on Planar Graphs. | Francis Bossut, Max Dauchet, Bruno Warin |
| 1988 | MFCS | Termination of Rewriting is Undecidable in the One-Rule Case. | Max Dauchet |
| 1987 | LICS | Decidability of the Confluence of Ground Term Rewriting Systems | Max Dauchet, Sophie Tison, Thierry Heuillard, Pierre Lescanne |
| 1985 | FCT | Decidability of confluence for ground term rewriting systems. | Max Dauchet, Sophie Tison |
| 1983 | FCT | Metrical an Ordered Properties of Powerdomains. | Sophie Tison, Max Dauchet, Grard Comyn |
| 1982 | ICALP | Approximations of Infinitary Objects. | Grard Comyn, Max Dauchet |
| 1979 | FCT | Transformations de noyaux reconnaissables. | Max Dauchet, Jocelyne Mongy |
| 1978 | ICALP | Sul l'inversion des morphisms d'arbres. | Andr Arnold, Max Dauchet |
| 1976 | ICALP | Bi-transductions de forts. | Andr Arnold, Max Dauchet |