The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Max Dauchet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Max Dauchet
    Rewriting and Tree Automata. [Citation Graph (0, 0)][DBLP]
    Term Rewriting, 1993, pp:95-113 [Conf]
  2. Max Dauchet
    Symbolic Constraints and Tree Automata. [Citation Graph (0, 0)][DBLP]
    CCL, 1994, pp:217-218 [Conf]
  3. 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]
  4. 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]
  5. Max Dauchet, Jocelyne Mongy
    Transformations de noyaux reconnaissables. [Citation Graph (0, 0)][DBLP]
    FCT, 1979, pp:92-98 [Conf]
  6. Max Dauchet, Sophie Tison
    Decidability of confluence for ground term rewriting systems. [Citation Graph (0, 0)][DBLP]
    FCT, 1985, pp:80-89 [Conf]
  7. Sophie Tison, Max Dauchet, Gérard Comyn
    Metrical an Ordered Properties of Powerdomains. [Citation Graph (0, 0)][DBLP]
    FCT, 1983, pp:465-474 [Conf]
  8. 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]
  9. André Arnold, Max Dauchet
    Bi-transductions de forêts. [Citation Graph (0, 0)][DBLP]
    ICALP, 1976, pp:74-86 [Conf]
  10. André Arnold, Max Dauchet
    Sul l'inversion des morphisms d'arbres. [Citation Graph (0, 0)][DBLP]
    ICALP, 1978, pp:26-35 [Conf]
  11. 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]
  12. Gérard Comyn, Max Dauchet
    Approximations of Infinitary Objects. [Citation Graph (0, 0)][DBLP]
    ICALP, 1982, pp:116-127 [Conf]
  13. 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]
  14. Max Dauchet, Sophie Tison
    The Theory of Ground Rewrite Systems is Decidable [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:242-248 [Conf]
  15. 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]
  16. 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]
  17. Francis Bossut, Max Dauchet, Bruno Warin
    Automata and Rational Expressions on Planar Graphs. [Citation Graph (0, 0)][DBLP]
    MFCS, 1988, pp:190-200 [Conf]
  18. Max Dauchet
    Termination of Rewriting is Undecidable in the One-Rule Case. [Citation Graph (0, 0)][DBLP]
    MFCS, 1988, pp:262-270 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. Max Dauchet
    Simulation of Turning Machines by a Left-Linear Rewrite Rule. [Citation Graph (0, 0)][DBLP]
    RTA, 1989, pp:109-120 [Conf]
  23. 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]
  24. Max Dauchet, Aline Deruyver
    Compilation of Ground Term Rewriting Systems and Applications. [Citation Graph (0, 0)][DBLP]
    RTA, 1989, pp:556-558 [Conf]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. André Arnold, Max Dauchet
    Théorie des magmoïdes. [Citation Graph (0, 0)][DBLP]
    ITA, 1978, v:12, n:3, pp:- [Journal]
  34. André Arnold, Max Dauchet
    Théorie des Magmoïdes (II). [Citation Graph (0, 0)][DBLP]
    ITA, 1979, v:13, n:2, pp:- [Journal]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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.017secs, Finished in 0.019secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002