Concepedia

Max Dauchet

MD

16

Publications

1.9K

Citations

13

H-Index

1976

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Université de Lille

Laboratoire d'Informatique Fondamentale de Lille

University of Mons

Max Dauchet is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationGeneticsGenomicsMedicineBioinformaticsComputational Complexity

Publications per year

1976–2017

16

Publications

16

Tree automata techniques and applications

Hubert Comon, Max Dauchet · 1997 · 1.2K citations · Full text

The theory of ground rewrite systems is decidable

Max Dauchet, Sophie Tison · 2002 · 153 citations

Engineering, Verification, Software Engineering +18

A guaranteed compression scheme for repetitive DNA sequences

Éric Rivals, Jean‐Paul Delahaye, Max Dauchet et al. · 2002 · 104 citations

Dna, Engineering, Genetics +20

Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems

Max Dauchet, Thierry Heuillard, Pierre Lescanne et al. · Information and Computation · 1990 · 79 citations

Syntax, Engineering, Automated Reasoning +12

Finding the common structure shared by two homologous RNAs

Olivier Perriquet, Hélène Touzet, Max Dauchet · Bioinformatics · 2002 · 57 citations · Full text

Rows per page

1–5 of 16