Search the dblp DataBase
Max Dauchet :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Max Dauchet Rewriting and Tree Automata. [Citation Graph (0, 0)][DBLP ] Term Rewriting, 1993, pp:95-113 [Conf ] Max Dauchet Symbolic Constraints and Tree Automata. [Citation Graph (0, 0)][DBLP ] CCL, 1994, pp:217-218 [Conf ] Eric Rivals , Jean-Paul Delahaye , Max Dauchet , Olivier Delgrange A Guaranteed Compression Scheme for Repetitive DNA Sequences. [Citation Graph (0, 0)][DBLP ] Data Compression Conference, 1996, pp:453- [Conf ] Jean-Luc Coquidé , Max Dauchet , Sophie Tison About Connections Between Syntactical and Computational Complexity. [Citation Graph (0, 0)][DBLP ] FCT, 1989, pp:105-115 [Conf ] Max Dauchet , Jocelyne Mongy Transformations de noyaux reconnaissables. [Citation Graph (0, 0)][DBLP ] FCT, 1979, pp:92-98 [Conf ] Max Dauchet , Sophie Tison Decidability of confluence for ground term rewriting systems. [Citation Graph (0, 0)][DBLP ] FCT, 1985, pp:80-89 [Conf ] Sophie Tison , Max Dauchet , Gérard Comyn Metrical an Ordered Properties of Powerdomains. [Citation Graph (0, 0)][DBLP ] FCT, 1983, pp:465-474 [Conf ] Sylvain Porrot , Max Dauchet , Bruno Durand , Nikolai K. Vereshchagin Deterministic Rational Transducers and Random Sequences. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 1998, pp:258-272 [Conf ] André Arnold , Max Dauchet Bi-transductions de forêts. [Citation Graph (0, 0)][DBLP ] ICALP, 1976, pp:74-86 [Conf ] André Arnold , Max Dauchet Sul l'inversion des morphisms d'arbres. [Citation Graph (0, 0)][DBLP ] ICALP, 1978, pp:26-35 [Conf ] Anne-Cécile Caron , Hubert Comon , Jean-Luc Coquidé , Max Dauchet , Florent Jacquemard Pumping, Cleaning and Symbolic Constraints Solving. [Citation Graph (0, 0)][DBLP ] ICALP, 1994, pp:436-449 [Conf ] Gérard Comyn , Max Dauchet Approximations of Infinitary Objects. [Citation Graph (0, 0)][DBLP ] ICALP, 1982, pp:116-127 [Conf ] Arnaud Delhay , Max Dauchet , Patrick Taillibert , Philippe Vanheeghe Maximization of the Average Quality of Anytime Contract Algorithms over a Time Interval. [Citation Graph (0, 0)][DBLP ] IJCAI, 1999, pp:212-221 [Conf ] Max Dauchet , Sophie Tison The Theory of Ground Rewrite Systems is Decidable [Citation Graph (0, 0)][DBLP ] LICS, 1990, pp:242-248 [Conf ] Max Dauchet , Sophie Tison , Thierry Heuillard , Pierre Lescanne Decidability of the Confluence of Ground Term Rewriting Systems [Citation Graph (0, 0)][DBLP ] LICS, 1987, pp:353-359 [Conf ] Max Dauchet , Erick Timmerman Decidability of yield's equality for infinite regular trees. [Citation Graph (0, 0)][DBLP ] Automata on Infinite Words, 1984, pp:118-136 [Conf ] Francis Bossut , Max Dauchet , Bruno Warin Automata and Rational Expressions on Planar Graphs. [Citation Graph (0, 0)][DBLP ] MFCS, 1988, pp:190-200 [Conf ] Max Dauchet Termination of Rewriting is Undecidable in the One-Rule Case. [Citation Graph (0, 0)][DBLP ] MFCS, 1988, pp:262-270 [Conf ] Olivier Delgrange , Max Dauchet , Eric Rivals Location of Repetitive Regions in Sequences By Optimizing A Compression Method. [Citation Graph (0, 0)][DBLP ] Pacific Symposium on Biocomputing, 1999, pp:254-265 [Conf ] Jean-Luc Coquidé , Max Dauchet , Rémi Gilleron , Sándor Vágvölgyi Bottom-Up Tree Pushdown Automata and Rewrite Systems. [Citation Graph (0, 0)][DBLP ] RTA, 1991, pp:287-298 [Conf ] Anne-Cécile Caron , Jean-Luc Coquidé , Max Dauchet Encompassment Properties and Automata with Constraints. [Citation Graph (0, 0)][DBLP ] RTA, 1993, pp:328-342 [Conf ] Max Dauchet Simulation of Turning Machines by a Left-Linear Rewrite Rule. [Citation Graph (0, 0)][DBLP ] RTA, 1989, pp:109-120 [Conf ] Max Dauchet , Francesco De Comité A Gap Between Linear and Non Linear Term-Rewriting Systems (1). [Citation Graph (0, 0)][DBLP ] RTA, 1987, pp:95-104 [Conf ] Max Dauchet , Aline Deruyver Compilation of Ground Term Rewriting Systems and Applications. [Citation Graph (0, 0)][DBLP ] RTA, 1989, pp:556-558 [Conf ] Olivier Perriquet , Hélène Touzet , Max Dauchet Finding the common structure shared by two homologous RNAs. [Citation Graph (0, 0)][DBLP ] Bioinformatics, 2003, v:19, n:1, pp:108-116 [Journal ] Eric Rivals , Olivier Delgrange , Jean-Paul Delahaye , Max Dauchet , Marie-Odile Delorme , Alain Hénaut , Emmanuelle Ollivier Detection of significant patterns by compression algorithms: the case of approximate tandem repeats in DNA sequences. [Citation Graph (0, 0)][DBLP ] Computer Applications in the Biosciences, 1997, v:13, n:2, pp:131-136 [Journal ] Sylvain Porrot , Max Dauchet , Denis Pomorski The Fractal Dimension of a Computable Figure is the Average Normalized Complexity of its Points. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1997, v:62, n:, pp:- [Journal ] André Arnold , Max Dauchet Forêts Algébriques et Homomorphismes Inverses [Citation Graph (0, 0)][DBLP ] Information and Control, 1978, v:37, n:2, pp:182-196 [Journal ] Francis Bossut , Max Dauchet , Bruno Warin A Kleene Theorem for a Class of Planar Acyclic Graphs [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:117, n:2, pp:251-265 [Journal ] Max Dauchet , Thierry Heuillard , Pierre Lescanne , Sophie Tison Decidability of the Confluence of Finite Ground Term Rewrite Systems and of Other Related Term Rewrite Systems [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1990, v:88, n:2, pp:187-201 [Journal ] Yves Andre , Max Dauchet Decidability of Equivalence for a Class of Non-Deterministic Tree Transducers. [Citation Graph (0, 0)][DBLP ] ITA, 1994, v:28, n:5, pp:447-463 [Journal ] André Arnold , Max Dauchet Transductions de Forets Reconnaissables Monadiques Forets Coregulieres. [Citation Graph (0, 0)][DBLP ] ITA, 1976, v:10, n:1, pp:5-28 [Journal ] André Arnold , Max Dauchet Théorie des magmoïdes. [Citation Graph (0, 0)][DBLP ] ITA, 1978, v:12, n:3, pp:- [Journal ] André Arnold , Max Dauchet Théorie des Magmoïdes (II). [Citation Graph (0, 0)][DBLP ] ITA, 1979, v:13, n:2, pp:- [Journal ] Max Dauchet , Erick Timmerman Continuous Monoids and Yields of Infinite Trees. [Citation Graph (0, 0)][DBLP ] ITA, 1986, v:20, n:3, pp:251-274 [Journal ] André Arnold , Max Dauchet Un Théorème de Duplication pour les Forêts Algébriques. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1976, v:13, n:2, pp:223-244 [Journal ] Max Dauchet , Anne-Cécile Caron , Jean-Luc Coquidé Automata for Reduction Properties Solving. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1995, v:20, n:2, pp:215-233 [Journal ] André Arnold , Max Dauchet Une Relation d'Equivalence Decidable sur la Classe des Forêts Reconnaissables. [Citation Graph (0, 0)][DBLP ] Mathematical Systems Theory, 1978, v:12, n:, pp:103-128 [Journal ] André Arnold , Max Dauchet Morphismes et Bimorphismes d'Arbres. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1982, v:20, n:, pp:33-93 [Journal ] Jean-Luc Coquidé , Max Dauchet , Rémi Gilleron , Sándor Vágvölgyi Bottom-Up Tree Pushdown Automata: Classification and Connection with Rewrite Systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1994, v:127, n:1, pp:69-98 [Journal ] Max Dauchet Trees in Algebra and Programming (Editorial). [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:236, n:1-2, pp:1- [Journal ] Max Dauchet Simulation of Turing Machines by a Regular Rewrite Rule. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:103, n:2, pp:409-420 [Journal ] Max Dauchet , Sophie Tison , Marc Tommasi Reduction de la non-linearite des morphismes d'arbres Recognizable tree-languages and non-linear morphisms. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:281, n:1-2, pp:219-233 [Journal ] Philippe Devienne , Patrick Lebègue , Max Dauchet Weighted Systems of Equations. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:119, n:1, pp:39-62 [Journal ] Search in 0.005secs, Finished in 0.007secs