Pour une liste indépendante de l'affiliation, consulter DBLP.

• 2022 - (1)

  • Revue internationale à comité de lecture - (1)

    • Modular termination of prefix-constrained term rewrite systems
      Auteur(s) : Nirina ANDRIANARIVELO, Pierre RETY
      

      HAL : 4244060

• 2019 - (1)

  • Revue internationale à comité de lecture - (1)

    • Towards more precise rewriting approximations
      Auteur(s) : Yohan BOICHUT, Jacques CHABIN, Pierre RETY
      

      HAL : 1521746

• 2018 - (2)

  • Publications dans les actes d'un congrès international avec comité de lecture - (2)

    • Approximating any Logic Program by a CS-Program
      Auteur(s) : Yohan BOICHUT, Pierre RETY, Vivien PELLETIER
      

      HAL : 1903092

    • Confluence of Prefix-Constrained Rewrite Systems
      Auteur(s) : Nirina ANDRIANARIVELO, Pierre RETY
      

      HAL : 1780553

• 2017 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Transforming Prefix-Constrained or Controlled Rewrite Systems
      Auteur(s) : Nirina ANDRIANARIVELO, Pierre RETY, Vivien PELLETIER
      

      HAL : 1445668

• 2016 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems
      Auteur(s) : Yohan BOICHUT, Pierre RETY, Vivien PELLETIER
      

      HAL : 1291393

• 2015 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Over-Approximating Terms Reachable by Context-Sensitive Rewriting
      Auteur(s) : Nirina ANDRIANARIVELO, Pierre RETY
      

      HAL : 1225332

• 2014 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • A ToolBox for Conservative XML Schema Evolution and Document Adaptation
      Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Pierre RETY, Joshua AMAVI
      

      HAL : 1016214

• 2013 - (2)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Over-approximating Descendants by Synchronized Tree Languages
      Auteur(s) : Yohan BOICHUT, Jacques CHABIN, Pierre RETY
      

      HAL : 808871

  • Revue internationale à comité de lecture - (1)

    • Conservative Type Extensions for XML Data
      Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Pierre RETY, Martin A. MUSICANTE
      

      HAL : 822430

• 2012 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Weak Inclusion for Recursive XML Types
      Auteur(s) : Pierre RETY, Jacques CHABIN, Joshua AMAVI
      

      HAL : 701201

• 2011 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Weak Inclusion for XML Types
      Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Pierre RETY, Joshua AMAVI
      

      HAL : 594520

• 2010 - (2)

  • Communications sans actes - (1)

    • Minimal Extensions of Tree Languages: Application to XML Schema Evolution
      Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Pierre RETY, Martin A. MUSICANTE
      

      HAL : 464120

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Minimal tree language extensions: a keystone of XML type compatibility and evolution
      Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Pierre RETY, Martin A. MUSICANTE
      

      HAL : 483787

• 2007 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Visibly Pushdown Languages and Term Rewriting
      Auteur(s) : Jacques CHABIN, Pierre RETY
      

      HAL : 462510

• 2006 - (1)

  • Autres Publications - (1)

    • Synchronized ContextFree Tree-tuple Languages
      Auteur(s) : Jacques CHABIN, Pierre RETY, Jing CHEN
      

      HAL : 464114

• 2005 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • R-Unification thanks to Synchronized-ContextFree Languages
      Auteur(s) : Pierre RETY, Jacques CHABIN, Jing CHEN
      

      HAL : 102554

• 2004 - (2)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Context-free Tree Languages for Descendants
      Auteur(s) : Pierre RETY, Julie VUOTTO
      

      HAL : 102559

  • Revue internationale à comité de lecture - (1)

    • Tree Automata for Rewrite Strategies
      Auteur(s) : Pierre RETY, Julie VUOTTO
      

      HAL : 102551

• 2001 - (2)

  • Publications dans les actes d'un congrès international avec comité de lecture - (2)

    • Weakly Regular Relations and Applications
      Auteur(s) : Sébastien LIMET, Pierre RETY, Helmut SEIDL
      

      HAL : 809573

    • Synchronized tree language revisited and new applications
      Auteur(s) : Pierre RETY, Valérie GOURANTON, Helmut SEIDL
      

      HAL : 137419

• 1999 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • A New Result about the Decidability of the Existential One-Step Rewriting Theory
      Auteur(s) : Sébastien LIMET, Pierre RETY
      

      HAL : 809570

• 1998 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Solving Disequations Modulo Some Class of Rewrite Systems
      Auteur(s) : Sébastien LIMET, Pierre RETY
      

      HAL : 809565

• 1997 - (2)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • E-Unification by Means of Tree Tuple Synchronized Grammars.
      Auteur(s) : Sébastien LIMET, Pierre RETY
      

      HAL : 809528

  • Revue internationale à comité de lecture - (1)

    • E-unification by means of tree tuple synchronized grammars
      Auteur(s) : Sébastien LIMET, Pierre RETY
      

      HAL : 955691

• 1996 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Conditional Directed Narrowing.
      Auteur(s) : Sébastien LIMET, Pierre RETY
      

      HAL : 809523